Update to Lean 4.32.2

Changes

3 changed files (+8/-8)

• flake.lock
  • @@ -41,16 +41,16 @@ }
    }, "nixpkgs": { "locked": { - "lastModified": 1783977245, - "narHash": "sha256-jQMgFO5+iG8B2Vo6y++O66xeoPIz49CMPfed3r571Xs=", - "owner": "i-love-lean", + "lastModified": 1785485342, + "narHash": "sha256-k/g4fbsPxAgHqfwPZ00lL7JDgA+xDfJQ9OoVYyzwKXc=", + "owner": "jthulhu", "repo": "nixpkgs", - "rev": "5b17b7764b07f83e91869e3cfab4507d6d7accab", + "rev": "07e817ae144e6d2f3c43114dc08bb3563de00384", "type": "github" }, "original": { - "owner": "i-love-lean", - "ref": "lean4-bump2", + "owner": "jthulhu", + "ref": "lean-update-4.32", "repo": "nixpkgs", "type": "github" }
• flake.nix
  • @@ -3,7 +3,7 @@ description = "An OpenTTD-like game written in Lean";
    inputs = { # TODO: Change this back to nixos-unstable once it gets lean4 v4.32.0 - nixpkgs.url = "github:i-love-lean/nixpkgs/lean4-bump2"; + nixpkgs.url = "github:jthulhu/nixpkgs/lean-update-4.32"; nixgl = { url = "github:nix-community/nixGL"; inputs.nixpkgs.follows = "nixpkgs";
• lean-toolchain
  • @@ -1,1 +1,1 @@
    - leanprover/lean4:v4.32.0 + leanprover/lean4:v4.32.2