Package Details: ocaml-menhir-compcert 20190924-1

Git Clone URL: https://aur.archlinux.org/ocaml-menhir-compcert.git (read-only, click to copy)
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=20190924
Submitter: xuanruiqi
Maintainer: xuanruiqi
Last Packager: xuanruiqi
Votes: 0
Popularity: 0.000000
First Submitted: 2019-07-11 06:09
Last Updated: 2019-10-15 08:16

Dependencies (3)

Required by (18)

Sources (1)