Date: Saturday, January 1, 2022 @ 22:30:03 Author: felixonmars Revision: 1092027
upgpkg: yices 2.6.4-1 Modified: yices/trunk/PKGBUILD ----------+ PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2022-01-01 22:22:32 UTC (rev 1092026) +++ PKGBUILD 2022-01-01 22:30:03 UTC (rev 1092027) @@ -3,7 +3,7 @@ # Contributor: Alex J. Malozemoff <ama...@galois.com> pkgname=yices -pkgver=2.6.3 +pkgver=2.6.4 pkgrel=1 pkgdesc="The Yices SMT Solver" arch=('x86_64') @@ -13,7 +13,7 @@ makedepends=('gperf') # Since 2.6.3 sources are not published in http://yices.csl.sri.com/releases/ anymore. source=("https://github.com/SRI-CSL/yices2/archive/Yices-$pkgver.tar.gz") -sha512sums=('6b80a34dde63e11af9695750ba7528b516e34a29af086ba9a50405a9e0d4637af878d6aac866c3ad8fb5eafd56e7af760b8a700e2963b0176c6de70a9ddea809') +sha512sums=('d8102c41fda0e200fd1336ae317b516d2797d10c187b8f7aecf0c9b08b4b487b90bef8c358099b2da51c0367326939f9610fd4e6d5a41a392cf1114bd04b8763') build() { cd yices2-Yices-$pkgver