Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/community/clingo
AgeCommit message (Collapse)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

Copyright © 2002-2022 Judd Vinet and Aaron Griffin. Copyright © 2022 Erich Eckner.
The Arch Linux name and logo are recognized trademarks. Some rights reserved. The registered trademark Linux® is used pursuant to a sublicense from LMI, the exclusive licensee of Linus Torvalds, owner of the mark on a world-wide basis.