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
5 days
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