| Paketname | libcoq-ocaml-dev |
| Beschreibung | development libraries and tools for Coq |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 8.2.pl1+dfsg-6 |
| Sektion | universe/libdevel |
| Priorität | optional |
| Installierte Größe | 21336 Byte |
| Hängt ab von | coq (= 8.2.pl1+dfsg-6), camlp5-tgj08, ocaml-nox-3.11.2, libc6 (>= 2.7) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | coq |
| Paketgröße | 5884584 Byte |
| Prüfsumme MD5 | a759301b252f55966f93f12cce211fb9 |
| Prüfsumme SHA1 | 596922a89d25bba21a2f7b192955d5e689dd5f38 |
| Prüfsumme SHA256 | 9d3ffc22565da9f0a7ad072f01240429700996ba469786914c45a8554e55e603 |
| Link zum Herunterladen | libcoq-ocaml-dev_8.2.pl1+dfsg-6_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.
|