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

Impressum
Linux is a registered trademark of Linus Torvalds