diff --git a/pkgs/applications/science/logic/jonprl/default.nix b/pkgs/applications/science/logic/jonprl/default.nix
deleted file mode 100644
index 379a9a483540..000000000000
--- a/pkgs/applications/science/logic/jonprl/default.nix
+++ /dev/null
@@ -1,35 +0,0 @@
-{ fetchgit, lib, stdenv, smlnj, which }:
-
-stdenv.mkDerivation rec {
-  pname = "jonprl";
-  version = "0.1.0";
-
-  src = fetchgit {
-    url = "https://github.com/jonsterling/JonPRL.git";
-    deepClone = true;
-    rev = "refs/tags/v${version}";
-    sha256 = "0czs13syvnw8fz24d075n4pmsyfs8rs8c7ksmvd7cgb3h55fvp4p";
-  };
-
-  buildInputs = [ smlnj which ];
-
-  installPhase = ''
-    mkdir -p "$out/bin"
-    cp bin/.heapimg.* "$out/bin/"
-    build/mkexec.sh "${smlnj}/bin/sml" "$out" jonprl
-  '';
-
-  meta = {
-    description = "Proof Refinement Logic - Computational Type Theory";
-    longDescription = ''
-      An proof refinement logic for computational type theory
-      based on Brouwer-realizability & meaning explanations.
-      Inspired by Nuprl
-    '';
-    homepage = "https://github.com/jonsterling/JonPRL";
-    license = lib.licenses.mit;
-    maintainers = with lib.maintainers; [ puffnfresh ];
-    platforms = lib.platforms.linux;
-    broken = true;
-  };
-}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 63062c41d1b8..0333cd94eb16 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -32800,8 +32800,6 @@ with pkgs;
 
   iprover = callPackage ../applications/science/logic/iprover { };
 
-  jonprl = callPackage ../applications/science/logic/jonprl { };
-
   key = callPackage ../applications/science/logic/key { };
 
   keymapviz = callPackage ../tools/misc/keymapviz { };