summaryrefslogtreecommitdiff
path: root/pkgs
diff options
context:
space:
mode:
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;