lean
Version: 4.28.0Lean 4 programming language and theorem prover
What is "lean"?
Lean 4 programming language and theorem prover
How to use this package
Quick install
Installs the package into the current environment for this session. Use --build or --runtime to persist it as a build-time or runtime dependency.
min add leanDeclare as a task dependency in minimal.toml
Listing the package under tasks.<name>.packages makes it available inside that task’s sandbox.
[tasks.dev]
packages = ["lean"]Build-time vs runtime
Choose build-time for tools needed during compilation, runtime for dynamic libraries loaded at runtime.
min add --build lean
min add --runtime leanDependencies (9)
Dependency changes
Loading diff…
Could not load the dependency diff for one of the selected versions. Try again.
No dependency changes
The two selected versions have identical direct dependencies.
| Name | Version | Kind |
|---|
No dependants
No other packages in the registry depend on this one.
-
- Lines: +1 Deps: 9Released:
- Lines: +1 / -1 Deps: 9Released:
- Lines: +5 / -2 Deps: 9Released:
- Lines: +4 / -1 Deps: 9Released:
- Lines: +1 Deps: 9Released:
- Lines: +108 Deps: 9 ( +9 )Released:
-
No direct advisories
This package inherits 8 transitive advisories from its dependencies.
Showing 8 transitive advisories via lean's dependencies
No advisories match the current filters.
| Critical ( 1 ) | ||||||
| Status | IDs | Package | Severity | |||
|---|---|---|---|---|---|---|
| Under investigation | glibc | Critical: 9.8 | ||||
Summaryscanf %mc off-by-one heap buffer overflow ViaAffected ranges2.42 – 2.43 CVSS vectorCVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:H/I:H/A:H References
| ||||||
| High ( 5 ) | ||||||
| Status | IDs | Package | Severity | |||
| Under investigation | glibc | High: 7.3 | ||||
SummaryThe deprecated functions ns_printrrf, ns_printrr and fp_nquery in the GNU C Library version 2.2 and newer fail to enforce the caller-supplied buffer length, and can result in an out-of-bounds write when printing TSIG records. ViaAffected ranges2.42 – 2.43 CVSS vectorCVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:L/I:L/A:L | ||||||
| Under investigation | glibc | High: 7.5 | ||||
SummaryPotential buffer under-read in ungetwc ViaAffected ranges2.42 – 2.43 CVSS vectorCVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H | ||||||
| Under investigation | glibc | High: 7.5 | ||||
Summaryiconv crash due to assertion failure with untrusted input ViaAffected ranges2.42 – 2.43 CVSS vectorCVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H References
| ||||||
| Under investigation | glibc | High: 7.5 | ||||
Summarygethostbyaddr and gethostbyaddr_r may incorrectly handle DNS response ViaAffected ranges2.42 – 2.43 CVSS vectorCVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H | ||||||
| Affected: 2.43 | glibc | High: 7.5 | ||||
Summaryslim has NULL pointer dereference when using crypt() method from glibc 2.17 ViaAffected ranges2.42 – 2.43 CVSS vectorCVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H | ||||||
| Medium ( 2 ) | ||||||
| Status | IDs | Package | Severity | |||
| Under investigation | glibc | Medium: 6.5 | ||||
SummaryThe deprecated functions ns_printrrf, ns_printrr and fp_nquery in the GNU C Library version 2.0.1 to version 2.43 fail to validate the RDATA content against the RDATA length in a DNS response when processing A6, CERT, LOC, TKEY or TSIG records, which may allow an attacker to craft a DNS response, causing a target application to crash or read uninitialized memory. These functions are for application debugging only and hence not in the path of code executed by the DNS resolver. Further, they have been deprecated since version 2.34 and should not be used by any new applications. Applications should consider porting away from these interfaces since they may be removed in future versions. ViaAffected ranges2.42 – 2.43 CVSS vectorCVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:L/I:N/A:L | ||||||
| Under investigation | glibc | Medium: 5.4 | ||||
Summarygethostbyaddr and gethostbyaddr_r return invalid DNS hostnames ViaAffected ranges2.42 – 2.43 CVSS vectorCVSS:3.1/AV:A/AC:L/PR:N/UI:N/S:U/C:L/I:L/A:N | ||||||
| Low ( 0 ) | ||||||
| Status | IDs | Package | Severity | |||
| Unknown ( 0 ) | ||||||
| Status | IDs | Package | Severity | |||
58 components
No components match your filter.
| Packages | Version |
|---|---|
| lean ROOT | 4.28.0 |
| acl | 2.4.0 |
| attr | 2.6.0 |
| autoconf | 2.73 |
| automake | 1.18.1 |
| bash | 5.3 |
| bash-bootstrap | 5.3 |
| binutils | 2.46.1 |
| bison | 3.8.2 |
| bzip2 | 1.0.8 |
| cmake | 4.2.7 |
| coreutils | 9.11 |
| curl | 8.21.0 |
| diffutils | 3.12 |
| expat | 2.8.2 |
| file | 5.48 |
| findutils | 4.10.0 |
| flex | 2.6.4 |
| gawk | 5.4.0 |
| gawk-bootstrap | 5.3.2 |
| gcc | 15.2.0 |
| gdbm | 1.26 |
| gettext | 1.0 |
| git | 2.54.0 |
| glibc | 2.43 |
| gmp | 6.3.0 |
| grep | 3.12 |
| gzip | 1.14 |
| libcap | 2.78 |
| libffi | 3.6.0 |
| libidn2 | 2.3.8 |
| libpsl | 0.22.0 |
| libtool | 2.5.4 |
| libunistring | 1.4.2 |
| libuv | 1.52.1 |
| linux_headers | 6.12.43 |
| lz4 | 1.10.0 |
| m4 | 1.4.21 |
| make | 4.4.1 |
| meson | 1.10.2 |
| mpc | 1.4.0 |
| mpfr | 4.2.2 |
| ncurses | 6.6 |
| ninja | 1.13.2 |
| openssl | 3.6.3 |
| pcre2 | 10.47 |
| perl | 5.42.2 |
| pkgconf | 2.5.1 |
| python | 3.14.6 |
| readline | 8.3 |
| sed | 4.10 |
| setuptools | 83.0.0 |
| sqlite | 3.50.4 |
| tar | 1.35 |
| util-linux | 2.42.2 |
| xz | 5.8.3 |
| zlib | 1.3.2 |
| zstd | 1.5.7 |