| Paketname | coq |
| Beschreibung | proof assistant for higher-order logic (toplevel and compiler) |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 8.3.pl4+dfsg-2 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 15066 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 | Debian OCaml Maintainers |
| Quelle | |
| Paketgröße | 5070304 Byte |
| Prüfsumme MD5 | b85db2f0dc5f6e660e22a79c3b5daada |
| Prüfsumme SHA1 | 14282389e0c14fc6f186af4c7020f2dd563db7d2 |
| Prüfsumme SHA256 | 68f61320b104ab454257adf4214951db833bbf296d019598050f32f5953de15a |
| Link zum Herunterladen | coq_8.3.pl4+dfsg-2_i386.deb |
| Ausführliche Beschreibung | interface::commandline, interface::text-mode, role::program,
scope::utility, uitoolkit::ncurses
|