Antonio Rojas pushed to branch main at Arch Linux / Packaging / Packages / stp
Commits:
afdd70a9 by Antonio Rojas at 2023-09-22T09:33:12+02:00
upgpkg: 2.3.3-11: cryptominisat5 → cryptominisat
- - - - -
1 changed file:
- PKGBUILD
Changes:
=====================================
PKGBUILD
=====================================
@@ -2,12 +2,12 @@
pkgname=stp
pkgver=2.3.3
-pkgrel=10
+pkgrel=11
pkgdesc="Simple Theorem Prover"
arch=('x86_64')
url="https://stp.github.io/";
license=('MIT')
-depends=('boost-libs' 'cryptominisat5' 'minisat')
+depends=('boost-libs' 'cryptominisat' 'minisat')
makedepends=('boost' 'cmake' 'help2man' 'ninja' 'python')
source=("https://github.com/$pkgname/$pkgname/archive/$pkgver/$pkgname-$pkgver.tar.gz";
'mandir.patch'
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/stp/-/commit/afdd70a92881ad648351629ebc628d9d05fe4b6b
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/stp/-/commit/afdd70a92881ad648351629ebc628d9d05fe4b6b
You're receiving this email because of your account on gitlab.archlinux.org.
