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ß

Paketname	prover9-doc
Beschreibung	documentation for Prover9 and associated programs
Archiv/Repository	Offizielles Ubuntu Archiv quantal (universe)
Version	0.0.200902a-1
Sektion	universe/doc
Priorität	optional
Installierte Größe	3544 Byte
Hängt ab von
Empfohlene Pakete
Paketbetreuer	Ubuntu MOTU Developers
Quelle	prover9-manual
Paketgröße	957042 Byte
Prüfsumme MD5	ab1473500c0175f13af7dca365981266
Prüfsumme SHA1	02f9b967ecc239b9dd23ab2c0df8e922a8fad036
Prüfsumme SHA256	680caf3998aa70f8263d5a6915917c70e468a3ce0c1578ac69f644c68dd3a94c
Link zum Herunterladen	prover9-doc_0.0.200902a-1_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds