Search Criteria
Package Details: ocaml-menhir 20231231-2
Package Actions
Git Clone URL: | https://aur.archlinux.org/ocaml-menhir.git (read-only, click to copy) |
---|---|
Package Base: | ocaml-menhir |
Description: | Menhir is a LR(1) parser generator for the OCaml. |
Upstream URL: | http://cristal.inria.fr/~fpottier/menhir/ |
Licenses: | GPL-2.0-only AND LGPL-2.0-only WITH OCaml-LGPL-linking-exception |
Submitter: | None |
Maintainer: | soimort (xuanruiqi) |
Last Packager: | xuanruiqi |
Votes: | 11 |
Popularity: | 0.000000 |
First Submitted: | 2012-01-17 20:41 (UTC) |
Last Updated: | 2024-06-10 13:59 (UTC) |
Dependencies (3)
- ocaml
- dune (make)
- ocaml-findlib (make)
Required by (18)
- binsec (make)
- compcert (make)
- compcert-git (make)
- fstar (make)
- fstar-git (make)
- herdtools7-git (make)
- ocaml-atd
- ocaml-atdgen-codec-runtime
- ocaml-atdgen-runtime
- ocaml-fstar (make)
- ocaml-js_of_ocaml
- ocaml-lsp-git
- ocaml-ocamlformat
- ocaml-psmt2-frontend (make)
- ocaml-psmt2-frontend-git (make)
- ocaml-toml (make)
- spark2014 (make)
- spark2014-git (make)
Latest Comments
« First ‹ Previous 1 2 3 Next › Last »
condy commented on 2020-07-04 19:41 (UTC)
Build failure
soimort commented on 2020-05-18 23:35 (UTC)
I'm a bit too busy recently to upgrade my dune and everything.
@TheGoliath I've added you as a co-maintainer. Thanks a lot for the help!
xuanruiqi commented on 2020-05-17 04:04 (UTC)
The problem with dune has been fixed...
condy commented on 2020-04-26 15:25 (UTC)
dune
has released2.3.0-1
soimort commented on 2020-02-06 01:15 (UTC)
The latest release of ocaml-menhir requires dune 2.0+ to build, which is not yet available in the official Arch repository (still version 1.11.4).
xuanruiqi commented on 2019-04-27 03:33 (UTC)
Of course, if you have OCaml installed using OPAM, you must build this in a clean chroot. (Although that way you won't need this unless it's for something special.)
la7low commented on 2016-10-14 16:37 (UTC)
bartbes commented on 2014-02-16 22:15 (UTC)
« First ‹ Previous 1 2 3 Next › Last »