[arch-commits] Commit in yices/trunk (PKGBUILD)

[Felix Yan]

    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 <amaloz at 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