Search Criteria
Package Details: elan-lean 3.1.1-2
Package Actions
| Git Clone URL: | https://aur.archlinux.org/elan-lean.git (read-only, click to copy) |
|---|---|
| Package Base: | elan-lean |
| Description: | A Lean version manager |
| Upstream URL: | https://github.com/leanprover/elan |
| Licenses: | MIT, Apache |
| Conflicts: | lean-bin, lean-community, lean-git, lean4 |
| Provides: | lean-community, lean4 |
| Submitter: | xuanruiqi |
| Maintainer: | xuanruiqi |
| Last Packager: | xuanruiqi |
| Votes: | 7 |
| Popularity: | 0.36 |
| First Submitted: | 2021-01-30 07:36 (UTC) |
| Last Updated: | 2024-07-31 03:00 (UTC) |
Dependencies (3)
- curl (curl-quiche-gitAUR, curl-http3-ngtcp2AUR, curl-gitAUR, curl-c-aresAUR)
- xz (xz-gitAUR)
- cargo (rustup-gitAUR, rust-nightly-binAUR, rust-gitAUR, rust-beta-binAUR, rustup-stubAUR, rust, rustup) (make)
Required by (2)
- lean-game-maker-git (requires lean-community)
- python-mathlibtools (requires lean-community) (optional)
Latest Comments
« First ‹ Previous 1 2
xuanruiqi commented on 2022-11-13 23:25 (UTC)
Well, that's the expected behavior. You need to install a toolchain and set it to default, and unfortunately there are no binaries for Linux it seems.
If the official script works for you, then you should use it; I just prefer not installing things everywhere in my home directory.
facet commented on 2022-11-08 05:04 (UTC) (edited on 2022-11-08 05:06 (UTC) by facet)
It seems not install a lean as default version, and I get "binary package was not provided for 'linux'" when trying to "elan default stable".
The offical "elan-init" shell script works well.
malet commented on 2022-09-09 19:18 (UTC)
Please update elan to the newest stable release on Github. Changing line 9 in the PKGBUILD to
and line 12 to
suffices to get a working PKGBUILD file for the new version.
« First ‹ Previous 1 2