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


Paketnameprover9-doc
Beschreibungdocumentation for Prover9 and associated programs
Archiv/RepositoryOffizielles Debian Archiv wheezy (main)
Version0.0.200902a-1
Sektiondoc
Prioritätoptional
Installierte Größe3544 Byte
Hängt ab von
Empfohlene Pakete
PaketbetreuerPeter Collingbourne
Quelleprover9-manual
Paketgröße968774 Byte
Prüfsumme MD5c6f1afd44d2140da5d80526f5e0f692b
Prüfsumme SHA1daafb900765f0c1f6ed5604403d817d3b7a8a40e
Prüfsumme SHA256381a20ff5de1faa666d2ec3fce403764edb10f530fb48c64d1edddd0002e8cdc
Link zum Herunterladenprover9-doc_0.0.200902a-1_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds