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-html
Beschreibung	documentation for Coq in html format
Archiv/Repository	Offizielles Debian Archiv wheezy (non-free)
Version	8.3pl4-1
Sektion	non-free/doc
Priorität	optional
Installierte Größe	2459 Byte
Hängt ab von
Empfohlene Pakete
Paketbetreuer	Debian OCaml Maintainers
Quelle	coq-doc
Paketgröße	556424 Byte
Prüfsumme MD5	8913fd0a1a550188c8c716ab791a98ac
Prüfsumme SHA1	7c5e4e0fc7b3bb03d2f07591eece247b3da1ecea
Prüfsumme SHA256	2239066cfecd3f4f2483f39af613f07806cc68a5531312655d5dfaa7eadce799
Link zum Herunterladen	coq-doc-html_8.3pl4-1_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds