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 precise (multiverse)
Version8.3pl2-1build1
Sektionmultiverse/doc
Prioritätoptional
Installierte Größe2417 Byte
Hängt ab von
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quellecoq-doc
Paketgröße500118 Byte
Prüfsumme MD53b99edca319078d5e42087059abf7057
Prüfsumme SHA1f63cfc9633931e993098587d2f5aa7bcb7763258
Prüfsumme SHA256a4941ff0cf8c9134a246659626624a6b3fa564f492979b221ccd79df924fe359
Link zum Herunterladencoq-doc-html_8.3pl2-1build1_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds