| Age | Commit message (Expand) | Author |
|---|---|---|
| 2024-04-03 | upgpkg: lean4-bin 4.7.0-1 | Chocobo1 |
| 2024-03-05 | upgpkg: lean4-bin 4.6.1-1 | Chocobo1 |
| 2024-02-29 | upgpkg: lean4-bin 4.6.0-1 | Chocobo1 |
| 2024-02-01 | upgpkg: lean4-bin 4.5.0-1 | Chocobo1 |
| 2023-12-22 | upgpkg: lean4-bin 4.4.0-1 | Chocobo1 |
| 2023-11-30 | upgpkg: lean4-bin 4.3.0-1 | Chocobo1 |
| 2023-10-31 | upgpkg: lean4-bin 4.2.0-1 | Chocobo1 |
| 2023-09-26 | upgpkg: lean4-bin 4.1.0-1 | Chocobo1 |
| 2023-09-21 | upgpkg: lean4-bin 4.0.0-2 | Chocobo1 |
| 2023-09-08 | upgpkg: lean4-bin 4.0.0-1 | Chocobo1 |
| 2023-04-10 | upgpkg: lean4-bin 4.0.0-m5-2 | Chocobo1 |
| 2022-08-08 | upgpkg: lean4-bin 4.0.0.m5-1 | Chocobo1 |
| 2022-05-06 | upgpkg: lean4-bin 4.0.0-m4-2 | Chocobo1 |
| 2022-03-24 | upgpkg: lean4-bin 4.0.0.m4-1 | Chocobo1 |
| 2022-02-02 | upgpkg: lean4-bin 4.0.0-m3-2 | Chocobo1 |
| 2022-02-01 | upgpkg: lean4-bin 4.0.0-m3-1 | Chocobo1 |
| 2021-08-06 | newpkg: lean4-bin 4.0.0.m2-1 | Chocobo1 |