| index : packages | |
| Archlinux32 package modifications | gitolite user |
| summaryrefslogtreecommitdiff |
| author | Andreas Baumann <mail@andreasbaumann.cc> | 2017-08-26 14:22:30 +0200 |
|---|---|---|
| committer | Andreas Baumann <mail@andreasbaumann.cc> | 2017-08-26 14:22:30 +0200 |
| commit | aaa6b6d13d4322067b3baf53676e5c7656844058 (patch) | |
| tree | 0defe81841bb09aab0c072b3dbadd91a072b14ab /community | |
| parent | 5521dbd7d889b9bdcfc546d3d14f5d810ff9b0a4 (diff) | |
| -rw-r--r-- | community/clingo/PKGBUILD | 1 |
diff --git a/community/clingo/PKGBUILD b/community/clingo/PKGBUILD index 707701db..cf5c4a59 100644 --- a/community/clingo/PKGBUILD +++ b/community/clingo/PKGBUILD @@ -1,6 +1,5 @@ # see upstream: https://github.com/potassco/clingo/issues/57 -arch+=('i686') source+=("clang-libatomic.patch::https://github.com/potassco/clasp/commit/fe3e176e2813956000bb947479de2c3d80fe34be.patch") sha256sums+=('222b535ffd761c07c3652a3025180bcfb1f1b7504d7353048d5ce485a84c1a27') |