| Paketname | libcoq-ocaml-dev |
| Beschreibung | development libraries and tools for Coq |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 8.3.pl2+dfsg-1build1 |
| Sektion | universe/libdevel |
| Priorität | optional |
| Installierte Größe | 20272 Byte |
| Hängt ab von | coq (= 8.3.pl2+dfsg-1build1), camlp5-qsqb3, libcoq-ocaml-10g22, liblablgtk2-ocaml-dev-2mdk6, ocaml-n |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | coq |
| Paketgröße | 5698876 Byte |
| Prüfsumme MD5 | c32d160bbabee2328f1e977142faba1e |
| Prüfsumme SHA1 | ea519337c663750bca5a1433a7f69f23d19a45a0 |
| Prüfsumme SHA256 | adf9bf88ad5a8cad455f40c9a441c3636f04a63100022791e9c59c34d1b6c21d |
| Link zum Herunterladen | libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_i386.deb |
| Ausführliche Beschreibung | |