tjh.dev
fork
Configure Feed
Select the types of activity you want to include in your feed.
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
fork
Configure Feed
Select the types of activity you want to include in your feed.
1{
2 lib,
3 stdenv,
4 fetchFromGitHub,
5 ocaml,
6}:
7
8stdenv.mkDerivation (finalAttrs: {
9 pname = "coq2html";
10 version = "1.4";
11
12 src = fetchFromGitHub {
13 owner = "xavierleroy";
14 repo = "coq2html";
15 rev = "v${finalAttrs.version}";
16 hash = "sha256-dBXYeRwBhBWXJfdULLzfgZU+WD6WC6R8wV2eS1zAkq8=";
17 };
18
19 nativeBuildInputs = [ ocaml ];
20
21 installPhase = ''
22 mkdir -p $out/bin
23 cp coq2html $out/bin
24 '';
25
26 meta = {
27 description = "HTML documentation generator for Coq source files";
28 longDescription = ''
29 coq2html is an HTML documentation generator for Coq source files. It is
30 an alternative to the standard coqdoc documentation generator
31 distributed along with Coq. The major feature of coq2html is its ability
32 to fold proof scripts: in the generated HTML, proof scripts are
33 initially hidden, but can be revealed one by one by clicking on the
34 "Proof" keyword.
35 '';
36 homepage = "https://github.com/xavierleroy/coq2html";
37 license = lib.licenses.gpl2Plus;
38 maintainers = with lib.maintainers; [
39 jwiegley
40 siraben
41 ];
42 platforms = lib.platforms.unix;
43 mainProgram = "coq2html";
44 };
45})