Commit b8b0db70 authored by Lucie's avatar Lucie Committed by Vincent Laporte
Browse files

coqPackages.coq-elpi: 2.5.0 -> 2.5.2

parent 6d295c7e

pkgs/development/coq-modules/coq-elpi/default.nix

+3 −2
Original line number Diff line number Diff line
@@ -72,11 +72,11 @@ let 
    defaultVersion = lib.switch coq.coq-version [

      {

        case = "9.0";

        out = "2.5.0";

        out = "2.5.2";

      }

      {

        case = "8.20";

        out = "2.5.0";

        out = "2.5.2";

      }

      {

        case = "8.19";
@@ -115,6 +115,7 @@ let 
        out = "1.6.3_8.11";

      }

    ] null;

    release."2.5.2".sha256 = "sha256-lLzjPrbVB3rrqox528YiheUb0u89R84Xmrgkn0oplOs=";

    release."2.5.0".sha256 = "sha256-Z5xjO83X/ZoTQlWnVupGXPH3HuJefr57Kv128I0dltg=";

    release."2.4.0".sha256 = "sha256-W2+vVGExLLux8e0nSZESSoMVvrLxhL6dmXkb+JuKiqc=";

    release."2.3.0".sha256 = "sha256-XVOI+s8Qpa7f17+Xq0y7IGPLFeJqo+cDcd3zfMuO7UU=";