| Paketname | libcoq-ocaml-dev |
| Beschreibung | development libraries and tools for Coq |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 8.3.pl4+dfsg-1 |
| Sektion | universe/libdevel |
| Priorität | optional |
| Installierte Größe | 19381 Byte |
| Hängt ab von | coq (= 8.3.pl4+dfsg-1), camlp5-bjli0, libcoq-ocaml-t7w14, liblablgtk2-ocaml-dev-v69e2, ocaml-nox-3.1 |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | coq |
| Paketgröße | 5745580 Byte |
| Prüfsumme MD5 | 9c35663bf80f69cf0034eeeeb3e2bdce |
| Prüfsumme SHA1 | 0cfd7307d99da0b34893febfa25f1a60f6873dcc |
| Prüfsumme SHA256 | a8fb92e135b7619d9148041d939299dad3c348cbd98efc052e98706fdfe1d56b |
| Link zum Herunterladen | libcoq-ocaml-dev_8.3.pl4+dfsg-1_i386.deb |
| Ausführliche Beschreibung | |