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