| Age | Commit message (Expand) | 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 |
| 2019-06-06 | Bump pkgrel | Xuanrui Qi |
| 2019-06-06 | Ignore Coq version due to outdated version requirements | Xuanrui Qi |
| 2019-05-28 | Added tests | Xuanrui Qi |
| 2019-04-27 | Forgot to change .SRCINFO | Xuanrui Qi |
| 2019-04-27 | Fix small bugs | Xuanrui Qi |
| 2019-04-27 | Initial commit | Xuanrui Qi |