1 files changed, 0 insertions, 30 deletions
diff --git a/pkgs/development/compilers/teyjus/default.nix b/pkgs/development/compilers/teyjus/default.nix
deleted file mode 100644
index a8dc7b319c51..000000000000
--- a/pkgs/development/compilers/teyjus/default.nix
+++ /dev/null
@@ -1,30 +0,0 @@
-{ lib, fetchFromGitHub, buildDunePackage, flex, bison }:
-
-buildDunePackage rec {
-  pname = "teyjus";
-  version = "2.1.1";
-
-  src = fetchFromGitHub {
-    owner = "teyjus";
-    repo = "teyjus";
-    rev = "refs/tags/v${version}";
-    hash = "sha256-N4XKDd0NFr501PYUdb7PM2sWh0uD1/SUFXoMr10f064=";
-  };
-
-  strictDeps = true;
-
-  nativeBuildInputs = [ flex bison ];
-
-  hardeningDisable = [ "format" ];
-
-  doCheck = true;
-
-  meta = with lib; {
-    description = "Efficient implementation of the Lambda Prolog language";
-    homepage = "https://github.com/teyjus/teyjus";
-    changelog = "https://github.com/teyjus/teyjus/releases/tag/v${version}";
-    license = lib.licenses.gpl3;
-    maintainers = [ maintainers.bcdarwin ];
-    platforms = platforms.unix;
-  };
-}