| 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 | |