| Paketname | coq-theories |
| Beschreibung | proof assistant for higher-order logic (theories) |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 8.3.pl2+dfsg-1build1 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 140304 Byte |
| Hängt ab von | coq-8.3pl2+3.12.0 |
| Empfohlene Pakete | coq (>= 8.0) |
| Paketbetreuer | Ubuntu Developers |
| Quelle | coq |
| Paketgröße | 52901370 Byte |
| Prüfsumme MD5 | b5be291fcc2c99e8fb862e0867156cbb |
| Prüfsumme SHA1 | d3f6fd3cc3d8a850f404b14b869d9c8eb7c5c7c3 |
| Prüfsumme SHA256 | 63acdea0bd681af7fae72f4bbe4d1de1887ad9fa2b5027e07e462692885ab820 |
| Link zum Herunterladen | coq-theories_8.3.pl2+dfsg-1build1_all.deb |
| Ausführliche Beschreibung | |