| Paketname | libssreflect-ocaml-dev |
| Beschreibung | small scale reflection extension for Coq (devt files) |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 1.3pl4-1 |
| Sektion | universe/ocaml |
| Priorität | extra |
| Installierte Größe | 1345 Byte |
| Hängt ab von | camlp5-8ixs9, libcoq-ocaml-dev-9fp12, libssreflect-ocaml-vtgh9, ocaml-nox-3.12.1 |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | ssreflect |
| Paketgröße | 387484 Byte |
| Prüfsumme MD5 | e7a9d2a5976d1b4d2756f808798ac1d2 |
| Prüfsumme SHA1 | 3b5527697c5f41eedd8dab5aad81aff0b524b01a |
| Prüfsumme SHA256 | c4ba70907ef0c95f0e5af16ee09cda6055e59dfa7dff1d9d87cca671863832f1 |
| Link zum Herunterladen | libssreflect-ocaml-dev_1.3pl4-1_i386.deb |
| Ausführliche Beschreibung | |