| Paketname | libssreflect-coq |
| Beschreibung | small scale reflection library for Coq (theories) |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 1.3pl2-2build1 |
| Sektion | universe/math |
| Priorität | extra |
| Installierte Größe | 89844 Byte |
| Hängt ab von | libssreflect-ocaml (>= 1.3pl2-2build1), coq-8.3pl3+3.12.1 |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | ssreflect |
| Paketgröße | 16079258 Byte |
| Prüfsumme MD5 | dbc4c6d17510858b46aa75d638720887 |
| Prüfsumme SHA1 | 3def6fa073f2b8b68884fd454f1012844af74fe2 |
| Prüfsumme SHA256 | 5fb37a52d774ef644a21234e282e0f739a83288e9849e844e18374d2b92b7026 |
| Link zum Herunterladen | libssreflect-coq_1.3pl2-2build1_all.deb |
| Ausführliche Beschreibung | |