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-html
Beschreibungdocumentation for Coq in html format
Archiv/RepositoryOffizielles Ubuntu Archiv quantal (multiverse)
Version8.3pl4-1
Sektionmultiverse/doc
Prioritätoptional
Installierte Größe2423 Byte
Hängt ab von
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quellecoq-doc
Paketgröße505154 Byte
Prüfsumme MD569832829e88c58748c91b8dc60ecf3aa
Prüfsumme SHA1679755b25bf432438d67a8fe31a622f54b131dff
Prüfsumme SHA2564227dccc0e8dc25fcdaea69e58ec404d6d4b6a283ed285622e04259ad3025991
Link zum Herunterladencoq-doc-html_8.3pl4-1_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds