| Age | Commit message | Author |
|---|---|---|
| 2024-01-13 | Release 3.13.1 | Xuanrui Qi |
| 2023-08-08 | Release 3.13 | Xuanrui Qi |
| 2022-12-17 | Release 3.12 | Xuanrui Qi |
| 2022-11-02 | Release 3.11 | Xuanrui Qi |
| 2021-12-01 | Release 3.10 | Xuanrui Qi |
| 2021-06-27 | Release 3.9 | Xuanrui Qi |
| 2020-12-11 | Release 3.8 | Xuanrui Qi |
| 2020-05-09 | New version v3.7 | Xuanrui Qi |
| 2019-09-18 | Fix conflict | Xuanrui Qi |
| 2019-09-18 | Release 3.6 | Xuanrui Qi |
| [...] | ||
| Clone | ||
| https://aur.archlinux.org/compcert.git/ | ||