BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

coq2html: 20170720 -> 1.2

Browse source
This commit is contained in:
Ben Siraphob 2021-04-30 13:49:09 +07:00 committed by Vincent Laporte
parent 1d75f482ed
commit 418a37d99c
1 changed files with 11 additions and 14 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

25
pkgs/applications/science/logic/coq2html/default.nix
View file

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