From be76fb11c918c9b1b116e1b4ee7a84c0dcc80d28 Mon Sep 17 00:00:00 2001
From: Michael Gregson <mgregson@conduit.financial>
Date: Wed, 10 May 2023 01:19:15 -0500
Subject: [PATCH] tlaplus: remove jdk dependency

As of b5d3526, this package fetches a pre-compiled TLA+ distribution
instead of compiling from source.
---
 pkgs/applications/science/logic/tlaplus/default.nix | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/pkgs/applications/science/logic/tlaplus/default.nix b/pkgs/applications/science/logic/tlaplus/default.nix
index abbcd417693e..5004e42a43ff 100644
--- a/pkgs/applications/science/logic/tlaplus/default.nix
+++ b/pkgs/applications/science/logic/tlaplus/default.nix
@@ -1,4 +1,4 @@
-{ lib, stdenv, fetchurl, makeWrapper, adoptopenjdk-bin, jre }:
+{ lib, stdenv, fetchurl, makeWrapper, jre }:
 
 stdenv.mkDerivation rec {
   pname = "tlaplus";
@@ -10,7 +10,6 @@ stdenv.mkDerivation rec {
   };
 
   nativeBuildInputs = [ makeWrapper ];
-  buildInputs = [ adoptopenjdk-bin ];
 
   dontUnpack = true;
   installPhase = ''