Antonio Rojas pushed to branch main at Arch Linux / Packaging / Packages / stp
Commits:
148fdb6e by Antonio Rojas at 2026-09-22T08:21:25+02:00
upgpkg: 2.3.4-13: cryptominisat 5.16 rebuild
- - - - -
2 changed files:
- .SRCINFO
- PKGBUILD
Changes:
=====================================
.SRCINFO
=====================================
@@ -1,7 +1,7 @@
pkgbase = stp
pkgdesc = Simple Theorem Prover
pkgver = 2.3.4
- pkgrel = 12
+ pkgrel = 13
url = https://stp.github.io/
arch = x86_64
license = MIT
=====================================
PKGBUILD
=====================================
@@ -2,7 +2,7 @@
pkgname=stp
pkgver=2.3.4
-pkgrel=12
+pkgrel=13
pkgdesc="Simple Theorem Prover"
arch=('x86_64')
url="https://stp.github.io/";
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/stp/-/commit/148fdb6e1898a72c5ef00a3cd75daf6c79c11f5d
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/stp/-/commit/148fdb6e1898a72c5ef00a3cd75daf6c79c11f5d
You're receiving this email because of your account on gitlab.archlinux.org.
Manage all notifications: https://gitlab.archlinux.org/-/profile/notifications
| Help: https://gitlab.archlinux.org/help
