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

Impressum
Linux is a registered trademark of Linus Torvalds