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