Antonio Rojas pushed to branch main at Arch Linux / Packaging / Packages / cvc4
Commits: 062d1061 by Antonio Rojas at 2023-09-01T18:57:34+02:00 upgpkg: 1.8-3 - - - - - 1 changed file: - PKGBUILD Changes: ===================================== PKGBUILD ===================================== @@ -4,7 +4,7 @@ pkgname=cvc4 _pkgname=cvc5 pkgver=1.8 -pkgrel=2 +pkgrel=3 pkgdesc="An automatic theorem prover" arch=('x86_64') url="https://cvc5.github.io/" View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/cvc4/-/commit/062d1061e2d7d1d389be1d41c0caa1d312bc7bf3 -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/cvc4/-/commit/062d1061e2d7d1d389be1d41c0caa1d312bc7bf3 You're receiving this email because of your account on gitlab.archlinux.org.