diff options
| author | Áron Ricardo Perez-Lopez | 2024-02-16 15:37:15 -0800 |
|---|---|---|
| committer | Áron Ricardo Perez-Lopez | 2024-02-16 15:37:15 -0800 |
| commit | 856e5f35a9cd1c23636c78e512043d10f376cf75 (patch) | |
| tree | 6ff54d0e24d55f6d6632f71cb819f22be5d4c5af /PKGBUILD | |
| parent | 4b155cd309c83ba4d6d0f786089c0ae0b383096d (diff) | |
| download | aur-856e5f35a9cd1c23636c78e512043d10f376cf75.tar.gz | |
Update git protocol
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -1,8 +1,9 @@ -# Maintainer: Deian Stefan +# Maintainer: Áron Ricardo Perez-Lopez <perez.aron@gmail.com> +# Contributor: Deian Stefan _pkgname=btor2tools pkgname=btor2tools-git -pkgver=r79.6ba194b +pkgver=r83.037f1fa pkgrel=1 pkgdesc="A generic parser and tool package for the BTOR2 format." arch=('x86_64') @@ -11,7 +12,7 @@ license=('MIT') depends=('gcc-libs') makedepends=('git' 'cmake') provides=("$_pkgname") -source=("git://github.com/Boolector/btor2tools.git") +source=("git+https://github.com/Boolector/btor2tools.git") sha256sums=('SKIP') pkgver() { |