| Paketname | gringo |
| Beschreibung | grounding tools for (disjunctive) logic programs |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 3.0.4-3 |
| Sektion | interpreters |
| Priorität | optional |
| Installierte Größe | 3788 Byte |
| Hängt ab von | libboost-filesystem1.49.0 (>= 1.49.0-1), libboost-system1.49.0 (>= 1.49.0-1), libc6 (>= 2.3.6-6~), l |
| Empfohlene Pakete | clasp |
| Paketbetreuer | Debian Science Maintainers |
| Quelle | |
| Paketgröße | 1606566 Byte |
| Prüfsumme MD5 | af9457e57d93262bac859807807686b3 |
| Prüfsumme SHA1 | 1bb31f128854a27bfd4e03b6d05fba2595b14ede |
| Prüfsumme SHA256 | 6b37aedbb94bcdab818bd457fe3f00973f29b6342a281e7d82b428e270318750 |
| Link zum Herunterladen | gringo_3.0.4-3_i386.deb |
| Ausführliche Beschreibung | |