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

coqPackages.coq-tactical: modernize mkCoqDerivation release hash format

Browse Source
This commit is contained in:
Yifei Sun
2026-06-17 21:33:57 +02:00
parent 077d45d30b
commit 6a728a7eea
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/coq-tactical/default.nix
+1 -1
View File
@@ -22,7 +22,7 @@ mkCoqDerivation {
release."2022-02-15" = {
rev = "7c26f9a017395c240845184dfed23489d29dbae5";
sha256 = "sha256-SNoQzGYw5tuabHUDwMAyUsAa/WNoYjmyR85b7a0hVl4=";
hash = "sha256-SNoQzGYw5tuabHUDwMAyUsAa/WNoYjmyR85b7a0hVl4=";
};
installPhase = ''