aboutsummaryrefslogtreecommitdiffstats
path: root/community/gringo
Commit message (Expand)AuthorAgeFilesLines
* community/gringo: add missing build dependency on python2Roberto Oliveira2017-11-101-2/+2
* community/gringo: upgrade to 4.5.4 and update project urlRoberto Oliveira2017-07-061-3/+3
* community/gringo: upgrade to 4.5.3Francesco Colista2017-06-261-6/+2
* community/gringo: move from testing to communityAnil Madhavapeddy2016-12-022-0/+50