Changes
3 changed files (+9/-8)
-
-
@@ -75,10 +75,9 @@environment = { systemPackages = with pkgs; [ # Math and 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 cache is only for the official Lean builds # Also nixpkgs is a bit out of date sometimes # For installing Lean beta versions # Also, lean4 from nixpkgs is often outdated and doesn't work with the mathlib binary cache # TODO: Updating gcc breaks toolchains elan # Unfortunately python3
-
-
-
@@ -15,7 +15,9 @@}; optimise = { automatic = true; # Run the optimiser on a different day since running it simultaneously with the gc is buggy # TODO: Optimiser messed up generation build dates # https://github.com/NixOS/nixpkgs/issues/435555 # Run the optimiser on a different day since running it simultaneously with the gc might also be buggy? dates = [ "wednesday" ]; }; settings = {
-
-
-
@@ -23,11 +23,11 @@}, "nixpkgs": { "locked": { "lastModified": 1767640445, "narHash": "sha256-UWYqmD7JFBEDBHWYcqE6s6c77pWdcU/i+bwD6XxMb8A=", "lastModified": 1767892417, "narHash": "sha256-dhhvQY67aboBk8b0/u0XB6vwHdgbROZT3fJAjyNh5Ww=", "owner": "NixOS", "repo": "nixpkgs", "rev": "9f0c42f8bc7151b8e7e5840fb3bd454ad850d8c5", "rev": "3497aa5c9457a9d88d71fa93a4a8368816fbeeba", "type": "github" }, "original": {
-