Commit 7c1ef2ca authored by Justin Restivo's avatar Justin Restivo
Browse files

coqPackages_8_20.coq-hammer: init at v1.3.2

parent 41882c60

pkgs/development/coq-modules/coq-hammer/tactics.nix

+5 −0
Original line number Diff line number Diff line
@@ -12,6 +12,10 @@ let 
  defaultVersion =

    with lib.versions;

    lib.switch coq.coq-version [

      {

        case = "8.20";

        out = "1.3.2+8.20";

      }

      {

        case = "8.19";

        out = "1.3.2+8.19";
@@ -31,6 +35,7 @@ let 
    ] null;



  release = {

    "1.3.2+8.20".sha256 = "sha256-RuX2aInSjwebs/aEOoisNxqcIPqDA2kWehN9tFYqOx4=";

    "1.3.2+8.19".sha256 = "sha256-Zd7piAWlKPAZKEz7HVWxhnzOLbA/eR9C/E0T298MJVY=";

    "1.3.2+8.18".sha256 = "sha256-D+tQ+1YrSbbqc54U5UlxW1Hhly49TB2pu1LEPL2Eo64=";

    "1.3.2+8.17".sha256 = "sha256-2fw66z3yFKs5g+zNCeYXiEyxPzjUr+lGDciiQiuuMAs=";