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