Jelle van der Waa pushed to branch main at Arch Linux / Packaging / Packages /
stp
Commits:
eb5cc73a by Jelle van der Waa at 2024-11-18T18:03:11+01:00
upgpkg: 2.3.4-2: Rebuild for Python 3.13
- - - - -
2 changed files:
- .SRCINFO
- PKGBUILD
Changes:
=====================================
.SRCINFO
=====================================
@@ -1,7 +1,7 @@
pkgbase = stp
pkgdesc = Simple Theorem Prover
pkgver = 2.3.4
- pkgrel = 1
+ pkgrel = 2
url = https://stp.github.io/
arch = x86_64
license = MIT
=====================================
PKGBUILD
=====================================
@@ -2,7 +2,7 @@
pkgname=stp
pkgver=2.3.4
-pkgrel=1
+pkgrel=2
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/eb5cc73a6d1d926b4d08f2020a00bb9eba423220
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/stp/-/commit/eb5cc73a6d1d926b4d08f2020a00bb9eba423220
You're receiving this email because of your account on gitlab.archlinux.org.
