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

Felix Yan felixonmars at gemini.archlinux.org
Thu Dec 2 20:04:26 UTC 2021


    Date: Thursday, December 2, 2021 @ 20:04:26
  Author: felixonmars
Revision: 1062496

upgpkg: cryptominisat5 5.8.0-8: Python 3.10 rebuild

Modified:
  cryptominisat5/trunk/PKGBUILD

----------+
 PKGBUILD |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2021-12-02 20:04:18 UTC (rev 1062495)
+++ PKGBUILD	2021-12-02 20:04:26 UTC (rev 1062496)
@@ -5,7 +5,7 @@
 
 pkgname=cryptominisat5
 pkgver=5.8.0
-pkgrel=7
+pkgrel=8
 pkgdesc="A modern, multi-threaded, feature-rich, simplifying SAT solver"
 arch=('x86_64')
 #url="https://www.msoos.org/2016/07/cryptominisat-5-0-0-released/"



More information about the arch-commits mailing list