Age | Commit message (Collapse) | Author | |
---|---|---|---|
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 | |