Versions Packages Information History Related Badges Report

Versions for lean

23 package(s) known

Repository Package name Version Category Maintainer(s)
AUR lean-git 3.4.1.r4.gb13ac127f - mgrabovsky@aur
AUR lean 4.14.0 - daskol@aur
Chocolatey Lean 3.4.2 - -
Gentoo sci-mathematics/lean 4.14.0 sci-mathematics sci-mathematics@gentoo.org
GNU Guix lean 3.51.1 - -
Homebrew lean HEAD - -
Homebrew lean 3.51.1 - -
LiGurOS stable sci-mathematics/lean 4.14.0 sci-mathematics sci-mathematics@gentoo.org
LiGurOS stable sci-mathematics/lean 4.11.0 sci-mathematics sci-mathematics@gentoo.org
LiGurOS develop sci-mathematics/lean 4.14.0 sci-mathematics sci-mathematics@gentoo.org
MacPorts lean 3.51.1 math kakuhen@github
nixpkgs stable 22.11 lean 3.49.0 - aseipp@pobox.com, gebner@gebner.org
nixpkgs stable 23.05 lean 3.50.3 - aseipp@pobox.com, gebner@gebner.org
nixpkgs stable 23.11 lean 3.51.0 - aseipp@pobox.com, gebner@gebner.org
nixpkgs stable 24.05 lean 3.51.0 - aseipp@pobox.com, gebner@gebner.org
nixpkgs stable 24.11 lean 3.51.0 - aseipp@pobox.com, gebner@gebner.org
nixpkgs stable 25.05 lean 3.51.0 - aseipp@pobox.com
nixpkgs unstable lean 3.51.0 - aseipp@pobox.com
OpenBSD Ports math/lean 3.48.0 math tb@openbsd.org
Wikidata Lean 4.19.0 - -
winget Lean 4.20.1 language -
winget Lean 4.20.0 language -
winget Lean 4.19.0 language -