Commit in stp/trunk (PKGBUILD)

[Antonio Rojas]

    Date: Sunday, October 2, 2022 @ 16:46:02
  Author: arojas
Revision: 1320678

upgpkg: stp 2.3.3-7: cryptominisat 5.11 rebuild

Modified:
  stp/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD    2022-10-02 16:44:39 UTC (rev 1320677)
+++ PKGBUILD    2022-10-02 16:46:02 UTC (rev 1320678)
@@ -2,7 +2,7 @@
 
 pkgname=stp
 pkgver=2.3.3
-pkgrel=6
+pkgrel=7
 pkgdesc="Simple Theorem Prover"
 arch=('i686' 'x86_64')
 url="https://stp.github.io/";