diff options
author | stuebinm | 2023-10-14 17:01:51 +0200 |
---|---|---|
committer | stuebinm | 2023-10-14 17:01:51 +0200 |
commit | d4bd55db8fa213c5a455c78f92fb24c8bfea44d3 (patch) | |
tree | 5a429dcbb0a7272b9dfc6946a39f175dbe540c04 /pkgs | |
parent | 6d47716233b3d3f28c00769fd234fe689164ec7d (diff) |
home: cleaned up old mu version
Diffstat (limited to 'pkgs')
-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; |