Trying to fix tag definition in source.

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