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


Paketnamematita-doc
Beschreibunguser manual of the Matita interactive theorem prover
Archiv/RepositoryOffizielles Ubuntu Archiv precise (universe)
Version0.5.8-3build1
Sektionuniverse/doc
Prioritätoptional
Installierte Größe1923 Byte
Hängt ab von
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quellematita
Paketgröße1132118 Byte
Prüfsumme MD59bb9f49807e3813778cc722d582e2a17
Prüfsumme SHA15e3f1f23c6255556960c55ce10733e7f17b2ec8d
Prüfsumme SHA256f2b10fc5c5996c205d87016eab60f9dca0403408421e917e53de7ef68e2dd6f2
Link zum Herunterladenmatita-doc_0.5.8-3build1_all.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds