diff --git a/pkgs/applications/science/logic/tamarin-prover/default.nix b/pkgs/applications/science/logic/tamarin-prover/default.nix
index 1c3e3ccc769..b03685484aa 100644
--- a/pkgs/applications/science/logic/tamarin-prover/default.nix
+++ b/pkgs/applications/science/logic/tamarin-prover/default.nix
@@ -1,6 +1,6 @@
 { haskell, haskellPackages, mkDerivation, fetchFromGitHub, lib
 # the following are non-haskell dependencies
-, makeWrapper, which, maude, graphviz
+, makeWrapper, which, maude, graphviz, sapic
 }:
 
 let
@@ -68,7 +68,7 @@ mkDerivation (common "tamarin-prover" src // {
   # wrap the prover to be sure it can find maude
   postInstall = ''
     wrapProgram $out/bin/tamarin-prover \
-      --prefix PATH : ${lib.makeBinPath [ which maude graphviz ]}
+      --prefix PATH : ${lib.makeBinPath [ which maude graphviz sapic ]}
   '';
 
   executableToolDepends = [ makeWrapper ];
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 72d26445b0d..26ad6c3c7e0 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -5969,8 +5969,8 @@ with pkgs;
 
   tamarin-prover =
     (haskellPackages.callPackage ../applications/science/logic/tamarin-prover {
-      # do not use the haskell packages 'graphviz' and 'maude'
-      inherit maude which;
+      # NOTE: do not use the haskell packages 'graphviz' and 'maude'
+      inherit maude which sapic;
       graphviz = graphviz-nox;
     });