Changes
2 changed files (+4/-4)
-
-
@@ -62,7 +62,7 @@# Programming # mathlib requires elan to download a specific Lean version # It would be nicer to use lean4 from nixpkgs # But its lake has weird errors and the mathlib binary cach is only for the official Lean builds # But its lake has weird errors and the mathlib binary cache is only for the official Lean builds # Also nixpkgs is a bit out of date sometimes elan # Unfortunately
-
-
-
@@ -61,11 +61,11 @@}, "nixpkgs": { "locked": { "lastModified": 1756266583, "narHash": "sha256-cr748nSmpfvnhqSXPiCfUPxRz2FJnvf/RjJGvFfaCsM=", "lastModified": 1756542300, "narHash": "sha256-tlOn88coG5fzdyqz6R93SQL5Gpq+m/DsWpekNFhqPQk=", "owner": "NixOS", "repo": "nixpkgs", "rev": "8a6d5427d99ec71c64f0b93d45778c889005d9c2", "rev": "d7600c775f877cd87b4f5a831c28aa94137377aa", "type": "github" }, "original": {
-