diff options
author | Timo Sarawinski | 2018-09-01 00:52:17 +0200 |
---|---|---|
committer | Timo Sarawinski | 2018-09-01 00:52:17 +0200 |
commit | a6c99ccdf9b0af3db0b913b5ff231cbfb100537e (patch) | |
tree | 9be7970e4a58e5cfab32fbbd7176cd1bf4bdd630 /PKGBUILD | |
parent | 0f132b6fafc7f576286003e2257a46b100a0a291 (diff) | |
download | aur-a6c99ccdf9b0af3db0b913b5ff231cbfb100537e.tar.gz |
fix git tag
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -13,7 +13,7 @@ makedepends=('git') depends=('gmp') license=('MIT') conflicts=('isl-git' 'isl' 'isl14' 'isl15' 'isl16' 'isl17') -source=("isl::git+http://repo.or.cz/isl.git") +source=("isl::git+http://repo.or.cz/isl.git#tag=isl-0.19") sha256sums=('SKIP') build() { |