| Paketname | coqide |
| Beschreibung | proof assistant for higher-order logic (gtk interface) |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 8.3.pl4+dfsg-2 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 15765 Byte |
| Hängt ab von | coq (= 8.3.pl4+dfsg-2), libcoq-ocaml-9fp12, liblablgtk2-ocaml-v69e2, ocaml-base-nox-3.12.1, libc6 (> |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | coq |
| Paketgröße | 5104178 Byte |
| Prüfsumme MD5 | f6100bff7a7a0daa15c202ae059903fc |
| Prüfsumme SHA1 | 205b1d8c721aec25248cf71bcb083cf67e084650 |
| Prüfsumme SHA256 | 02eabf02e009d5e8f6d7aee5c7821e78f059fe99b9e454114e439aa845d5e971 |
| Link zum Herunterladen | coqide_8.3.pl4+dfsg-2_i386.deb |
| Ausführliche Beschreibung | |