diff options
| author | Neferin | 2024-01-28 13:51:49 +0000 |
|---|---|---|
| committer | Neferin | 2024-01-28 13:51:49 +0000 |
| commit | 92ae76c3234d5e4206732103f44c79c5f46739cc (patch) | |
| tree | 2ee2c0b10a64a2ff450b0c8b232fcf4e25c56cd8 | |
| parent | 476cfe6cdd6f121a30f7b9ce2ece78af50a7a5f1 (diff) | |
| download | aur-92ae76c3234d5e4206732103f44c79c5f46739cc.tar.gz | |
Update package
| -rw-r--r-- | .SRCINFO | 8 | ||||
| -rw-r--r-- | PKGBUILD | 4 |
2 files changed, 6 insertions, 6 deletions
@@ -1,6 +1,6 @@ pkgbase = cvc5 pkgdesc = An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems - pkgver = 1.1.0 + pkgver = 1.1.1 pkgrel = 1 url = https://github.com/cvc5/cvc5 arch = x86_64 @@ -22,10 +22,10 @@ pkgbase = cvc5 depends = libedit depends = libbsd optdepends = python-cvc5: Python bindings for cvc5 - provides = cvc5=1.1.0 + provides = cvc5=1.1.1 conflicts = cvc5-bin conflicts = cvc5-bestperformance - source = https://github.com/cvc5/cvc5/archive/refs/tags/cvc5-1.1.0.tar.gz - sha256sums = 701a1a6b35b5f06d8f0d812ab97896c8e69c2d48076c0dae8e27a9fa0dbc5829 + source = https://github.com/cvc5/cvc5/archive/refs/tags/cvc5-1.1.1.tar.gz + sha256sums = 4747502675a778d4bf5ae9590adff0c3a8258b1198098cc39ac537b0cc7802cd pkgname = cvc5 @@ -1,6 +1,6 @@ # Maintainer: Julian Pollinger <julian@pollinger.dev> pkgname=cvc5 -pkgver=1.1.0 +pkgver=1.1.1 pkgrel=1 pkgdesc="An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems" arch=(x86_64) @@ -11,7 +11,7 @@ optdepends=('python-cvc5: Python bindings for cvc5') makedepends=('bash' 'gcc' 'cmake' 'python3' 'python-tomli' 'python-pyparsing' 'python-scikit-build' 'cython' 'java-environment') checkdepends=('cmake') source=("$url/archive/refs/tags/cvc5-$pkgver.tar.gz") -sha256sums=('701a1a6b35b5f06d8f0d812ab97896c8e69c2d48076c0dae8e27a9fa0dbc5829') +sha256sums=('4747502675a778d4bf5ae9590adff0c3a8258b1198098cc39ac537b0cc7802cd') provides=("cvc5=$pkgver") conflicts=('cvc5-bin' 'cvc5-bestperformance') |