Binary: iclingo

Debian packages that has this binary:

Package: gringo

/usr/bin/iclingo

Random binary cloud:

dnsperf dspam b2m spectrum1d gperf irkbd ncview ocamlc pkgwat ftpmail sqlite3 printcdb tsung_stats xfce4-tips lecs dcmp2pgm dh_installlisting fuzztran nospace v.net.timetable ldaptor-ldap2passwd glib-compile-resources nnadmin pdfsam-console sdoc-merge scalac alias_manager newprep xbindkeys rip_show_peer_stats