| Paketname | libcoq-ocaml-dev |
| Beschreibung | development libraries and tools for Coq |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 8.3.pl4+dfsg-2 |
| Sektion | ocaml |
| Priorität | optional |
| Installierte Größe | 19423 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 | Debian OCaml Maintainers |
| Quelle | coq |
| Paketgröße | 5792696 Byte |
| Prüfsumme MD5 | 8e3ee4939de5eb041d3f779de84e8aba |
| Prüfsumme SHA1 | 61d42a94a296f896cedb04c0aa0bea4d9828f5ec |
| Prüfsumme SHA256 | 41190c759f7505ecfa1aa057e128a28e276c998381867c3bec162121d9f93106 |
| Link zum Herunterladen | libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb |
| Ausführliche Beschreibung | |