| Paketname | maude |
| Beschreibung | high-performance logical framework |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 2.6-2 |
| Sektion | universe/science |
| Priorität | optional |
| Installierte Größe | 2140 Byte |
| Hängt ab von | libbdd0c2, libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libgmp10, libgmpxx4ldbl, libsigsegv2 (>= 2.9), libs |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 908174 Byte |
| Prüfsumme MD5 | b1c3759a0bb57778f91cd4f408d07f9b |
| Prüfsumme SHA1 | d4663ea41c635882c8c90084904fd0dc88c4eaac |
| Prüfsumme SHA256 | d237da7c4fc8009aeb99065b993b9429174ffc11769277ca3bf4d997575cdd26 |
| Link zum Herunterladen | maude_2.6-2_i386.deb |
| Ausführliche Beschreibung | |