From d00c84b5bd90d4fe348f836191f7e6228a0e752e Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Fri, 8 May 2020 08:25:10 +0200
Subject: [PATCH] ocamlPackages.lablgtkmathview: remove at 0.7.2

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

diff --git a/pkgs/development/ocaml-modules/lablgtkmathview/default.nix b/pkgs/development/ocaml-modules/lablgtkmathview/default.nix
deleted file mode 100644
index b91e9268475..00000000000
--- a/pkgs/development/ocaml-modules/lablgtkmathview/default.nix
+++ /dev/null
@@ -1,40 +0,0 @@
-{stdenv, fetchurl, pkgconfig, ocaml, findlib, gmetadom, gtkmathview, lablgtk }:
-
-let
-  pname = "lablgtkmathview";
-in
-
-stdenv.mkDerivation rec {
-  name = "${pname}-${version}";
-  version = "0.7.2";
-
-  src = fetchurl {
-    url = "http://helm.cs.unibo.it/mml-widget/sources/${pname}-${version}.tar.gz";
-    sha256 = "0rgrpgwrgphw106l1xawxir002b7rmzc23rcxhv8ib6rymp1divx";
-  };
-
-  nativeBuildInputs = [ pkgconfig ];
-  buildInputs = [ ocaml findlib gmetadom gtkmathview lablgtk];
-
-  createFindlibDestdir = true;
-
-  propagatedBuildInputs = [gtkmathview];
-
-  prePatch = ''
-    substituteInPlace Makefile.in --replace "PROPCC = @OCAML_LIB_DIR@" "PROPCC = ${lablgtk}/lib/ocaml/${ocaml.version}/site-lib"
-  '';
-
-  buildPhase = ''
-    mkdir -p .test
-    make
-    make opt
-  '';
-
-  meta = {
-    homepage = "http://helm.cs.unibo.it/mml-widget/";
-    description = "OCaml bindings for gtkmathview";
-    license = stdenv.lib.licenses.lgpl2Plus;
-    maintainers = [ stdenv.lib.maintainers.roconnor ];
-    broken = true;
-  };
-}
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix
index eb607e305a5..f21f3ca9cbe 100644
--- a/pkgs/top-level/ocaml-packages.nix
+++ b/pkgs/top-level/ocaml-packages.nix
@@ -447,10 +447,6 @@ let
       then callPackage ../development/ocaml-modules/lablgtk-extras { }
       else callPackage ../development/ocaml-modules/lablgtk-extras/1.4.nix { };
 
-    lablgtkmathview = callPackage ../development/ocaml-modules/lablgtkmathview {
-      gtkmathview = callPackage ../development/libraries/gtkmathview { };
-    };
-
     labltk = callPackage ../development/ocaml-modules/labltk { };
 
     lacaml = callPackage ../development/ocaml-modules/lacaml { };