1 files changed, 0 insertions, 33 deletions
diff --git a/pkgs/development/compilers/ciao/default.nix b/pkgs/development/compilers/ciao/default.nix
deleted file mode 100644
index 29e103226022..000000000000
--- a/pkgs/development/compilers/ciao/default.nix
+++ /dev/null
@@ -1,33 +0,0 @@
-{ lib, stdenv, fetchFromGitHub }:
-
-stdenv.mkDerivation rec {
-  pname = "ciao";
-  version = "1.23.0-m1";
-  src = fetchFromGitHub {
-    owner = "ciao-lang";
-    repo = "ciao";
-    rev = "v${version}";
-    sha256 = "sha256-JMHln0nYveEEfEr4AMyrEL9KlCDiqV53BWRNMUL8nN0=";
-  };
-
-  configurePhase = ''
-    ./ciao-boot.sh configure --instype=global --prefix=$prefix
-  '';
-
-  buildPhase = ''
-    ./ciao-boot.sh build
-  '';
-
-  installPhase = ''
-    ./ciao-boot.sh install
-  '';
-
-  meta = with lib; {
-    homepage = "https://ciao-lang.org/";
-    description = "General purpose, multi-paradigm programming language in the Prolog family";
-    license = licenses.lgpl21;
-    maintainers = with maintainers; [ suhr ];
-    platforms = platforms.unix;
-    broken = stdenv.isDarwin; # never built on Hydra https://hydra.nixos.org/job/nixpkgs/staging-next/ciao.x86_64-darwin
-  };
-}