diff options
| author | Áron Ricardo Perez-Lopez | 2024-02-16 15:40:52 -0800 |
|---|---|---|
| committer | Áron Ricardo Perez-Lopez | 2024-02-16 15:40:52 -0800 |
| commit | 266fde7ed4adec6cf6848ed27a1dd659ffcad375 (patch) | |
| tree | 678271efd4cc6f0808ea1f5bfdef2eb5fb1b4126 | |
| parent | 856e5f35a9cd1c23636c78e512043d10f376cf75 (diff) | |
| download | aur-btor2tools-git.tar.gz | |
Update .SRCINFO
| -rw-r--r-- | .SRCINFO | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,6 +1,6 @@ pkgbase = btor2tools-git pkgdesc = A generic parser and tool package for the BTOR2 format. - pkgver = r79.6ba194b + pkgver = r83.037f1fa pkgrel = 1 url = https://github.com/Boolector/btor2tools arch = x86_64 @@ -9,7 +9,7 @@ pkgbase = btor2tools-git makedepends = cmake depends = gcc-libs provides = btor2tools - source = git://github.com/Boolector/btor2tools.git + source = git+https://github.com/Boolector/btor2tools.git sha256sums = SKIP pkgname = btor2tools-git |