Update git url

1 files changed, 2 insertions, 2 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 4427bbc30e57..92f8b27f5868 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,14 +3,14 @@
 _pkgname=havm
 pkgname=${_pkgname}-git
 pkgver=0.26.7.gb493ecf
-pkgrel=1
+pkgrel=2
 pkgdesc='HAVM is a Tree intermediate language interpreter.'
 url='https://www.lrde.epita.fr/wiki/Havm'
 arch=('x86_64' 'i686')
 license=('GPL3')
 makedepends=('git' 'ghc')
 depends=('libffi' 'gmp')
-source=("git://git.lrde.epita.fr/$_pkgname"
+source=("git+https://gitlab.lrde.epita.fr/tiger/$_pkgname.git"
         '001-fix_ghc_7.10.patch')
 md5sums=('SKIP'
          '0827bcd8df2d8941120cf7a46ffb48ab')