/pkgs/applications/science/logic/tamarin-prover/
../
default.nix
ghc-8.4-support-term.patch
ghc-8.4-support-theory.patch
ghc-8.4-support-utils.patch