Antonio Rojas pushed to branch main at Arch Linux / Packaging / Packages / stp
Commits:
ea36c304 by Antonio Rojas at 2026-03-04T00:08:28+01:00
upgpkg: 2.3.4-7: cryptominisat 5.13 rebuild
- - - - -
2 changed files:
- .SRCINFO
- PKGBUILD
Changes:
=====================================
.SRCINFO
=====================================
@@ -1,7 +1,7 @@
pkgbase = stp
pkgdesc = Simple Theorem Prover
pkgver = 2.3.4
- pkgrel = 6
+ pkgrel = 7
url = https://stp.github.io/
arch = x86_64
license = MIT
=====================================
PKGBUILD
=====================================
@@ -2,7 +2,7 @@
pkgname=stp
pkgver=2.3.4
-pkgrel=6
+pkgrel=7
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/ea36c3044acb41dfda6816b8f3628b08c720d8d5
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/stp/-/commit/ea36c3044acb41dfda6816b8f3628b08c720d8d5
You're receiving this email because of your account on gitlab.archlinux.org.
