blob: dc14d0adb28fa8ce71e235e498bb1e67c0ce2279 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
pkgbase = havm-epita
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-epita
|