mirror of
https://github.com/NixOS/nixpkgs.git
synced 2026-10-10 22:30:59 +00:00
edac0312cb
Release notes: - https://lean-lang.org/doc/reference/latest/releases/v4.34.1 - https://lean-lang.org/doc/reference/latest/releases/v4.34.0 - https://lean-lang.org/doc/reference/latest/releases/v4.33.1 - https://lean-lang.org/doc/reference/latest/releases/v4.33.0 - https://lean-lang.org/doc/reference/latest/releases/v4.32.2 - https://lean-lang.org/doc/reference/latest/releases/v4.32.1 - https://lean-lang.org/doc/reference/latest/releases/v4.32.0 - https://lean-lang.org/doc/reference/latest/releases/v4.31.0 Co-authored-by: Niklas Halonen <niklas.2.halonen@aalto.fi> Co-authored-by: jthulhu <jthulhu@posteo.net> Co-authored-by: Gaetan Lepage <gaetan@glepage.com>