| Paketname | libssreflect-coq |
| Beschreibung | small scale reflection library for Coq (theories) |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 1.3pl4-1 |
| Sektion | universe/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 | Ubuntu Developers |
| Quelle | ssreflect |
| Paketgröße | 16084534 Byte |
| Prüfsumme MD5 | cf48d8f8996adf6bb34e4c878cc7d671 |
| Prüfsumme SHA1 | 8ef5d121153ba988c0b1c63f092f1d5d433c1e9f |
| Prüfsumme SHA256 | c0646c33f9b35abf02e5eb178b4c24494fcf1efbc84e67f4973ee8007e3ae7c1 |
| Link zum Herunterladen | libssreflect-coq_1.3pl4-1_all.deb |
| Ausführliche Beschreibung | |