summarylogtreecommitdiffstats
AgeCommit message (Collapse)Author
2021-10-28Update to 3.35.0Padraic Fanning
2021-10-20Update to 3.34.0Padraic Fanning
2021-09-13Update to 3.33.0Padraic Fanning
2021-08-12Update to v3.32.1Padraic Fanning
2021-08-10Update to v3.32.0Padraic Fanning
2021-07-03Update to v3.31.0Padraic Fanning
2021-03-20Update from GitHub Actions: lean-community: update to 3.28.0-1Yufan You
https://github.com/ouuan/AUR-packages/actions/runs/670828669
2021-02-27Update from GitHub Actions: lean-community: update to 3.27.0-1Yufan You
https://github.com/ouuan/AUR-packages/actions/runs/605347548
2021-01-28Update from GitHub Actions: lean-community: update to 3.26.0Yufan You
https://github.com/ouuan/AUR-packages/actions/runs/518073750
2021-01-22Update from GitHub Actions: lean-community: update to 3.25.0Yufan You
https://github.com/ouuan/AUR-packages/actions/runs/502946656
2021-01-09Update from GitHub Actions: lean-community: update to 3.24.0Yufan You
https://github.com/ouuan/AUR-packages/actions/runs/473839601
2020-10-31Update from GitHub Actions: lean-community: update to 3.23.0Yufan You
https://github.com/ouuan/AUR-packages/actions/runs/339120025
2020-10-17Update from GitHub Actions: lean-community: update to 3.21.0Yufan You
https://github.com/ouuan/AUR-packages/actions/runs/312336710
2020-09-10Update from GitHub Actions: python-mathlibtools: Update the source URLYufan You
https://github.com/ouuan/AUR-packages/actions/runs/248040453
2020-09-10Fix checksumsYufan You
2020-09-10Fix checksumsYufan You
2020-09-10Update to v3.20.0Yufan You
2020-09-05Add python-mathlibtools as an optdependYufan You
2020-09-05fix: fix cd pathsYufan You
2020-09-05fix: fix cd pathsYufan You
2020-09-05Initial commitYufan You