Homebrew/homebrew — pull request #25823 by avsm (2014-01-12 00:24:40+00:00)
Title: gringo 4.2.1

Gringo is a grounder for answer-set programming, that is used by package solvers such as aspcud (a port of which is coming soon, as it's required by opam 1.1.1)