Changes
2 changed files (+8/-4)
-
-
@@ -71,7 +71,11 @@elan # Unfortunately python3 sage # Don't try to build sage-tests if missing from cache.nixos.org # A bit questionable since that means some Sage test is failing but whatever (sage.override { requireSageTests = false; }) uv # For Lean # TODO: Patch for XDG support
-
-
-
@@ -23,11 +23,11 @@}, "nixpkgs": { "locked": { "lastModified": 1763421233, "narHash": "sha256-Stk9ZYRkGrnnpyJ4eqt9eQtdFWRRIvMxpNRf4sIegnw=", "lastModified": 1763678758, "narHash": "sha256-+hBiJ+kG5IoffUOdlANKFflTT5nO3FrrR2CA3178Y5s=", "owner": "NixOS", "repo": "nixpkgs", "rev": "89c2b2330e733d6cdb5eae7b899326930c2c0648", "rev": "117cc7f94e8072499b0a7aa4c52084fa4e11cc9b", "type": "github" }, "original": {
-