Cutting a new release for Rust 1.80 compat?

leanprover / elan

The Lean version manager

Apache License 2.0

297 stars 34 forks source link

Cutting a new release for Rust 1.80 compat? #135

Open RaitoBezarius opened 1 month ago

RaitoBezarius commented 1 month ago

Due to the Rust 1.80 fallout with time, elan in nixpkgs is currently broken, it'd be great if a new release would be out (instead of pinning a HEAD containing the fix to 1.80 build).

See https://github.com/NixOS/nixpkgs/issues/332957

cc @gebner as the nixpkgs maintainer

SigmaSquadron commented 1 month ago

Fixed on #134, can't we just use an unstable commit in nixpkgs? A bunch of other packages did the same.

Seppel3210 commented 3 weeks ago

pr for an unstable commit got merged https://github.com/NixOS/nixpkgs/pull/336417

Kha commented 3 weeks ago

I will look into cutting a new release soon

chenrui333 commented 6 days ago

@Kha any updates on this? many thanks!