summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--PKGBUILD4
1 files changed, 3 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 92f8b27f5868..cfa5930d2e7c 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,13 +3,15 @@
_pkgname=havm
pkgname=${_pkgname}-git
pkgver=0.26.7.gb493ecf
-pkgrel=2
+pkgrel=3
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')
+provides=("$_pkgname")
+conflicts=("$_pkgname")
source=("git+https://gitlab.lrde.epita.fr/tiger/$_pkgname.git"
'001-fix_ghc_7.10.patch')
md5sums=('SKIP'