Date: Friday, August 7, 2020 @ 20:11:10 Author: arodseth Revision: 671708
upgpkg: polyml 5.8.1-1 Modified: polyml/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-08-07 20:09:16 UTC (rev 671707) +++ PKGBUILD 2020-08-07 20:11:10 UTC (rev 671708) @@ -9,7 +9,7 @@ arch=(x86_64) url='https://polyml.org/' license=(LGPL) -conflicts=('mesa-demos') # /usr/bin/poly +conflicts=(mesa-demos) options=(!libtool) depends=(gmp libffi) source=("$pkgname-$pkgver.tar.gz::https://github.com/$pkgname/$pkgname/archive/v$pkgver.tar.gz")
