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	proofgeneral-doc
Beschreibung	generic interface for proof assistants - documentation
Archiv/Repository	Offizielles Ubuntu Archiv precise (universe)
Version	3.7-4
Sektion	universe/doc
Priorität	optional
Installierte Größe	560 Byte
Hängt ab von
Empfohlene Pakete
Paketbetreuer	Ubuntu Developers
Quelle	proofgeneral
Paketgröße	90466 Byte
Prüfsumme MD5	b5806a656493ec1d5a1866e409a8e21d
Prüfsumme SHA1	c1d3a17a48ce657f04ba4b651594700a201de4d6
Prüfsumme SHA256	d736abcf502367208c1c20b3640bc30bd272ea8e02d7ff4049bb9e754f831a4d
Link zum Herunterladen	proofgeneral-doc_3.7-4_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds