| Paketname | libssreflect-ocaml |
| Beschreibung | small scale reflection extension for Coq (plugin) |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 1.3pl1-4build1 |
| Sektion | universe/math |
| Priorität | extra |
| Installierte Größe | 1528 Byte |
| Hängt ab von | libcoq-ocaml-10g22, ocaml-base-nox-3.12.0, libc6 (>= 2.1.3) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | ssreflect |
| Paketgröße | 389750 Byte |
| Prüfsumme MD5 | f5b740523a363b108ace6b6526afa34e |
| Prüfsumme SHA1 | 1d54a686dc96267921991eac44da1c8c93594ebf |
| Prüfsumme SHA256 | 14e2b57ec85e70b141ac52fc881a98300caa573a6ae6bcb39fb30bbaf1fd94cc |
| Link zum Herunterladen | libssreflect-ocaml_1.3pl1-4build1_i386.deb |
| Ausführliche Beschreibung | |