Package Details: ocaml-menhir-compcert 20181113-2

Git Clone URL: https://aur.archlinux.org/ocaml-menhir-compcert.git (read-only)
Package Base: ocaml-menhir-compcert
Description: Latest version of Menhir that can build the latest CompCert release.
Upstream URL: http://cristal.inria.fr/~fpottier/menhir/
Licenses: GPL, QPL
Conflicts: ocaml-menhir
Provides: ocaml-menhir=20181113
Submitter: xuanruiqi
Maintainer: xuanruiqi
Last Packager: xuanruiqi
Votes: 0
Popularity: 0.000000
First Submitted: 2019-07-11 06:09
Last Updated: 2019-07-11 06:16

Dependencies (3)

Required by (14)

Sources (1)