diff options
| author | Deian Stefan | 2020-01-11 18:41:54 -0800 |
|---|---|---|
| committer | Deian Stefan | 2020-01-11 18:41:54 -0800 |
| commit | 61be032b05253279dcc9c210ec1caa0d932e4d30 (patch) | |
| tree | 4e54f358c1cfde7b8d5fac90ebb6935528d4aaf0 /PKGBUILD | |
| parent | b099b645321ed076ede4f45a23b08b745cc2e958 (diff) | |
| download | aur-61be032b05253279dcc9c210ec1caa0d932e4d30.tar.gz | |
update to latest version
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,7 +2,7 @@ _pkgname=boolector pkgname=boolector-git -pkgver=r9913.0b4b8540 +pkgver=r10213.b9d1bef7 pkgrel=1 pkgdesc="A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions" arch=('any') |