Search Criteria
Package Details: lean 4.14.0-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/lean.git (read-only, click to copy) |
|---|---|
| Package Base: | lean |
| Description: | Lean 4 programming language and theorem prover |
| Upstream URL: | https://github.com/leanprover/lean4 |
| Keywords: | formal-methods proof-assistant theorem-prover |
| Licenses: | Apache |
| Submitter: | daskol |
| Maintainer: | daskol |
| Last Packager: | daskol |
| Votes: | 1 |
| Popularity: | 0.83 |
| First Submitted: | 2024-11-07 20:23 (UTC) |
| Last Updated: | 2024-12-25 13:13 (UTC) |
Dependencies (5)
- gmp (gmp-hgAUR)
- libuv (libuv-gitAUR)
- llvm-libs (llvm-libs-rocm-gitAUR, llvm-libs-gitAUR)
- ccache (ccache-gitAUR) (make)
- cmake (cmake-gitAUR) (make)
Latest Comments
daskol commented on 2024-11-30 17:56 (UTC)
@xnuk Fixed.
xnuk commented on 2024-11-30 16:27 (UTC)
Please add
ccacheto dependencies. I have to dopacman -S ccacheto install this package.