diff options
-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() { |