Date: Sunday, September 18, 2022 @ 02:54:10 Author: felixonmars Revision: 1304744
upgpkg: stp 2.3.3-6: boost 1.80.0 rebuild Modified: stp/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2022-09-18 02:53:32 UTC (rev 1304743) +++ PKGBUILD 2022-09-18 02:54:10 UTC (rev 1304744) @@ -2,7 +2,7 @@ pkgname=stp pkgver=2.3.3 -pkgrel=5 +pkgrel=6 pkgdesc="Simple Theorem Prover" arch=('i686' 'x86_64') url="https://stp.github.io/"