Package Details: ocaml-menhir-compcert 20210419-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, custom:QPL
Conflicts: ocaml-menhir
Provides: ocaml-menhir
Submitter: xuanruiqi
Maintainer: xuanruiqi
Last Packager: xuanruiqi
Votes: 0
Popularity: 0.000000
First Submitted: 2019-07-11 06:09 (UTC)
Last Updated: 2021-10-05 01:54 (UTC)

Dependencies (2)

Required by (18)

Sources (1)