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


Paketnamemona
Beschreibungtheorem prover based on automata
Archiv/RepositoryOffizielles Ubuntu Archiv precise (universe)
Version1.4-13-3
Sektionuniverse/misc
Prioritätoptional
Installierte Größe1356 Byte
Hängt ab vonlibc6 (>= 2.7), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.2.1)
Empfohlene Paketegraphviz
PaketbetreuerUbuntu Developers
Quelle
Paketgröße420570 Byte
Prüfsumme MD5ea4c66cf2fc8235e66876c1ff2280633
Prüfsumme SHA155950c76b18505644e348826e064e96a8a29a489
Prüfsumme SHA2560f1dcc57de56276b58642b645ddc5a981f5b5ac7d5452939ab0d34acdeaabf99
Link zum Herunterladenmona_1.4-13-3_i386.deb
Ausführliche Beschreibung


Impressum
Linux is a registered trademark of Linus Torvalds