apalache: use mkSbtDerivation

informalsystems · Aug 31, 2023 · 4fdc9b1 · 4fdc9b1
1 parent 95f336e
commit 4fdc9b1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/resources/apalache.nix b/resources/apalache.nix
@@ -20,7 +20,7 @@
       --replace '$DIR/../lib/apalache.jar' "$out/lib/apalache.jar"
   '';
 in
-  pkgs.sbt.mkDerivation {
+  pkgs.mkSbtDerivation {
     inherit version postPatch;
     pname = "apalache";
     src = apalache-src;