Paketname | maude |
Beschreibung | A high-performance logical framework. |
Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
Version | 2.6-1 |
Sektion | universe/science |
Priorität | optional |
Installierte Größe | 2164 Byte |
Hängt ab von | libbdd0c2, libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libgmp10, libgmpxx4ldbl, libsigsegv2, libstdc++6 (> |
Empfohlene Pakete | |
Paketbetreuer | Ubuntu Developers |
Quelle | |
Paketgröße | 908250 Byte |
Prüfsumme MD5 | 86dbd0ba4492cee4a392c2008bb4b052 |
Prüfsumme SHA1 | 7e5abbb4614fa12c61408a8026d4dec6050496bc |
Prüfsumme SHA256 | fcd7a933ae779d5ff86bb84fe8fed0b6b27a8ce1342b65ae2fe5d88fd1f624d9 |
Link zum Herunterladen | maude_2.6-1_i386.deb |
Ausführliche Beschreibung | |