[arch-commits] Commit in stp/trunk (PKGBUILD)
Felix Yan
felixonmars at archlinux.org
Tue Jun 8 17:44:33 UTC 2021
Date: Tuesday, June 8, 2021 @ 17:44:33
Author: felixonmars
Revision: 959782
upgpkg: stp 2.3.3-2: boost 1.76.0 rebuild
Modified:
stp/trunk/PKGBUILD
----------+
PKGBUILD | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2021-06-08 17:44:01 UTC (rev 959781)
+++ PKGBUILD 2021-06-08 17:44:33 UTC (rev 959782)
@@ -2,7 +2,7 @@
pkgname=stp
pkgver=2.3.3
-pkgrel=1
+pkgrel=2
pkgdesc="Simple Theorem Prover"
arch=('i686' 'x86_64')
url="https://stp.github.io/"
More information about the arch-commits
mailing list