pyrox.dev / nixpkgs
lol
fork atom

coq2html: 1.2 → 1.3

authored by Vincent Laporte and committed by Vincent Laporte e31bc3d2 2db064d0

+3 -3
unified split
+2 -2
pkgs/applications/science/logic/coq2html/default.nix pkgs/tools/typesetting/coq2html/default.nix
··· 2 3 stdenv.mkDerivation rec { 4 pname = "coq2html"; 5 - version = "1.2"; 6 7 src = fetchFromGitHub { 8 owner = "xavierleroy"; 9 repo = "coq2html"; 10 rev = "v${version}"; 11 - sha256 = "sha256-ty/6A3wivjDCrmlZAcZyaIwQQ+vPBJm9MhtW6nZcV3s="; 12 }; 13 14 nativeBuildInputs = [ ocaml ];
··· 2 3 stdenv.mkDerivation rec { 4 pname = "coq2html"; 5 + version = "1.3"; 6 7 src = fetchFromGitHub { 8 owner = "xavierleroy"; 9 repo = "coq2html"; 10 rev = "v${version}"; 11 + sha256 = "sha256:1ad825yifn518wk1c2y2ji10q3m468r8ajjgw2nzzy7d608nx7yq"; 12 }; 13 14 nativeBuildInputs = [ ocaml ];
+1 -1
pkgs/top-level/all-packages.nix
··· 31069 coqPackages coq 31070 ; 31071 31072 - coq2html = callPackage ../applications/science/logic/coq2html { }; 31073 31074 cryptoverif = callPackage ../applications/science/logic/cryptoverif { }; 31075
··· 31069 coqPackages coq 31070 ; 31071 31072 + coq2html = callPackage ../tools/typesetting/coq2html { }; 31073 31074 cryptoverif = callPackage ../applications/science/logic/cryptoverif { }; 31075