Paketname | libcoq-ocaml-dev |
Beschreibung | development libraries and tools for Coq |
Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
Version | 8.3.pl4+dfsg-2 |
Sektion | universe/libdevel |
Priorität | optional |
Installierte Größe | 19386 Byte |
Hängt ab von | coq (= 8.3.pl4+dfsg-2), camlp5-8ixs9, libcoq-ocaml-9fp12, liblablgtk2-ocaml-dev-v69e2, ocaml-nox-3.1 |
Empfohlene Pakete | |
Paketbetreuer | Ubuntu Developers |
Quelle | coq |
Paketgröße | 5748142 Byte |
Prüfsumme MD5 | 408693d203f1f5641026b61af50d80ea |
Prüfsumme SHA1 | 58d1a327d291f9bb90baabc913fc5521729131d2 |
Prüfsumme SHA256 | c6feedad5463ac9e1a30ec55aeba6ad2f987821b0ca69a508a519cab9b4b2556 |
Link zum Herunterladen | libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb |
Ausführliche Beschreibung | |