| Paketname | coqide |
| Beschreibung | proof assistant for higher-order logic (gtk interface) |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 8.3.pl4+dfsg-2 |
| Sektion | math |
| Priorität | optional |
| Installierte Größe | 15972 Byte |
| Hängt ab von | coq (= 8.3.pl4+dfsg-2), libcoq-ocaml-9fp12, liblablgtk2-ocaml-v69e2, ocaml-base-nox-3.12.1, libatk1. |
| Empfohlene Pakete | |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | coq |
| Paketgröße | 5235222 Byte |
| Prüfsumme MD5 | 69f5685915193551b82da754e3f932fd |
| Prüfsumme SHA1 | 51807dbba404182e92e28cb23b2ec7ab6bccbde9 |
| Prüfsumme SHA256 | 6f4d92946f7aaa85c3614e732eca984032ba32d29761b139847ccc814710428c |
| Link zum Herunterladen | coqide_8.3.pl4+dfsg-2_i386.deb |
| Ausführliche Beschreibung | role::program, scope::application, uitoolkit::gtk, uitoolkit::ncurses,
use::checking, x11::application
|