diff options
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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') |