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 Debian Archiv wheezy (main)
Version1.4-13-3
Sektionscience
Prioritätextra
Installierte Größe1340 Byte
Hängt ab vonlibc6 (>= 2.7), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.2.1)
Empfohlene Paketegraphviz
PaketbetreuerDebian Science Maintainers
Quelle
Paketgröße427062 Byte
Prüfsumme MD57f164817051bc1744aca50f0b8ee2c94
Prüfsumme SHA143a282069236fc147f834d31f72404964b32f280
Prüfsumme SHA25690bd430407d260b6454f22bb50fadab62b7dc86dc21a8d839dbd31e1f1caad5e
Link zum Herunterladenmona_1.4-13-3_i386.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds