1 files changed, 5 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index c3b344823936..0cc8459b0ec4 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,9 @@
 # Generated by makepkg 4.2.1
-# Sun May  3 01:04:59 UTC 2015
+# Thu May 21 23:06:27 UTC 2015
 pkgbase = havm-git
 	pkgdesc = HAVM is a Tree intermediate language interpreter.
 	pkgver = 0.26.7.gb493ecf
-	pkgrel = 1
+	pkgrel = 3
 	url = https://www.lrde.epita.fr/wiki/Havm
 	arch = x86_64
 	arch = i686
@@ -12,7 +12,9 @@ pkgbase = havm-git
 	makedepends = ghc
 	depends = libffi
 	depends = gmp
-	source = git://git.lrde.epita.fr/havm
+	provides = havm
+	conflicts = havm
+	source = git+https://gitlab.lrde.epita.fr/tiger/havm.git
 	source = 001-fix_ghc_7.10.patch
 	md5sums = SKIP
 	md5sums = 0827bcd8df2d8941120cf7a46ffb48ab