| Paketname | libssreflect-coq |
| Beschreibung | small scale reflection library for Coq (theories) |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 1.3pl4-1 |
| Sektion | math |
| Priorität | extra |
| Installierte Größe | 89847 Byte |
| Hängt ab von | libssreflect-ocaml (>= 1.3pl4-1), coq-8.3pl4+3.12.1 |
| Empfohlene Pakete | |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | ssreflect |
| Paketgröße | 16082644 Byte |
| Prüfsumme MD5 | 020f8ebfa510a044913ca4bdb7d48397 |
| Prüfsumme SHA1 | 51e284ce365d94307906ac18eb1843dd35fb1f22 |
| Prüfsumme SHA256 | 72e00c500402fee8755f373695a22032300e3ec5181c556234372d0b1f10760a |
| Link zum Herunterladen | libssreflect-coq_1.3pl4-1_all.deb |
| Ausführliche Beschreibung | |