summaryrefslogtreecommitdiff
path: root/community/gringo
AgeCommit message (Expand)Author
2017-07-06community/gringo: upgrade to 4.5.4 and update project urlRoberto Oliveira
2017-06-26community/gringo: upgrade to 4.5.3Francesco Colista
2016-12-02community/gringo: move from testing to communityAnil Madhavapeddy