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.
