From 672ea43d0ed3c71d4a3f90a4bfaa179b4364548e Mon Sep 17 00:00:00 2001
From: ajs124 <git@ajs124.de>
Date: Thu, 31 Mar 2022 22:04:40 +0200
Subject: [PATCH] otter: remove after being marked broken for over two years

It was marked in commit ca0e724266c7adc61f27607dfda16a08a423eb06 by Tuomas Tynkkynen on 2016-04-27 (commited on 2016-04-27)
---
 .../science/logic/otter/default.nix           | 53 -------------------
 pkgs/top-level/all-packages.nix               |  2 -
 2 files changed, 55 deletions(-)
 delete mode 100644 pkgs/applications/science/logic/otter/default.nix

diff --git a/pkgs/applications/science/logic/otter/default.nix b/pkgs/applications/science/logic/otter/default.nix
deleted file mode 100644
index 2ad066e53f7..00000000000
--- a/pkgs/applications/science/logic/otter/default.nix
+++ /dev/null
@@ -1,53 +0,0 @@
-{lib, stdenv, fetchurl, tcsh, libXaw, libXt, libX11}:
-let
-  s = # Generated upstream information
-  rec {
-    version = "3.3f";
-    name = "otter";
-    url = "https://www.cs.unm.edu/~mccune/otter/otter-${version}.tar.gz";
-    sha256 = "16mc1npl7sk9cmqhrf3ghfmvx29inijw76f1b1lsykllaxjqqb1r";
-  };
-  buildInputs = [
-    tcsh libXaw libXt libX11
-  ];
-in
-stdenv.mkDerivation {
-  name = "${s.name}-${s.version}";
-  inherit buildInputs;
-  src = fetchurl {
-    inherit (s) url sha256;
-  };
-
-  hardeningDisable = [ "format" ];
-
-  buildPhase = ''
-    find . -name Makefile | xargs sed -i -e "s@/bin/rm@$(type -P rm)@g"
-    find . -name Makefile | xargs sed -i -e "s@/bin/mv@$(type -P mv)@g"
-    find . -perm -0100 -type f | xargs sed -i -e "s@/bin/csh@$(type -P csh)@g"
-    find . -perm -0100 -type f | xargs sed -i -e "s@/bin/rm@$(type -P rm)@g"
-    find . -perm -0100 -type f | xargs sed -i -e "s@/bin/mv@$(type -P mv)@g"
-
-    sed -i -e "s/^XLIBS *=.*/XLIBS=-lXaw -lXt -lX11/" source/formed/Makefile
-
-    make all
-    make -C examples all
-    make -C examples-mace2 all
-    make -C source/formed realclean
-    make -C source/formed formed
-  '';
-
-  installPhase = ''
-    mkdir -p "$out"/{bin,share/otter}
-    cp bin/* source/formed/formed "$out/bin/"
-    cp -r examples examples-mace2 documents README* Legal Changelog Contents index.html "$out/share/otter/"
-  '';
-
-  meta = {
-    inherit (s) version;
-    description = "A reliable first-order theorem prover";
-    license = lib.licenses.publicDomain ;
-    maintainers = [lib.maintainers.raskin];
-    platforms = lib.platforms.linux;
-    broken = true;
-  };
-}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 35655577e66..9874e79db08 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -32812,8 +32812,6 @@ with pkgs;
 
   ott = callPackage ../applications/science/logic/ott { };
 
-  otter = callPackage ../applications/science/logic/otter {};
-
   picosat = callPackage ../applications/science/logic/picosat {};
 
   libpoly = callPackage ../applications/science/logic/poly {};