blob: 641d551a2d439d23e5fb130d829f86b2533e9703 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
# 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
pkgrel = 1
url = https://www.lrde.epita.fr/wiki/Havm
arch = x86_64
arch = i686
license = GPL3
makedepends = git
makedepends = ghc
depends = libffi
depends = gmp
provides = havm
conflicts = havm
source = git+https://gitlab.lrde.epita.fr/tiger/havm.git
md5sums = SKIP
pkgname = havm-git
|