diff options
Diffstat (limited to 'pkgs/applications/science/logic/stp/default.nix')
-rw-r--r-- | pkgs/applications/science/logic/stp/default.nix | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/stp/default.nix b/pkgs/applications/science/logic/stp/default.nix index e27a1ccd98c2b..fb41ea07f5a15 100644 --- a/pkgs/applications/science/logic/stp/default.nix +++ b/pkgs/applications/science/logic/stp/default.nix @@ -11,6 +11,12 @@ stdenv.mkDerivation rec { rev = version; sha256 = "1yg2v4wmswh1sigk47drwsxyayr472mf4i47lqmlcgn9hhbx1q87"; }; + patches = [ + # Fix missing type declaration + # due to undeterminisitic compilation + # of circularly dependent headers + ./stdint.patch + ]; postPatch = '' # Upstream fix for gcc-13 support: @@ -34,7 +40,7 @@ stdenv.mkDerivation rec { meta = with lib; { description = "Simple Theorem Prover"; - maintainers = with maintainers; [ ]; + maintainers = with maintainers; [ McSinyx ]; platforms = platforms.linux; license = licenses.mit; }; |