From fd15a97ef6254675c143b184f77f4ad934e7e3be Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Thu, 13 Oct 2022 07:57:12 +0200
Subject: [PATCH] ocamlPackages.mlgmp: remove at 20120224 (broken)

---
 .../ocaml-modules/mlgmp/default.nix           | 42 -------------------
 pkgs/top-level/ocaml-packages.nix             |  2 -
 2 files changed, 44 deletions(-)
 delete mode 100644 pkgs/development/ocaml-modules/mlgmp/default.nix

diff --git a/pkgs/development/ocaml-modules/mlgmp/default.nix b/pkgs/development/ocaml-modules/mlgmp/default.nix
deleted file mode 100644
index a396549d76f..00000000000
--- a/pkgs/development/ocaml-modules/mlgmp/default.nix
+++ /dev/null
@@ -1,42 +0,0 @@
-{stdenv, lib, fetchurl, ocaml, findlib, gmp, mpfr, ncurses }:
-
-if lib.versionAtLeast ocaml.version "4.03"
-then throw "mlgmp is not available for OCaml ${ocaml.version}" else
-
-let
-  pname = "mlgmp";
-in
-
-stdenv.mkDerivation rec {
-  name = "${pname}-${version}";
-  version = "20120224";
-
-  src = fetchurl {
-    url = "http://www-verimag.imag.fr/~monniaux/download/${pname}_${version}.tar.gz";
-    sha256 = "3ce1a53fa452ff5a9ba618864d3bc46ef32190b57202d1e996ca7df837ad4f24";
-  };
-
-  makeFlags = [
-    "DESTDIR=$(out)/lib/ocaml/${ocaml.version}/site-lib/gmp"
-  ];
-
-  preConfigure = "make clean";
-  nativeBuildInputs = [ocaml findlib ];
-  buildInputs = [ gmp mpfr ncurses];
-
-  strictDeps = true;
-
-  createFindlibDestdir = true;
-
-  propagatedbuildInputs = [gmp mpfr ncurses];
-
-  postInstall  = ''
-     cp ${./META} $out/lib/ocaml/${ocaml.version}/site-lib/gmp/META
-  '';
-
-  meta = {
-    homepage = "http://opam.ocamlpro.com/pkg/mlgmp.20120224.html";
-    description = "OCaml bindings to GNU MP library";
-    license = "Free software ?";
-  };
-}
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix
index 979026baca3..d8250fc8aa8 100644
--- a/pkgs/top-level/ocaml-packages.nix
+++ b/pkgs/top-level/ocaml-packages.nix
@@ -920,8 +920,6 @@ let
 
     mldoc =  callPackage ../development/ocaml-modules/mldoc { };
 
-    mlgmp =  callPackage ../development/ocaml-modules/mlgmp { };
-
     mlgmpidl =  callPackage ../development/ocaml-modules/mlgmpidl { };
 
     mm = callPackage ../development/ocaml-modules/mm { };