Date: Thursday, August 29, 2019 @ 11:35:00 Author: arodseth Revision: 504788
upgpkg: clasp 3.3.5-1 Modified: clasp/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2019-08-29 11:25:51 UTC (rev 504787) +++ PKGBUILD 2019-08-29 11:35:00 UTC (rev 504788) @@ -2,7 +2,7 @@ # Contributor: Vincent Bernardoff <[email protected]> pkgname=clasp -pkgver=3.3.4 +pkgver=3.3.5 pkgrel=1 pkgdesc='Answer set solver' arch=('x86_64')
