summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD2
2 files changed, 2 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 635a401a806d..2447bd3c32a0 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index e0ab7e8639d3..7c474e7d60d0 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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() {