| Paketname | libssreflect-ocaml |
| Beschreibung | small scale reflection extension for Coq (plugin) |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 1.3pl4-1 |
| Sektion | universe/math |
| Priorität | extra |
| Installierte Größe | 1545 Byte |
| Hängt ab von | libcoq-ocaml-9fp12, ocaml-base-nox-3.12.1, libc6 (>= 2.1.3) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | ssreflect |
| Paketgröße | 397646 Byte |
| Prüfsumme MD5 | 75d0d94693cf5105fcd764a9cc3dcebf |
| Prüfsumme SHA1 | 8261ac35443646af178083cf0a67e7448127c4ed |
| Prüfsumme SHA256 | 106f8f2eb3a290ea90bda034996cbc0bab06b90eae155db32f5ae717069dfaed |
| Link zum Herunterladen | libssreflect-ocaml_1.3pl4-1_i386.deb |
| Ausführliche Beschreibung | |