diff options
Diffstat (limited to 'pkgs/applications/science/logic/coq2html')
-rw-r--r-- | pkgs/applications/science/logic/coq2html/default.nix | 25 |
1 files changed, 11 insertions, 14 deletions
diff --git a/pkgs/applications/science/logic/coq2html/default.nix b/pkgs/applications/science/logic/coq2html/default.nix index 46f2ebd775bfc..393b84640805a 100644 --- a/pkgs/applications/science/logic/coq2html/default.nix +++ b/pkgs/applications/science/logic/coq2html/default.nix @@ -1,20 +1,17 @@ -{ lib, stdenv, fetchgit, ocaml }: +{ lib, stdenv, fetchFromGitHub, ocaml }: -let - version = "20170720"; -in - -stdenv.mkDerivation { +stdenv.mkDerivation rec { pname = "coq2html"; - inherit version; + version = "1.2"; - src = fetchgit { - url = "https://github.com/xavierleroy/coq2html"; - rev = "e2b94093c6b9a877717f181765e30577de22439e"; - sha256 = "1x466j0pyjggyz0870pdllv9f5vpnfrgkd0w7ajvm9rkwyp3f610"; + src = fetchFromGitHub { + owner = "xavierleroy"; + repo = "coq2html"; + rev = "v${version}"; + sha256 = "sha256-ty/6A3wivjDCrmlZAcZyaIwQQ+vPBJm9MhtW6nZcV3s="; }; - buildInputs = [ ocaml ]; + nativeBuildInputs = [ ocaml ]; installPhase = '' mkdir -p $out/bin @@ -32,8 +29,8 @@ stdenv.mkDerivation { "Proof" keyword. ''; homepage = "https://github.com/xavierleroy/coq2html"; - license = licenses.gpl2; - maintainers = with maintainers; [ jwiegley ]; + license = licenses.gpl2Plus; + maintainers = with maintainers; [ jwiegley siraben ]; platforms = platforms.unix; }; } |