| Paketname | libssreflect-ocaml-dev |
| Beschreibung | small scale reflection extension for Coq (devt files) |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 1.3pl1-4build1 |
| Sektion | universe/ocaml |
| Priorität | extra |
| Installierte Größe | 1348 Byte |
| Hängt ab von | camlp5-qsqb3, libcoq-ocaml-dev-10g22, libssreflect-ocaml-mmcn5, ocaml-nox-3.12.0 |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | ssreflect |
| Paketgröße | 376178 Byte |
| Prüfsumme MD5 | 05608a68e1b17f7711efc8110ddc3ee3 |
| Prüfsumme SHA1 | 7c45288fba0553db4a817976bc3fe194cf2dff63 |
| Prüfsumme SHA256 | 969bf16fa79a1610d0086101eab230e441287ee4dfd91914dd08568233dc88b8 |
| Link zum Herunterladen | libssreflect-ocaml-dev_1.3pl1-4build1_i386.deb |
| Ausführliche Beschreibung | |