diff options
| author | Neferin | 2024-06-22 10:24:54 +0000 |
|---|---|---|
| committer | Neferin | 2024-06-22 10:24:54 +0000 |
| commit | d0edc18cb9b71e16ef178095d9f2c728c4bb11cd (patch) | |
| tree | f1ff60905b0ce11e829be19bde5c3481614e5672 | |
| parent | b62f9d8a90cdb0c96a87e15c9c04cc01f6decfc0 (diff) | |
| download | aur-d0edc18cb9b71e16ef178095d9f2c728c4bb11cd.tar.gz | |
Update package
| -rw-r--r-- | .SRCINFO | 4 | ||||
| -rw-r--r-- | PKGBUILD | 4 |
2 files changed, 4 insertions, 4 deletions
@@ -1,7 +1,7 @@ pkgbase = cvc5 pkgdesc = An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems pkgver = 1.1.2 - pkgrel = 1 + pkgrel = 2 url = https://github.com/cvc5/cvc5 arch = x86_64 license = BSD3 @@ -16,7 +16,7 @@ pkgbase = cvc5 makedepends = cython makedepends = java-environment depends = gmp - depends = cadical-pic + depends = cadical depends = libpoly-git depends = symfpu-cvc5 depends = libedit @@ -1,12 +1,12 @@ # Maintainer: Julian Pollinger <julian@pollinger.dev> pkgname=cvc5 pkgver=1.1.2 -pkgrel=1 +pkgrel=2 pkgdesc="An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems" arch=(x86_64) url="https://github.com/cvc5/cvc5" license=('BSD3') -depends=('gmp' 'cadical-pic' 'libpoly-git' 'symfpu-cvc5' 'libedit' 'libbsd') +depends=('gmp' 'cadical' 'libpoly-git' 'symfpu-cvc5' 'libedit' 'libbsd') optdepends=('python-cvc5: Python bindings for cvc5') makedepends=('bash' 'gcc' 'cmake' 'python3' 'python-tomli' 'python-pyparsing' 'python-scikit-build' 'cython' 'java-environment') checkdepends=('cmake') |