Commit in cryptominisat5/trunk (PKGBUILD)

[Felix Yan]

    Date: Friday, April 7, 2023 @ 12:54:44
  Author: felixonmars
Revision: 1441154

upgpkg: cryptominisat5 5.11.4-3: rebuild with python 3.11

Modified:
  cryptominisat5/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD    2023-04-07 12:54:44 UTC (rev 1441153)
+++ PKGBUILD    2023-04-07 12:54:44 UTC (rev 1441154)
@@ -5,7 +5,7 @@
 
 pkgname=cryptominisat5
 pkgver=5.11.4
-pkgrel=2
+pkgrel=3
 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/";