#1123954 elan - upcoming rust-dirs update.

Package:
elan
Source:
elan
Description:
tool for managing installations of the Lean theorem prover
Submitter:
Peter Michael Green
Date:
2026-04-22 18:09:01 UTC
Severity:
normal
Tags:
#1123954#5
Date:
2025-12-24 20:22:15 UTC
From:
To:
I hope to update the dirs crate to version 6 soon. The cargo dependencies
in the elan package allow the new version but the Debian build-dependencies
do not.

After adjusting the dependencies I was able to sucessfully build the
package. Debdiff is attatched, new version of dirs is available in
experimental.