Port details |
- elan Lean version manager
- 4.0.1_1 math
=2 3.1.1_9Version of this port present on the latest quarterly branch. - Maintainer: yuri@FreeBSD.org
 - Port Added: 2024-01-15 10:39:06
- Last Update: 2025-06-05 07:52:53
- Commit Hash: 3ed29b8
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py311-PyOpenGL, p5-Sane
- License: APACHE20
- WWW:
- https://github.com/leanprover/elan
- Description:
- elan is a small tool for managing your installations of the Lean theorem prover.
It places `lean` and `lake` binaries in your `PATH` that automatically select
and, if necessary, download the Lean version described in your project's
lean-toolchain file.
You can also install, select, run, and uninstall Lean versions manually using
the commands of the `elan` executable.
¦ ¦ ¦ ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/math/elan/ && make install clean
- To add the package, run one of these commands:
- pkg install math/elan
- pkg install elan
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: elan
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1745194470
SHA256 (rust/crates/addr2line-0.24.2.crate) = dfbe277e56a376000877090da837660b4427aad530e3028d44e0bffe4f89a1c1
SIZE (rust/crates/addr2line-0.24.2.crate) = 39015
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- gmake : devel/gmake
- rust>=1.87.0 : lang/rust
- pkgconf>=1.3.0_1 : devel/pkgconf
- perl5>=5.40.r<5.41 : lang/perl5.40
- Library dependencies:
-
- libcurl.so : ftp/curl
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- math_elan
- USES:
- cargo perl5
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
4.0.1_1 05 Jun 2025 07:52:53
    |
Mikael Urankar (mikael)  |
lang/rust: Bump revisions after 1.87.0
PR: 286829 |
4.0.1 21 Apr 2025 01:44:19
    |
Yuri Victorovich (yuri)  |
math/elan: update 3.1.1 → 4.0.1
Reported by: portscout |
3.1.1_10 08 Apr 2025 08:41:13
    |
Mikael Urankar (mikael)  |
lang/rust: Bump revisions after 1.86.0
PR: 285840 |
3.1.1_9 24 Feb 2025 07:55:52
    |
Mikael Urankar (mikael)  |
lang/rust: Bump revisions after 1.85.0
PR: 284884 |
3.1.1_8 20 Jan 2025 11:06:50
    |
Mikael Urankar (mikael)  |
lang/rust: Bump revisions after 1.84.0
PR: 283962 |
3.1.1_7 01 Dec 2024 09:24:18
    |
Mikael Urankar (mikael)  |
lang/rust: Bump revisions after 1.83.0
PR: 283000 |
3.1.1_6 08 Nov 2024 08:24:20
    |
Mikael Urankar (mikael)  |
lang/rust: Bump revisions after 1.82.0
PR: 282516 |
3.1.1_5 10 Sep 2024 11:00:34
    |
Mikael Urankar (mikael)  |
lang/rust: Bump revisions after 1.81.0
PR: 281300 |
3.1.1_4 10 Sep 2024 10:58:07
    |
Mikael Urankar (mikael)  Author: Siva Mahadevan |
*/*: remove STRIP_CMD calls in rust based ports
This is not needed after bc4fedc1fec0d359365c04d43be9e32bf101a50e
PR: 246993
Differential Revision: https://reviews.freebsd.org/D46503 |
3.1.1_4 07 Sep 2024 11:07:05
    |
Mikael Urankar (mikael)  |
math/elan: Fix build with rust 1.80 |
3.1.1_4 26 Aug 2024 08:08:01
    |
Mikael Urankar (mikael)  |
lang/rust: Bump revisions after 1.80.1
PR: 280490 |
3.1.1_3 18 Jun 2024 10:59:14
    |
Mikael Urankar (mikael)  |
lang/rust: Bump revisions after 1.79.0
PR: 279707 |
3.1.1_2 13 May 2024 11:03:24
    |
Mikael Urankar (mikael)  |
lang/rust: Bump revisions after 1.78.0
PR: 278834 |
3.1.1_1 23 Mar 2024 09:41:46
    |
Mikael Urankar (mikael)  |
lang/rust: Bump revisions after 1.77.0
PR: 277786 |
3.1.1 23 Feb 2024 10:25:42
    |
Yuri Victorovich (yuri)  |
math/elan: update 3.0.0 → 3.1.1
Reported by: portscout |
3.0.0_1 19 Feb 2024 11:59:23
    |
Mikael Urankar (mikael)  |
lang/rust: Bump revisions after 1.76.0
PR: 276920 |
3.0.0 15 Jan 2024 10:36:49
    |
Yuri Victorovich (yuri)  |
math/elan: New port: Lean version manager |