| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2025-06-29 | Version 4.1.2 | Xuanrui Qi | |
| 2025-04-25 | Version 4.0.1 | Xuanrui Qi | |
| 2025-03-21 | Version 4.0.0 | Xuanrui Qi | |
| 2024-07-31 | Fix a building bug | Xuanrui Qi | |
| 2024-06-10 | Version 3.1.1, also add lean4 to provides | Xuanrui Qi | |
| 2024-02-29 | Version 3.1.0 | Xuanrui Qi | |
| 2023-10-20 | Version 3.0.0 | Xuanrui Qi | |
| 2023-08-08 | Version 2.0.1 | Xuanrui Qi | |
| 2023-08-08 | Added lake to binlinks | Xuanrui Qi | |
| 2023-05-30 | Version 1.4.5 | Xuanrui Qi | |
| 2022-10-15 | Version 1.4.2 | Xuanrui Qi | |
| 2022-09-10 | Version 1.4.1, and updated source to official | Xuanrui Qi | |
| 2021-11-11 | Version 1.3.1 | Xuanrui Qi | |
| 2021-10-30 | Version 1.2.0 | Xuanrui Qi | |
| 2021-06-28 | Version 1.0.6 | Xuanrui Qi | |
| 2021-04-09 | Release 0.11.0 | Xuanrui Qi | |
| 2021-02-22 | Update package description | Xuanrui Qi | |
| 2021-01-30 | Add leanchecker binlink | Xuanrui Qi | |
| 2021-01-30 | Initial commit | Xuanrui Qi | |