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	mona
Beschreibung	theorem prover based on automata
Archiv/Repository	Offizielles Ubuntu Archiv precise (universe)
Version	1.4-13-3
Sektion	universe/misc
Priorität	optional
Installierte Größe	1356 Byte
Hängt ab von	libc6 (>= 2.7), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.2.1)
Empfohlene Pakete	graphviz
Paketbetreuer	Ubuntu Developers
Quelle
Paketgröße	420570 Byte
Prüfsumme MD5	ea4c66cf2fc8235e66876c1ff2280633
Prüfsumme SHA1	55950c76b18505644e348826e064e96a8a29a489
Prüfsumme SHA256	0f1dcc57de56276b58642b645ddc5a981f5b5ac7d5452939ab0d34acdeaabf99
Link zum Herunterladen	mona_1.4-13-3_i386.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds