blob: 3bcd57aad5cd5d1cf5e7e0c960ef60384b9d61c8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
pkgbase = ocaml-menhir-compcert
pkgdesc = Latest version of Menhir that can build the latest CompCert release.
pkgver = 20190924
pkgrel = 1
url = http://cristal.inria.fr/~fpottier/menhir/
arch = i686
arch = x86_64
license = GPL
license = QPL
makedepends = ocamlbuild
makedepends = ocaml-findlib
depends = ocaml>=4.02
provides = ocaml-menhir=20190924
conflicts = ocaml-menhir
options = !strip
options = !makeflags
source = https://gitlab.inria.fr/fpottier/menhir/-/archive/20190924/menhir-20190924.tar.gz
md5sums = 69b2cbcfb12ca0ca09ad0096c8716265
pkgname = ocaml-menhir-compcert
|