| Age | Commit message | Author |
|---|---|---|
| 2021-10-05 | Ver 20210419 | Xuanrui Qi |
| 2020-06-01 | Updated to 20200211 | Xuanrui Qi |
| 2019-10-15 | Update version of menhir | Xuanrui Qi |
| 2019-09-18 | Latest menhir required for CompCert is now 20190626 | Xuanrui Qi |
| 2019-07-10 | Fix dir name | Xuanrui Qi |
| 2019-07-10 | Initial commit | Xuanrui Qi |
| Clone | ||
| https://aur.archlinux.org/ocaml-menhir-compcert.git/ | ||