| Paketname | libcoq-ocaml-dev |
| Beschreibung | development libraries and tools for Coq |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 8.2.pl2+dfsg-1 |
| Sektion | ocaml |
| Priorität | optional |
| Installierte Größe | 21372 Byte |
| Hängt ab von | coq (= 8.2.pl2+dfsg-1), camlp5-xzz63, ocaml-nox-3.11.2, libc6 (>= 2.7) |
| Empfohlene Pakete | |
| Paketbetreuer | Debian OCaml Maintainers |
| Quelle | coq |
| Paketgröße | 5933320 Byte |
| Prüfsumme MD5 | d72248c2ab1e61a4572831cb8be89ac3 |
| Prüfsumme SHA1 | ecd3e4ebf1b4b7aa95b4151b4fa1eacf8e593b0e |
| Prüfsumme SHA256 | 28e4f82ff307ab019f8fccf84217885fdd78f03fe87e1ac6309ffe837ab754ca |
| Link zum Herunterladen | libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb |
| Ausführliche Beschreibung | Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
specification. It is developed using Objective Caml and Camlp5.
.
This package provides coqmktop, and libraries needed to develop
OCaml-side extensions to Coq.
|