aboutsummaryrefslogtreecommitdiff
path: root/nixpkgs/pkgs/development/ocaml-modules/doc-ock-html/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'nixpkgs/pkgs/development/ocaml-modules/doc-ock-html/default.nix')
-rw-r--r--nixpkgs/pkgs/development/ocaml-modules/doc-ock-html/default.nix22
1 files changed, 0 insertions, 22 deletions
diff --git a/nixpkgs/pkgs/development/ocaml-modules/doc-ock-html/default.nix b/nixpkgs/pkgs/development/ocaml-modules/doc-ock-html/default.nix
deleted file mode 100644
index cd2e2761b50..00000000000
--- a/nixpkgs/pkgs/development/ocaml-modules/doc-ock-html/default.nix
+++ /dev/null
@@ -1,22 +0,0 @@
-{ stdenv, fetchFromGitHub, buildDunePackage, doc-ock, tyxml, xmlm }:
-
-buildDunePackage rec {
- pname = "doc-ock-html";
- version = "1.2.1";
-
- src = fetchFromGitHub {
- owner = "ocaml-doc";
- repo = pname;
- rev = "v${version}";
- sha256 = "1y620h48qrplmcm78g7c78zibpkai4j3icwmnx95zb3r8xq8554y";
- };
-
- propagatedBuildInputs = [ doc-ock tyxml xmlm ];
-
- meta = {
- description = "From doc-ock to HTML";
- license = stdenv.lib.licenses.isc;
- maintainers = [ stdenv.lib.maintainers.vbgl ];
- inherit (src.meta) homepage;
- };
-}