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 Debian Archiv wheezy (non-free)
Version	8.3pl4-1
Sektion	non-free/doc
Priorität	optional
Installierte Größe	77 Byte
Hängt ab von	coq-doc-html (>= 8.3pl4-1), coq-doc-pdf (>= 8.3pl4-1)
Empfohlene Pakete
Paketbetreuer	Debian OCaml Maintainers
Quelle
Paketgröße	44868 Byte
Prüfsumme MD5	41b4cb6eda684c72659cfb788f1f8ae9
Prüfsumme SHA1	7de4d35f2f84ab4b7a81c5dc5a89b814992ddafa
Prüfsumme SHA256	5801338ffb00b5e96502246e11aa38b4126458c6185b12c7659f10a174aa06cd
Link zum Herunterladen	coq-doc_8.3pl4-1_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds