| Paketname | coqide |
| Beschreibung | proof assistant for higher-order logic (gtk interface) |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 8.3.pl2+dfsg-1build1 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 15784 Byte |
| Hängt ab von | coq (= 8.3.pl2+dfsg-1build1), libcoq-ocaml-10g22, liblablgtk2-ocaml-2mdk6, ocaml-base-nox-3.12.0, li |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | coq |
| Paketgröße | 5088408 Byte |
| Prüfsumme MD5 | a047128565cf4d62689c175c8d4d2be9 |
| Prüfsumme SHA1 | 2b55d6368cc4d3db25a2ce6276b27b1aa29d0524 |
| Prüfsumme SHA256 | 8af9324b344ffad7ddc2488b16fbfe8aa507801893b2159ddb6e821a58aaa695 |
| Link zum Herunterladen | coqide_8.3.pl2+dfsg-1build1_i386.deb |
| Ausführliche Beschreibung | |