godot_headers: remove in favour of godot.dev

1 files changed, 0 insertions, 23 deletions

diff --git a/pkgs/development/libraries/godot_headers/default.nix b/pkgs/development/libraries/godot_headers/default.nix
deleted file mode 100644
index 940882b1742d..000000000000
--- a/pkgs/development/libraries/godot_headers/default.nix
+++ /dev/null
@@ -1,23 +0,0 @@
-{ stdenv, fetchFromGitHub }:
-stdenv.mkDerivation rec {
-  name = "godot_headers";
-  version = "2018-02-09";
-  src = fetchFromGitHub {
-    owner = "GodotNativeTools";
-    repo = "godot_headers";
-    rev = "51bca3bf5d917341f3e15076c5a9191f8a5118ae";
-    sha256 = "0z562pqm8y8wldmfiya72cvwwpvcfznpl0wypagw50v0f41ilywh";
-  };
-  buildPhase = "true";
-  installPhase = ''
-    mkdir $out
-    cp -r . $out/include
-  '';
-  meta = {
-    homepage = "https://github.com/GodotNativeTools/godot_headers/";
-    description = "Headers for the Godot API supplied by the GDNative module";
-    license = stdenv.lib.licenses.mit;
-    platforms = stdenv.lib.platforms.all;
-    maintainers = [ stdenv.lib.maintainers.twey ];
-  };
-}