| Paketname | libssreflect-ocaml |
| Beschreibung | small scale reflection extension for Coq (plugin) |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 1.3pl2-2build1 |
| Sektion | universe/math |
| Priorität | extra |
| Installierte Größe | 1539 Byte |
| Hängt ab von | libcoq-ocaml-ib824, ocaml-base-nox-3.12.1, libc6 (>= 2.1.3) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | ssreflect |
| Paketgröße | 396752 Byte |
| Prüfsumme MD5 | 27ee8d9a8fcc443ab6b7b133d34f39c0 |
| Prüfsumme SHA1 | 9a9bf10aaec5b265d38ed44ce89017cce5cceca1 |
| Prüfsumme SHA256 | 4ab8dc3be4f22d55ae444f20172ca5325d6aef89a7a9909bf0d9e489b05f75ba |
| Link zum Herunterladen | libssreflect-ocaml_1.3pl2-2build1_i386.deb |
| Ausführliche Beschreibung | |