summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--home/packages.nix2
-rw-r--r--pkgs/overlay.nix3
2 files changed, 1 insertions, 4 deletions
diff --git a/home/packages.nix b/home/packages.nix
index ca923ca..16e8e3c 100644
--- a/home/packages.nix
+++ b/home/packages.nix
@@ -45,7 +45,7 @@ in
haskell-language-server
haskellPackages.hoogle haskellPackages.stylish-haskell
# other functional things
- racket dhall lean4 dune_2 ocamlPackages.utop ocamlPackages.ocp-indent
+ racket dhall dune_2 ocamlPackages.utop ocamlPackages.ocp-indent
ocamlPackages.merlin ocaml gauche
(agda.withPackages (p: [ p.standard-library p.cubical ]))
(twelf.overrideAttrs (old: {
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 {