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 5379bbf..4e9f741 100644 --- a/pkgs/overlay.nix +++ b/pkgs/overlay.nix @@ -14,9 +14,6 @@ in { beam = super.beam_nox; - inherit (unstable) lean4; - - git-annex-remote-remarkable2 = self.callPackage ({ rustPlatform, fetchgit, ... }: rustPlatform.buildRustPackage rec { |