math/elan 4.2.4_3 FreeBSD

Lean version manager

System: FreeBSD
Repository: FreeBSD ports
Maintainer: [email protected]
Last update: 2026-10-14
Commit: 9c878207a1
License: APACHE20
Categories: math
Package size: 1083.7 KiB, 3078.4 KiB installed

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.

Install

Binary package:

pkg install elan

From the ports tree:

cd /usr/ports/math/elan/ && make install clean

To depend on this port in another port's Makefile:

RUN_DEPENDS=	elan>0:math/elan

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repository

aarch64

amd64

armv6

armv7

i386

FreeBSD:14:latest

4.2.4_2

4.2.4_3

4.0.1_2

4.2.4_3

FreeBSD:14:quarterly

4.2.4_1

n/a

4.0.1_1

4.2.4_1

FreeBSD:15:latest

4.2.4_3

n/a

4.0.1_2

FreeBSD:15:quarterly

4.2.4_1

n/a

FreeBSD:16:latest

4.2.4_1

4.2.4_3

n/a

FreeBSD:16:quarterly

n/a

Dependencies

As this port's Makefile names them.

Build 1

gmake : devel/gmake

Library 1

libcurl.so : ftp/curl

The full lists below include those, and their dependencies in turn.

Build dependencies 15

Run dependencies 10

No port depends on this one.

Configuration

No options to configure.

USES: cargo perl5
Service scripts: none

Files

distinfo 269

File

Size

SHA256

rust/crates/addr2line-0.24.2.crate

39015

dfbe277e56a376000877090da837660b4427aad530e3028d44e0bffe4f89a1c1

rust/crates/adler2-2.0.0.crate

13529

512761e0bb2578dd7380c6baaa0f4ce03e84f95e960231d1dec8bf4d7d6e2627

rust/crates/aes-0.8.4.crate

124812

b169f7a6d4742236a0a00c541b845991d0ac43e546831af1249753ab4c3aa3a0

rust/crates/aho-corasick-1.1.3.crate

183311

8e60d3430d3a69478ad0993f19238d2df97c507009a52b3c10addcd7f6bcb916

rust/crates/aligned-0.4.2.crate

8519

377e4c0ba83e4431b10df45c1d4666f178ea9c552cac93e60c3a88bf32785923

rust/crates/ansi_term-0.12.1.crate

24838

d52a9bb7ec0cf484c551830a7ce27bd20d67eac647e1befb56b0be4ee39a55d2

rust/crates/as-slice-0.2.1.crate

6942

516b6b4f0e40d50dcda9365d53964ec74560ad4284da2e7fc97122cd83174516

rust/crates/atty-0.2.14.crate

5470

d9b39be18770d11421cdb1b9947a45dd3f37e93092cbf377614828a319d5fee8

rust/crates/autocfg-1.4.0.crate

17712

ace50bade8e6234aa140d9a2f552bbee1db4d353f69b8217bc503490fc1a9f26

rust/crates/backtrace-0.3.74.crate

88516

8d82cb332cdfaed17ae235a638438ac4d4839913cc2af585c3c6746e8f8bee1a

rust/crates/base64-0.21.7.crate

82576

9d297deb1925b89f2ccc13d7635fa0714f12c87adce1c75356b39ca9b7178567

rust/crates/bitflags-1.3.2.crate

23021

bef38d45163c2f1dde094a7dfd33ccf595c92905c8f8f4fdc18d06fb1037718a

rust/crates/bitflags-2.6.0.crate

45357

b048fb63fd8b5923fc5aa7b340d8e156aec7ec02f0c78fa8a6ddc2613f6f71de

rust/crates/block-buffer-0.10.4.crate

10538

3078c7629b62d3f0439517fa394996acacc5cbc91c5a20d8c658e77abd503a71

rust/crates/bumpalo-3.16.0.crate

85677

79296716171880943b8470b5f8d03aa55eb2e645a4874bdbb28adb49162e012c

rust/crates/byteorder-1.5.0.crate

23288

1fd0f2584146f6f2ef48085050886acf353beff7305ebd1ae69500e27c67f64b

rust/crates/bytes-1.8.0.crate

64824

9ac0150caa2ae65ca5bd83f25c7de183dea78d4d366469f148435e2acfbad0da

rust/crates/bzip2-0.6.1.crate

38427

f3a53fac24f34a81bc9954b5d6cfce0c21e18ec6959f44f56e8e90e4bb7c346c

rust/crates/cc-1.2.0.crate

92640

1aeb932158bd710538c73702db6945cb68a8fb08c519e6e12706b94263b36db8

rust/crates/cfg-if-1.0.0.crate

7934

baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd

Commit history 5

Date Commit Credits Log message

2026-10-14

9c878207a1

Mikael Urankar

lang/rust: Bump revisions after 1.99.0

PR: 299016

2026-10-07

396c159306

Alan Somers

*/*: Fix many Rust ports to run without COMPAT11

RISCV does not include COMPAT11 by default. But Rust's libc bound the compat-11 symbols until version 0.2.176. Patch a great many Rust ports to use a newer version of libc, to eliminate the dependency on COMPAT11. Explicitly patching Cargo.lock isn't usually necessarily, since within the build jail cargo is forced to use whichever crates Makefile.crates installs there. Notes on specific ports: * textproc/bookokrat: Rework bookokrat's existing patch to be more robust. Also, report the issue upstream: https://github.com/bugzmanov/bookokrat/issues/182 * security/sequoia-chameleon-gnupg security/sequoia-sq "cargo update -p libc" insisted on updating some other crates, too. * devel/cargo-generate finance/tickrs net-im/gurk-rs net-p2p/oura textproc/mdbook-linkcheck www/lychee …

2026-09-08

7316461925

Mikael Urankar

lang/rust: Bump revisions after 1.98.1

PR: 298139

2026-09-05 3f97ffe1ec Yuri Victorovich math/elan: update 4.2.3 → 4.2.4

2026-07-21

9c892d2601

Mikael Urankar

lang/rust: Bump revisions after 1.97.1

PR: 296645