From e33563438ec60e383e27bb933f43348265c53071 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 15 Oct 2019 06:03:48 +0000 Subject: [PATCH] ocamlPackages.doc-ock-xml: remove at 1.2.1 This is now part of ocamlPackages.odoc --- .../ocaml-modules/doc-ock-xml/default.nix | 22 ------------------- pkgs/top-level/ocaml-packages.nix | 2 -- 2 files changed, 24 deletions(-) delete mode 100644 pkgs/development/ocaml-modules/doc-ock-xml/default.nix diff --git a/pkgs/development/ocaml-modules/doc-ock-xml/default.nix b/pkgs/development/ocaml-modules/doc-ock-xml/default.nix deleted file mode 100644 index cebf7707788d..000000000000 --- a/pkgs/development/ocaml-modules/doc-ock-xml/default.nix +++ /dev/null @@ -1,22 +0,0 @@ -{ stdenv, fetchFromGitHub, buildDunePackage, doc-ock, menhir, xmlm }: - -buildDunePackage rec { - pname = "doc-ock-xml"; - version = "1.2.1"; - - src = fetchFromGitHub { - owner = "ocaml-doc"; - repo = pname; - rev = "v${version}"; - sha256 = "1s27ri7vj9ixi5p5ixg6g6invk96807bvxbqjrr1dm8sxgl1nd20"; - }; - - propagatedBuildInputs = [ doc-ock menhir xmlm ]; - - meta = { - description = "XML printer and parser for Doc-Ock"; - license = stdenv.lib.licenses.isc; - maintainers = [ stdenv.lib.maintainers.vbgl ]; - inherit (src.meta) homepage; - }; -} diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index f6ec287ade56..d5d98aa77625 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -213,8 +213,6 @@ let doc-ock = callPackage ../development/ocaml-modules/doc-ock { }; - doc-ock-xml = callPackage ../development/ocaml-modules/doc-ock-xml { }; - dolmen = callPackage ../development/ocaml-modules/dolmen { }; dolog = callPackage ../development/ocaml-modules/dolog { };