DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Paketbeschreibung


Paketnamelibcoq-ocaml-dev
Beschreibungdevelopment libraries and tools for Coq
Archiv/RepositoryOffizielles Debian Archiv squeeze (main)
Version8.2.pl2+dfsg-1
Sektionocaml
Prioritätoptional
Installierte Größe21372 Byte
Hängt ab voncoq (= 8.2.pl2+dfsg-1), camlp5-xzz63, ocaml-nox-3.11.2, libc6 (>= 2.7)
Empfohlene Pakete
PaketbetreuerDebian OCaml Maintainers
Quellecoq
Paketgröße5933320 Byte
Prüfsumme MD5d72248c2ab1e61a4572831cb8be89ac3
Prüfsumme SHA1ecd3e4ebf1b4b7aa95b4151b4fa1eacf8e593b0e
Prüfsumme SHA25628e4f82ff307ab019f8fccf84217885fdd78f03fe87e1ac6309ffe837ab754ca
Link zum Herunterladenlibcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb
Ausführliche BeschreibungCoq 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.


Impressum
Linux is a registered trademark of Linus Torvalds