nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-17 19:23:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

coq2html: use new SRI hash format

Browse Source
This commit is contained in:
AndersonTorres 2022-06-02 21:56:38 -03:00
parent 34b9e86a10
commit e7ef797f04
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/tools/typesetting/coq2html/default.nix
View File

@ -8,7 +8,7 @@ stdenv.mkDerivation rec {
owner = "xavierleroy";
repo = "coq2html";
rev = "v${version}";
sha256 = "sha256:1ad825yifn518wk1c2y2ji10q3m468r8ajjgw2nzzy7d608nx7yq";
hash = "sha256-2J9uETDt+P+t4E9KhTIypA4MQpTCCxYmR6FYF30RqKk=";
};
nativeBuildInputs = [ ocaml ];