| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-06-03 | Update to 3.51.1 | Padraic Fanning |
| 2023-06-03 | Update to 3.51.0 | Padraic Fanning |
| 2023-06-03 | Compile with g++12 | Padraic Fanning |
| 2022-12-26 | Update to 3.50.3 | Padraic Fanning |
| 2022-12-23 | Update to 3.50.2 | Padraic Fanning |
| 2022-12-22 | Update to 3.50.1 | Padraic Fanning |
| 2022-12-16 | Update to 3.50.0 | Padraic Fanning |
| 2022-11-22 | Update to 3.49.1 | Padraic Fanning |
| 2022-11-12 | Update to 3.49.0 | Padraic Fanning |
| 2022-08-30 | Update to 3.48.0 | Padraic Fanning |
| 2022-08-26 | Update to 3.47.0 | Padraic Fanning |
| 2022-08-08 | Update to 3.46.0 | Padraic Fanning |
| 2022-07-13 | Update to 3.45.0 | Padraic Fanning |
| 2022-06-27 | Update to 3.44.1 | Padraic Fanning |
| 2022-06-24 | Update to 3.0.1 (1) | Padraic Fanning |
| 2022-05-18 | Update to 3.43.0 | Padraic Fanning |
| 2022-03-24 | Update to 3.42.1 | Padraic Fanning |
| 2022-03-18 | Update to 3.42.0 | Padraic Fanning |
| 2022-03-11 | Update to 3.41.0 | Padraic Fanning |
| 2022-02-22 | Update to 3.40.0 | Padraic Fanning |
| 2022-02-17 | Update to 3.39.2 | Padraic Fanning |
| 2022-02-08 | Update to 3.39.1 | Padraic Fanning |
| 2022-02-03 | Update to 3.39.0 | Padraic Fanning |
| 2022-01-11 | Update to 3.38.0 | Padraic Fanning |
| 2022-01-07 | Update to 3.37.0 | Padraic Fanning |
| 2022-01-04 | Update to 3.36.0 | Padraic Fanning |
| 2021-11-08 | Update to 3.35.1 | Padraic Fanning |
| 2021-10-28 | Update to 3.35.0 | Padraic Fanning |
| 2021-10-20 | Update to 3.34.0 | Padraic Fanning |
| 2021-09-13 | Update to 3.33.0 | Padraic Fanning |
| 2021-08-12 | Update to v3.32.1 | Padraic Fanning |
| 2021-08-10 | Update to v3.32.0 | Padraic Fanning |
| 2021-07-03 | Update to v3.31.0 | Padraic Fanning |
| 2021-03-20 | Update from GitHub Actions: lean-community: update to 3.28.0-1 | Yufan You |
| 2021-02-27 | Update from GitHub Actions: lean-community: update to 3.27.0-1 | Yufan You |
| 2021-01-28 | Update from GitHub Actions: lean-community: update to 3.26.0 | Yufan You |
| 2021-01-22 | Update from GitHub Actions: lean-community: update to 3.25.0 | Yufan You |
| 2021-01-09 | Update from GitHub Actions: lean-community: update to 3.24.0 | Yufan You |
| 2020-10-31 | Update from GitHub Actions: lean-community: update to 3.23.0 | Yufan You |
| 2020-10-17 | Update from GitHub Actions: lean-community: update to 3.21.0 | Yufan You |
| 2020-09-10 | Fix checksums | Yufan You |
| 2020-09-10 | Fix checksums | Yufan You |
| 2020-09-10 | Update to v3.20.0 | Yufan You |
| 2020-09-05 | Add python-mathlibtools as an optdepend | Yufan You |
| 2020-09-05 | fix: fix cd paths | Yufan You |
| 2020-09-05 | fix: fix cd paths | Yufan You |
| 2020-09-05 | Initial commit | Yufan You |