diff options
-rw-r--r-- | .SRCINFO | 5 | ||||
-rw-r--r-- | PKGBUILD | 7 |
2 files changed, 6 insertions, 6 deletions
@@ -1,8 +1,6 @@ -# Generated by mksrcinfo v8 -# Wed Feb 3 09:52:04 UTC 2016 pkgbase = havm-git pkgdesc = HAVM is a Tree intermediate language interpreter. - pkgver = 0.27 + pkgver = 0.28 pkgrel = 1 url = https://www.lrde.epita.fr/wiki/Havm arch = x86_64 @@ -10,6 +8,7 @@ pkgbase = havm-git license = GPL3 makedepends = git makedepends = ghc + makedepends = ghc-static depends = libffi depends = gmp provides = havm @@ -1,14 +1,15 @@ -# Maintainer: Kevin Houdebert <kevin@qwazerty.eu> +# Maintainer: Laurent Zhu <laurent.zhu@epita.fr> +# Contributor: Kevin Houdebert <kevin@qwazerty.eu> _pkgname=havm pkgname=${_pkgname}-git -pkgver=0.27 +pkgver=0.28 pkgrel=1 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') +makedepends=('git' 'ghc' 'ghc-static') depends=('libffi' 'gmp') provides=("$_pkgname") conflicts=("$_pkgname") |