| Paketname | libssreflect-ocaml |
| Beschreibung | small scale reflection extension for Coq (plugin) |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 1.3pl4-1 |
| Sektion | ocaml |
| Priorität | optional |
| Installierte Größe | 1561 Byte |
| Hängt ab von | libcoq-ocaml-9fp12, ocaml-base-nox-3.12.1, libc6 (>= 2.1.3) |
| Empfohlene Pakete | |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | ssreflect |
| Paketgröße | 404314 Byte |
| Prüfsumme MD5 | 7cb488aca9647cc50c48f05f1483a748 |
| Prüfsumme SHA1 | 3699882907c6e15aac6fb6afae967cc85725cd67 |
| Prüfsumme SHA256 | 6a778ad97440be317f06837f6eef2eb0ff09bd1e9e33c7d11bb3ced27d100b03 |
| Link zum Herunterladen | libssreflect-ocaml_1.3pl4-1_i386.deb |
| Ausführliche Beschreibung | |