| Paketname | coq |
| Beschreibung | proof assistant for higher-order logic (toplevel and compiler) |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 8.3.pl2+dfsg-1build1 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 15036 Byte |
| Hängt ab von | coq-theories (= 8.3.pl2+dfsg-1build1), emacsen-common, libcoq-ocaml-10g22, ocaml-base-nox-3.12.0, li |
| Empfohlene Pakete | coqide | proofgeneral-coq |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 4952978 Byte |
| Prüfsumme MD5 | c1f0de1d63ac4bad635a8dbb57e4e360 |
| Prüfsumme SHA1 | 36b6ec4dc465000e56865c45f2257d9114a44297 |
| Prüfsumme SHA256 | 25e55e077b9d918052a90777d9c3486b3dfaa25e5955fb767435f73e78b94cbd |
| Link zum Herunterladen | coq_8.3.pl2+dfsg-1build1_i386.deb |
| Ausführliche Beschreibung | |