| Paketname | libssreflect-coq |
| Beschreibung | small scale reflection library for Coq (theories) |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 1.3pl1-4build1 |
| Sektion | universe/math |
| Priorität | extra |
| Installierte Größe | 63596 Byte |
| Hängt ab von | libssreflect-ocaml (>= 1.3pl1-4build1), coq-8.3pl2+3.12.0 |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | ssreflect |
| Paketgröße | 15750724 Byte |
| Prüfsumme MD5 | 711e39018382d6cb456715d8528371f9 |
| Prüfsumme SHA1 | 2aa3b7c4e4a66de90bc334b50b3e5a4e22cced78 |
| Prüfsumme SHA256 | 6b943ba85d7e987f1d2a954f58d104a7b7e3887128ff39463ea0d826e9826e38 |
| Link zum Herunterladen | libssreflect-coq_1.3pl1-4build1_all.deb |
| Ausführliche Beschreibung | |