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 oneiric (multiverse)
Version8.3pl2-1
Sektionmultiverse/doc
Prioritätoptional
Installierte Größe2608 Byte
Hängt ab von
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quellecoq-doc
Paketgröße500186 Byte
Prüfsumme MD5779af046fda0dc39cc6f6c69024af9b2
Prüfsumme SHA19d52461486187f7f366f244eaa01f78bee413c5e
Prüfsumme SHA2560ca107d8bd9abcaad5e4c25df851cdaa11db5cef8886c78e5cbe99d5b3976de2
Link zum Herunterladencoq-doc-html_8.3pl2-1_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds