Package Details: ocaml-menhir-compcert 20210419-1

Git Clone URL: (read-only, click to copy)
Package Base: ocaml-menhir-compcert
Description: Latest version of Menhir that can build the latest CompCert release.
Upstream URL:
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 (19)

Sources (1)