summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD4
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')