Paketname | gringo |
Beschreibung | grounding tools for (disjunctive) logic programs |
Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
Version | 3.0.3-4 |
Sektion | universe/interpreters |
Priorität | optional |
Installierte Größe | 3632 Byte |
Hängt ab von | libboost-filesystem1.46.1 (>= 1.46.1-1), libboost-system1.46.1 (>= 1.46.1-1), libc6 (>= 2.4), libgcc |
Empfohlene Pakete | clasp |
Paketbetreuer | Ubuntu Developers |
Quelle | |
Paketgröße | 1522392 Byte |
Prüfsumme MD5 | 272218f14f35338252c5fb18a596cae0 |
Prüfsumme SHA1 | 3033f24f1b4df98a23b750ff855416e5b1f3b5d8 |
Prüfsumme SHA256 | a506d81f321a06ea54ae92f01b7a96eb3cbc9d10a94cfab9b189e38f4890da5e |
Link zum Herunterladen | gringo_3.0.3-4_i386.deb |
Ausführliche Beschreibung | |