summarylogtreecommitdiffstats
AgeCommit message (Collapse)Author
2024-01-12ugppkg: lean4-git 4.5.0.rc1.r86.gad068824d0-1Chocobo1
2023-04-10upgpkg: lean4-git 4.0.0.m5.r1552.g9aeae67708-1Chocobo1
2023-04-06upgpkg: lean4-git 4.0.0.m5.r1551.gd694bf2d09-1Chocobo1
2023-03-03upgpkg: lean4-git 4.0.0.m5.r1507.g0da281fab4-1Chocobo1
2021-08-06newpkg: lean4-git r25881.g81400109f3-1Chocobo1