| Paketname | coqide |
| Beschreibung | proof assistant for higher-order logic (gtk interface) |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 8.3.pl4+dfsg-1 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 15740 Byte |
| Hängt ab von | coq (= 8.3.pl4+dfsg-1), libcoq-ocaml-t7w14, liblablgtk2-ocaml-v69e2, ocaml-base-nox-3.12.1, libc6 (> |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | coq |
| Paketgröße | 5098422 Byte |
| Prüfsumme MD5 | 5d1e3f35978815a66fa49639ec22ca60 |
| Prüfsumme SHA1 | e1eebc97ce158e041f167b1b462fa33d83e75489 |
| Prüfsumme SHA256 | 94a7af07b7d3e21f6118e484ddda122647d095f1e42a360438f799710c377af2 |
| Link zum Herunterladen | coqide_8.3.pl4+dfsg-1_i386.deb |
| Ausführliche Beschreibung | |