summaryrefslogtreecommitdiff
path: root/pkgs
diff options
context:
space:
mode:
authorstuebinm2023-10-14 17:01:51 +0200
committerstuebinm2023-10-14 17:01:51 +0200
commitd4bd55db8fa213c5a455c78f92fb24c8bfea44d3 (patch)
tree5a429dcbb0a7272b9dfc6946a39f175dbe540c04 /pkgs
parent6d47716233b3d3f28c00769fd234fe689164ec7d (diff)
home: cleaned up old mu version
Diffstat (limited to 'pkgs')
-rw-r--r--pkgs/overlay.nix3
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;