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	matita-doc
Beschreibung	user manual of the Matita interactive theorem prover
Archiv/Repository	Offizielles Ubuntu Archiv oneiric (universe)
Version	0.5.8-3
Sektion	universe/doc
Priorität	optional
Installierte Größe	2104 Byte
Hängt ab von
Empfohlene Pakete
Paketbetreuer	Ubuntu Developers
Quelle	matita
Paketgröße	1132160 Byte
Prüfsumme MD5	3bdd31b93f90b37d852a2e7201799655
Prüfsumme SHA1	47c4c4fafc340dea35000e0d698646e01c329dc3
Prüfsumme SHA256	b73f8d304b1d6ed2f167725fc1eea3f4dfbe8646ab6e530682fa858bf9b7b2d1
Link zum Herunterladen	matita-doc_0.5.8-3_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds