Paketname | gringo |
Beschreibung | grounding tools for (disjunctive) logic programs |
Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
Version | 3.0.3-7 |
Sektion | universe/interpreters |
Priorität | optional |
Installierte Größe | 3651 Byte |
Hängt ab von | libboost-filesystem1.48.0 (>= 1.48.0-1), libboost-system1.48.0 (>= 1.48.0-1), libc6 (>= 2.4), libgcc |
Empfohlene Pakete | clasp |
Paketbetreuer | Ubuntu Developers |
Quelle | |
Paketgröße | 1544416 Byte |
Prüfsumme MD5 | 60c43400be520bb0dca65aec65a96bd9 |
Prüfsumme SHA1 | a989ea79b49a43fc413634c810588415354c4574 |
Prüfsumme SHA256 | 6d56a6ec999b8aa705930722c380f44437d6ccda10ddec8ade1a221a1af48f9a |
Link zum Herunterladen | gringo_3.0.3-7_i386.deb |
Ausführliche Beschreibung | |