Open new issuegringo is also available in Debian, Ubuntu, Arch Linux (AUR), and for Mac OS X in homebrew and macports.
brew install gringoThe following 4 dependencies will be installed if you install Gringo:
Bison, Maco, Re2c and 1 other formulas.This formula is required by Aspcud.