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.