Paketname | gringo |
Beschreibung | grounding tools for (disjunctive) logic programs |
Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
Version | 3.0.4-3 |
Sektion | universe/interpreters |
Priorität | optional |
Installierte Größe | 3727 Byte |
Hängt ab von | libboost-filesystem1.49.0 (>= 1.49.0-1), libboost-system1.49.0 (>= 1.49.0-1), libc6 (>= 2.4), libgcc |
Empfohlene Pakete | clasp |
Paketbetreuer | Ubuntu Developers |
Quelle | |
Paketgröße | 1572452 Byte |
Prüfsumme MD5 | f7f28a2cff6d9331b3ea900eb6c0b317 |
Prüfsumme SHA1 | c080b5cf62944ea263237e6ede0ddb21bd7bf6c2 |
Prüfsumme SHA256 | 47da011eb1b500d8114489e21b38f09f607d08d6d195681f8a111d5ddc1a4801 |
Link zum Herunterladen | gringo_3.0.4-3_i386.deb |
Ausführliche Beschreibung | |