blob: 2a04792d4b5fd5c39882117de326956efb36e2e0 (
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 = 20190626
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=20190626
conflicts = ocaml-menhir
options = !strip
options = !makeflags
source = https://gitlab.inria.fr/fpottier/menhir/-/archive/20190626/menhir-20190626.tar.gz
md5sums = 097afbd686172e15bef0ccb938b9c634
pkgname = ocaml-menhir-compcert
|