Arch Linux User Repository
Home
Packages
Forums
Wiki
GitLab
Security
AUR
Download
AUR : lean4-bin.git
AUR Package Repositories | click
here
to return to the package base details page
summary
log
tree
commit
diff
stats
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
2026-04-15
upgpkg: lean4-bin 4.29.1-1
Chocobo1
2026-03-27
upgpkg: lean4-bin 4.29.0-1
Chocobo1
2026-02-16
upgpkg: lean4-bin 4.28.0-1
Chocobo1
2026-01-23
upgpkg: lean4-bin 4.27.0-1
Chocobo1
2025-12-13
upgpkg: lean4-bin 4.26.0-1
Chocobo1
2025-11-26
upgpkg: lean4-bin 4.25.2-2
Chocobo1
2025-11-25
upgpkg: lean4-bin 4.25.2-1
Chocobo1
2025-11-18
upgpkg: lean4-bin 4.25.1-2
Chocobo1
2025-11-18
upgpkg: lean4-bin 4.25.1-1
Chocobo1
2025-11-14
upgpkg: lean4-bin 4.25.0-2
Chocobo1
2025-11-14
upgpkg: lean4-bin 4.25.0-1
Chocobo1
2025-10-14
upgpkg: lean4-bin 4.24.0-1
Chocobo1
2025-09-14
upgpkg: lean4-bin 4.23.0-1
Chocobo1
2025-08-14
upgpkg: lean4-bin 4.22.0-1
Chocobo1
2025-06-30
upgpkg: lean4-bin 4.21.0-1
Chocobo1
2025-06-02
upgpkg: lean4-bin 4.20.0-1
Chocobo1
2025-05-01
upgpkg: lean4-bin 4.19.0-1
Chocobo1
2025-04-01
upgpkg: lean4-bin 4.18.0-1
Chocobo1
2025-03-03
upgpkg: lean4-bin 4.17.0-1
Chocobo1
2025-02-03
upgpkg: lean4-bin 4.16.0-1
Chocobo1
2025-01-04
upgpkg: lean4-bin 4.15.0-1
Chocobo1
2024-12-02
upgpkg: lean4-bin 4.14.0-1
Chocobo1
2024-11-01
upgpkg: lean4-bin 4.13.0-1
Chocobo1
2024-10-01
upgpkg: lean4-bin 4.12.0-1
Chocobo1
2024-09-02
upgpkg: lean4-bin 4.11.0-1
Chocobo1
2024-07-31
upgpkg: lean4-bin 4.10.0-1
Chocobo1
2024-07-11
upgpkg: lean4-bin 4.9.1-1
Chocobo1
2024-07-01
upgpkg: lean4-bin 4.9.0-1
Chocobo1
2024-06-05
upgpkg: lean4-bin 4.8.0-1
Chocobo1
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