diff options
author | Gereon Kremer | 2017-05-18 18:37:42 +0200 |
---|---|---|
committer | Gereon Kremer | 2017-05-18 18:37:42 +0200 |
commit | 91e88b522a08a89108217a407e2ca457071e67db (patch) | |
tree | e3cc413d4a4d073799bf04fee07419ae538afc67 | |
parent | fd042e6c55e57fbc9b1ee072ec21f4f957b0b875 (diff) | |
download | aur-91e88b522a08a89108217a407e2ca457071e67db.tar.gz |
Trying to fix tag definition in source.
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -11,7 +11,7 @@ pkgbase = carl depends = gmp>=5.1 depends = eigen>=3.2 depends = boost>=1.55 - source = carl::git+https://github.com/smtrat/carl.git#17.04 + source = carl::git+https://github.com/smtrat/carl.git#tag=17.04 md5sums = SKIP pkgname = carl @@ -12,7 +12,7 @@ makedepends=("make" "cmake>=3.0") conflicts=() replaces=() backup=() -source=("$pkgname::git+https://github.com/smtrat/carl.git#17.04") +source=("$pkgname::git+https://github.com/smtrat/carl.git#tag=17.04") md5sums=('SKIP') prepare() { |