diff options
Diffstat (limited to '')
| -rw-r--r-- | pkgs/overlay.nix | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/pkgs/overlay.nix b/pkgs/overlay.nix index 15781d9..cf1f7e5 100644 --- a/pkgs/overlay.nix +++ b/pkgs/overlay.nix @@ -3,7 +3,6 @@ self: super: let unstable = inputs.nixpkgs-unstable.legacyPackages.${self.system}; - oldstable = inputs.nixpkgs-oldstable.legacyPackages.${self.system}; crs-tools = self.callPackage ./crs-tools.nix {}; rustPlatform = self.makeRustPlatform { cargo = self.rust-bin.stable.latest.minimal; @@ -100,8 +99,6 @@ in ''; }; - mu = oldstable.mu; - matrix-to = self.callPackage ./matrix-to.nix {}; inherit (unstable) lean4; |