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

coqPackages.coq-hammer: fix hash (#464460)

Browse Source
This commit is contained in:
Vincent Laporte
2025-11-24 07:12:16 +00:00
committed by GitHub
parent bc8cabee73 49ab2d4637
commit d038b8ee1d
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-hammer/tactics.nix
+1 -1
View File
@@ -23,7 +23,7 @@ let
] null;
release = {
"1.3.2+9.1".sha256 = "sha256-SXNVniCzx8yUcwkNRRCqfETiGQi+8hSO46/UQnyGa8E=";
"1.3.2+9.1".sha256 = "sha256-tf+Hrfv/ZrLXryTjJchvLfydxzjkXB2hbL7P280Clzw=";
"1.3.2+9.0".sha256 = "sha256-/UHtK9fjpHTbra4/Cnsjt8fg1fvxx7U6kGjQPm15NwM=";
"1.3.2+8.20".sha256 = "sha256-RuX2aInSjwebs/aEOoisNxqcIPqDA2kWehN9tFYqOx4=";
"1.3.2+8.19".sha256 = "sha256-Zd7piAWlKPAZKEz7HVWxhnzOLbA/eR9C/E0T298MJVY=";