gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coqPackages.parseque: modernize mkCoqDerivation release hash format

Browse Source
This commit is contained in:
Yifei Sun
2026-06-17 21:34:16 +02:00
parent 049e371f89
commit 22109292e2
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/coq-modules/parseque/default.nix
+1 -1
View File
@@ -20,7 +20,7 @@ let
(case (lib.versions.range "8.16" "8.20") "0.2.2")
] null;
release."0.2.2".sha256 = "sha256-O50Rs7Yf1H4wgwb7ltRxW+7IF0b04zpfs+mR83rxT+E=";
release."0.2.2".hash = "sha256-O50Rs7Yf1H4wgwb7ltRxW+7IF0b04zpfs+mR83rxT+E=";
releaseRev = v: "v${v}";