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


Paketnamecoq-doc-pdf
Beschreibungdocumentation for Coq in pdf format
Archiv/RepositoryOffizielles Debian Archiv wheezy (non-free)
Version8.3pl4-1
Sektionnon-free/doc
Prioritätoptional
Installierte Größe2391 Byte
Hängt ab von
Empfohlene Pakete
PaketbetreuerDebian OCaml Maintainers
Quellecoq-doc
Paketgröße2414996 Byte
Prüfsumme MD535f11d06346d1e92748400d37fa128dd
Prüfsumme SHA1fb46d289b274df3c28f840fd52033abc573b20a5
Prüfsumme SHA2560ff8ca0bc2b255db573a050c3f6c3b44b513d12b7cf90abd6e8e1a29f659e0ea
Link zum Herunterladencoq-doc-pdf_8.3pl4-1_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds