| Paketname | maude |
| Beschreibung | high-performance logical framework |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 2.6-2 |
| Sektion | science |
| Priorität | optional |
| Installierte Größe | 2141 Byte |
| Hängt ab von | libbdd0c2, libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libgmp10, libgmpxx4ldbl, libncurses5 (>= 5.5-5~), l |
| Empfohlene Pakete | |
| Paketbetreuer | Debian Med Packaging Team |
| Quelle | |
| Paketgröße | 911660 Byte |
| Prüfsumme MD5 | 508e842b724fc6904ae59f2a00765a62 |
| Prüfsumme SHA1 | 0857394b39690bfdcc53b922b48dd06302faa513 |
| Prüfsumme SHA256 | 003aca146592a68282e72983e8adfedd8a91a8c9d2fb8586b7017e12d1ce3648 |
| Link zum Herunterladen | maude_2.6-2_i386.deb |
| Ausführliche Beschreibung | |