Package "elan"
| Name: | elan |
Description: |
tool for managing installations of the Lean theorem prover |
| Latest version: | 4.1.2-3.1ubuntu1 |
| Release: | resolute (26.04) |
| Level: | updates |
| Repository: | universe |
| Homepage: | https://github.com/leanprover/elan |
Links
Download "elan"
Other versions of "elan" in Resolute
| Repository | Area | Version |
|---|---|---|
| base | universe | 4.1.2-3.1 |
| security | universe | 4.1.2-3.1ubuntu1 |
Changelog
| Version: 4.1.2-3.1ubuntu1 | 2026-04-30 20:56:22 UTC |
|---|---|
|
elan (4.1.2-3.1ubuntu1) resolute; urgency=medium * Bump dependency librust-dirs-5+default-dev with librust-dirs-6+default-dev
-- Ruan Comelli <email address hidden> Mon, 20 Apr 2026 14:48:45 -0300 |
|
About
-
Send Feedback to @ubuntu_updates
