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 wheezy (main)
Version8.3.pl4+dfsg-2
Sektionocaml
Prioritätoptional
Installierte Größe19423 Byte
Hängt ab voncoq (= 8.3.pl4+dfsg-2), camlp5-8ixs9, libcoq-ocaml-9fp12, liblablgtk2-ocaml-dev-v69e2, ocaml-nox-3.1
Empfohlene Pakete
PaketbetreuerDebian OCaml Maintainers
Quellecoq
Paketgröße5792696 Byte
Prüfsumme MD58e3ee4939de5eb041d3f779de84e8aba
Prüfsumme SHA161d42a94a296f896cedb04c0aa0bea4d9828f5ec
Prüfsumme SHA25641190c759f7505ecfa1aa057e128a28e276c998381867c3bec162121d9f93106
Link zum Herunterladenlibcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb
Ausführliche Beschreibung


Impressum
Linux is a registered trademark of Linus Torvalds