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 quantal (multiverse)
Version	8.3pl4-1
Sektion	multiverse/doc
Priorität	optional
Installierte Größe	40 Byte
Hängt ab von	coq-doc-html (>= 8.3pl4-1), coq-doc-pdf (>= 8.3pl4-1)
Empfohlene Pakete
Paketbetreuer	Ubuntu Developers
Quelle
Paketgröße	4578 Byte
Prüfsumme MD5	6f86578df557c1b1083f44ea9a56c5c0
Prüfsumme SHA1	b45539f6d1ac6060415540693e1f5896da2b3527
Prüfsumme SHA256	b7ab84386e745beca624e79b9262468d51018a48f29a35f431758ca390be2d97
Link zum Herunterladen	coq-doc_8.3pl4-1_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds