Date: Monday, June 5, 2017 @ 15:19:55
Author: arodseth
Revision: 234251
upgpkg: clasp 3.3.0-2
Modified:
clasp/trunk/PKGBUILD
----------+
PKGBUILD | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2017-06-05 15:17:44 UTC (rev 234250)
+++ PKGBUILD 2017-06-05 15:19:55 UTC (rev 234251)
@@ -4,7 +4,7 @@
pkgname=clasp
pkgver=3.3.0
-pkgrel=1
+pkgrel=2
pkgdesc='Answer set solver'
arch=('x86_64' 'i686')
url='https://potassco.org/'
@@ -24,6 +24,9 @@
package() {
DESTDIR="$pkgdir" ninja -C build install
+
+ # Conflicts with clingo
+ rm "$pkgdir/usr/bin/lpconvert"
}
# vim:set ts=2 sw=2 et:
