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
Beschreibungdocumentation for Coq
Archiv/RepositoryOffizielles Ubuntu Archiv oneiric (multiverse)
Version8.3pl2-1
Sektionmultiverse/doc
Prioritätoptional
Installierte Größe44 Byte
Hängt ab voncoq-doc-html (>= 8.3pl2-1), coq-doc-pdf (>= 8.3pl2-1)
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quelle
Paketgröße4620 Byte
Prüfsumme MD5ccb25a44c96615bd60b2bc864d7efba0
Prüfsumme SHA11dbefe2cc9a3c873dcaff731df8207be54888ca8
Prüfsumme SHA2562e3b7f74164db545c1017ea0e8b0eeed841fe50b3366a94a220c65c62dd750ac
Link zum Herunterladencoq-doc_8.3pl2-1_all.deb
Ausführliche Beschreibung


Impressum
Linux is a registered trademark of Linus Torvalds