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ß

Paketname	coq-doc
Beschreibung	documentation for Coq
Archiv/Repository	Offizielles Ubuntu Archiv oneiric (multiverse)
Version	8.3pl2-1
Sektion	multiverse/doc
Priorität	optional
Installierte Größe	44 Byte
Hängt ab von	coq-doc-html (>= 8.3pl2-1), coq-doc-pdf (>= 8.3pl2-1)
Empfohlene Pakete
Paketbetreuer	Ubuntu Developers
Quelle
Paketgröße	4620 Byte
Prüfsumme MD5	ccb25a44c96615bd60b2bc864d7efba0
Prüfsumme SHA1	1dbefe2cc9a3c873dcaff731df8207be54888ca8
Prüfsumme SHA256	2e3b7f74164db545c1017ea0e8b0eeed841fe50b3366a94a220c65c62dd750ac
Link zum Herunterladen	coq-doc_8.3pl2-1_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds