Package Details: ocaml-menhir-compcert 20200211-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=20200211
Submitter: xuanruiqi
Maintainer: xuanruiqi
Last Packager: xuanruiqi
Votes: 0
Popularity: 0.000000
First Submitted: 2019-07-11 06:09
Last Updated: 2020-05-31 18:09

Dependencies (4)

Required by (20)

Sources (1)