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 | |
parent | 4b155cd309c83ba4d6d0f786089c0ae0b383096d (diff) | |
download | aur-856e5f35a9cd1c23636c78e512043d10f376cf75.tar.gz |
Update git protocol
-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() { |