From d4bd55db8fa213c5a455c78f92fb24c8bfea44d3 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Sat, 14 Oct 2023 17:01:51 +0200
Subject: home: cleaned up old mu version

---
 pkgs/overlay.nix | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'pkgs/overlay.nix')

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;
-- 
cgit v1.2.3