diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -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 |