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

Impressum
Linux is a registered trademark of Linus Torvalds