public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ocamlPackages.doc-ock-html: remove at 1.2.1

Browse Source 
This is now part of ocamlPackages.odoc
This commit is contained in:
Vincent Laporte 2019-10-15 06:03:42 +00:00
parent 983df8cd79
commit 960dfbc5b4
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
2 changed files with 0 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
pkgs/development/ocaml-modules/doc-ock-html/default.nix
View File

@ -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;
};
}

2
pkgs/top-level/ocaml-packages.nix
View File

@ -213,8 +213,6 @@ let
doc-ock = callPackage ../development/ocaml-modules/doc-ock { }; doc-ock = callPackage ../development/ocaml-modules/doc-ock { };
doc-ock-html = callPackage ../development/ocaml-modules/doc-ock-html { };
doc-ock-xml = callPackage ../development/ocaml-modules/doc-ock-xml { }; doc-ock-xml = callPackage ../development/ocaml-modules/doc-ock-xml { };
dolmen = callPackage ../development/ocaml-modules/dolmen { }; dolmen = callPackage ../development/ocaml-modules/dolmen { };