blob: 1c45da305cb8302b2ad7cef3d03221fe5ec0161b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
pkgbase = havm-git
pkgdesc = HAVM is a Tree intermediate language interpreter.
pkgver = 0.28
pkgrel = 1
url = https://www.lrde.epita.fr/wiki/Havm
arch = x86_64
arch = i686
license = GPL3
makedepends = git
makedepends = ghc
makedepends = ghc-static
depends = libffi
depends = gmp
provides = havm
conflicts = havm
source = git+https://gitlab.lrde.epita.fr/tiger/havm.git
md5sums = SKIP
pkgname = havm-git
|