/pkgs/applications/science/logic/tamarin-prover/
../
default.nix
tamarin-prover-1.8.0-ghc-9.6.patch