summaryrefslogtreecommitdiff
path: root/community/clingo
AgeCommit message (Expand)Author
2017-09-27community/clingo: fix patchErich Eckner
2017-08-26community/cringo: removed i686 in PKGBUILDAndreas Baumann
2017-08-26community/cringo: fixed compilation using -latomic patch from upstreamAndreas Baumann
2017-08-25community/cringo: fixed building with g++ instead of clang++Andreas Baumann