[arch-commits] Commit in stp/trunk (PKGBUILD)
Felix Yan
felixonmars at gemini.archlinux.org
Mon Jun 13 10:54:35 UTC 2022
Date: Monday, June 13, 2022 @ 10:54:35
Author: felixonmars
Revision: 1237448
upgpkg: stp 2.3.3-5: boost 1.79.0 rebuild
Modified:
stp/trunk/PKGBUILD
----------+
PKGBUILD | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2022-06-13 10:53:57 UTC (rev 1237447)
+++ PKGBUILD 2022-06-13 10:54:35 UTC (rev 1237448)
@@ -2,7 +2,7 @@
pkgname=stp
pkgver=2.3.3
-pkgrel=4
+pkgrel=5
pkgdesc="Simple Theorem Prover"
arch=('i686' 'x86_64')
url="https://stp.github.io/"
More information about the arch-commits
mailing list