| Paketname | libssreflect-ocaml-dev |
| Beschreibung | small scale reflection extension for Coq (devt files) |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 1.3pl2-2build1 |
| Sektion | universe/ocaml |
| Priorität | extra |
| Installierte Größe | 1343 Byte |
| Hängt ab von | camlp5-bjli0, libcoq-ocaml-dev-ib824, libssreflect-ocaml-b5b56, ocaml-nox-3.12.1 |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | ssreflect |
| Paketgröße | 383552 Byte |
| Prüfsumme MD5 | 5b98cf721da8ef4160670abf76cc2782 |
| Prüfsumme SHA1 | 9147230c6e0474b3633608b56bc15878c3439a0f |
| Prüfsumme SHA256 | 4bd9ddf7bb8e0c99f05852c847f3108097ba00b77b7202edb672c636deebae4b |
| Link zum Herunterladen | libssreflect-ocaml-dev_1.3pl2-2build1_i386.deb |
| Ausführliche Beschreibung | |