[nix] remove packages whose default is now OK

nix/odoc-parser.nix

-{ lib, fetchurl, buildDunePackage, ocaml, astring, result, camlp-streams }:
-
-buildDunePackage rec {
-  pname = "odoc-parser";
-  version = "2.4.1";
-
-  minimalOCamlVersion = "4.02";
-
-  src = fetchurl {
-    url = "https://github.com/ocaml/odoc/releases/download/${version}/odoc-${version}.tbz";
-    sha256 = "sha256-uBSguQILUD62fxfR2alp0FK2PYzcfN+l+3k7E3VYzts=";
-  };
-
-  propagatedBuildInputs = [ astring result camlp-streams ];
-
-  meta = {
-    description = "Parser for Ocaml documentation comments";
-    license = lib.licenses.isc;
-    maintainers = [ lib.maintainers.marsam ];
-    homepage = "https://github.com/ocaml-doc/odoc-parser";
-    changelog = "https://github.com/ocaml-doc/odoc-parser/raw/${version}/CHANGES.md";
-  };
-}

nix/odoc.nix

-{ lib, fetchurl, buildDunePackage, ocaml
-, astring, cmdliner, cppo, fpath, result, tyxml
-, odoc-parser, fmt, crunch
-}:
-
-buildDunePackage rec {
-  pname = "odoc";
-  version = "2.4.1";
-
-  src = fetchurl {
-    url = "https://github.com/ocaml/odoc/releases/download/${version}/odoc-${version}.tbz";
-    sha256 = "sha256-uBSguQILUD62fxfR2alp0FK2PYzcfN+l+3k7E3VYzts=";
-  };
-
-  nativeBuildInputs = [ cppo crunch ];
-  buildInputs = [ astring cmdliner fpath result tyxml odoc-parser fmt ];
-
-  doCheck = false;
-
-  meta = {
-    description = "A documentation generator for OCaml";
-    license = lib.licenses.isc;
-    maintainers = [ lib.maintainers.vbgl ];
-    homepage = "https://github.com/ocaml/odoc";
-    changelog = "https://github.com/ocaml/odoc/blob/${version}/CHANGES.md";
-  };
-}

nix/pkgs.nix

@@ -5,9 +5,6 @@ let
     alt-ergo = oself.callPackage ./alt-ergo.nix {};
     combinetura = oself.callPackage ./combinetura.nix {};
     mlmpfr = oself.callPackage ./mlmpfr.nix {};
-    odoc = oself.callPackage ./odoc.nix {};
-    odoc-parser = oself.callPackage ./odoc-parser.nix {};
-    ppxlib = oself.callPackage ./ppxlib.nix {};
     why3 = oself.callPackage ./why3.nix {};
 
     # Helpers

nix/ppxlib.nix

-{ lib, fetchurl, buildDunePackage, ocaml,
-  stdlib-shims, ocaml-compiler-libs, ppx_derivers, stdio
-}:
-
-buildDunePackage rec {
-  pname = "ppxlib";
-  version = "0.32.0";
-
-  duneVersion = "3";
-
-  src = fetchurl {
-    url = "https://github.com/ocaml-ppx/ppxlib/releases/download/${version}/ppxlib-${version}.tbz";
-    sha256 = "sha256-UHzHPM+JXyLutSV6IkODjBijigkQX8/1Xu75FIVVQis=";
-  };
-
-  propagatedBuildInputs = [
-    ocaml-compiler-libs
-    ppx_derivers
-    stdio
-    stdlib-shims
-  ];
-
-  meta = {
-    description = "Comprehensive ppx tool set";
-    license = lib.licenses.mit;
-    maintainers = [ lib.maintainers.vbgl ];
-    homepage = "https://github.com/ocaml-ppx/ppxlib";
-  };
-}