summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorKevin Houdebert2015-05-22 01:09:28 +0200
committerKevin Houdebert2015-05-22 01:09:28 +0200
commit1deaa1500ab21cad588e2f6e34790d3b4f180ca6 (patch)
tree402d67babbdf762658d7c3b983751d52786966b7
parent848c560804dac2d8101e5d15679a88b7bc1b8fa6 (diff)
downloadaur-1deaa1500ab21cad588e2f6e34790d3b4f180ca6.tar.gz
Update SRCINFO
-rw-r--r--.SRCINFO8
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