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

coqPackages.coq-hammer: enable for Coq 9.1 (#462523)

Browse Source
This commit is contained in:
Vincent Laporte
2025-11-24 03:42:28 +00:00
committed by GitHub
parent a098bab3a5 74d49c55d1
commit c6f2f0cd7b
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/coq-modules/coq-hammer/tactics.nix
+2
View File
@@ -13,6 +13,7 @@ let
defaultVersion =
lib.switch coq.coq-version [
(case "9.1" "1.3.2+9.1")
(case "9.0" "1.3.2+9.0")
(case "8.20" "1.3.2+8.20")
(case "8.19" "1.3.2+8.19")
@@ -22,6 +23,7 @@ let
] null;
release = {
"1.3.2+9.1".sha256 = "sha256-SXNVniCzx8yUcwkNRRCqfETiGQi+8hSO46/UQnyGa8E=";
"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=";