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
<deleted-account> commented on 2011-11-01 11:39 (UTC)
<deleted-account> commented on 2011-10-07 17:23 (UTC)
npouillard commented on 2011-01-10 13:42 (UTC)
guital commented on 2011-01-09 18:51 (UTC)
npouillard commented on 2011-01-04 10:58 (UTC)
npouillard commented on 2011-01-04 10:58 (UTC)
npouillard commented on 2011-01-04 10:58 (UTC)
SerP commented on 2010-12-22 14:09 (UTC)
« First ‹ Previous 1 2 3