matita: remove broken package

As requested by Vincent Laporte.

2 files changed, 0 insertions, 20 deletions

diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 632b88c8012c..2da5edcd6646 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -21231,20 +21231,6 @@ with pkgs;
 
   ltl2ba = callPackage ../applications/science/logic/ltl2ba {};
 
-  #inherit (ocaml-ng.ocamlPackages_3_11_2) matita;
-
-  # Current version is 0.5.8. Official website says:
-
-  # Version 0.5.9, released on December 23, 2014, is an update of version 0.5.8
-  # to compile with the latter OCaml version and libraries.
-  # It is unsupported, but still used for teaching at the University of Bologna.
-
-  # It should allow us removing the dependency on OCaml 3.11 but I haven't been
-  # able to confirm because Matita depends on lablgtkmathview-0.7.2 which
-  # already reports as broken.
-
-  matita_130312 = lowPrio ocamlPackages.matita_130312;
-
   metis-prover = callPackage ../applications/science/logic/metis-prover { };
 
   mcrl2 = callPackage ../applications/science/logic/mcrl2 { };
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix
index 4de581e2932d..5f6d6fc9bc1d 100644
--- a/pkgs/top-level/ocaml-packages.nix
+++ b/pkgs/top-level/ocaml-packages.nix
@@ -1051,12 +1051,6 @@ let
       camlp5 = camlp5_strict;
     };
 
-    matita = callPackage ../applications/science/logic/matita {
-      ulex08 = ulex08.override { camlp5 = camlp5_old_transitional; };
-    };
-
-    matita_130312 = callPackage ../applications/science/logic/matita/130312.nix { };
-
   };
     in (ocamlPackages.janeStreet // ocamlPackages);
     in lib.fix' (lib.extends overrides packageSet);