| Paketname | coq |
| Beschreibung | proof assistant for higher-order logic (toplevel and compiler) |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 8.3.pl4+dfsg-2 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 14913 Byte |
| Hängt ab von | coq-theories (= 8.3.pl4+dfsg-2), emacsen-common, libcoq-ocaml-9fp12, ocaml-base-nox-3.12.1, libc6 (> |
| Empfohlene Pakete | coqide | proofgeneral |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 4968608 Byte |
| Prüfsumme MD5 | 1e39e2e91bbe20c83a29047861987d65 |
| Prüfsumme SHA1 | f71283696a4506d866c718d3234bffe5bbacf780 |
| Prüfsumme SHA256 | 2a84834f7df68797ab303d93efd608623dffd146cb04f0d64c72f287208328d3 |
| Link zum Herunterladen | coq_8.3.pl4+dfsg-2_i386.deb |
| Ausführliche Beschreibung | |