elan icon indicating copy to clipboard operation
elan copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

Cutting a new release for Rust 1.80 compat?

Open RaitoBezarius opened this issue 6 months ago • 4 comments

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

RaitoBezarius avatar Aug 17 '24 08:08 RaitoBezarius