Unverified Commit 8a420650 authored by Vincent Laporte's avatar Vincent Laporte Committed by GitHub
Browse files

coqPackages_9_1: enable aac-tactics, rewriter, unicoq, and mtac2 (#505435)

parents c5d42ae7 b8d1c098

pkgs/development/coq-modules/aac-tactics/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -36,7 +36,7 @@ mkCoqDerivation { 


    lib.switch coq.coq-version [

      {

        case = "9.0";

        case = lib.versions.isGe "9.0";

        out = "9.0.0";

      }

      {

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

+5 −0
Original line number Diff line number Diff line
@@ -14,11 +14,16 @@ mkCoqDerivation { 
  defaultVersion =

    with lib.versions;

    lib.switch coq.version [

      {

        case = isEq "9.1";

        out = "1.4-rocq${coq.coq-version}";

      }

      {

        case = range "8.19" "9.0";

        out = "1.4-coq${coq.coq-version}";

      }

    ] null;

  release."1.4-rocq9.1".hash = "sha256-A+ac84ZfDMW2NhS/NrGIfdairXmzXxZIYGNmJIz0ReM=";

  release."1.4-coq9.0".sha256 = "sha256-pAPBRCW7M46UZPJ+v/0xAT8mpQURN8czMmlrfYz/MVU=";

  release."1.4-coq8.20".sha256 = "sha256-3nu/8zDvdnl6WzGtw46mVcdqgkRgc6Xy8/I+lUOrSIY=";

  release."1.4-coq8.19".sha256 = "sha256-G9eK0eLyECdT20/yf8yyz7M8Xq2WnHHaHpxVGP0yTtU=";

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

+1 −1
Original line number Diff line number Diff line
@@ -16,7 +16,7 @@ mkCoqDerivation { 
    in

    lib.switch coq.coq-version [

      {

        case = range "8.17" "9.0";

        case = range "8.17" "9.2";

        out = "0.0.15";

      }

    ] null;

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

+6 −0
Original line number Diff line number Diff line
@@ -12,6 +12,10 @@ mkCoqDerivation { 
  defaultVersion =

    with lib.versions;

    lib.switch coq.version [

      {

        case = isGe "9.1";

        out = "1.6-9.1";

      }

      {

        case = range "8.20" "9.0";

        out = "1.6-8.20";
@@ -21,6 +25,8 @@ mkCoqDerivation { 
        out = "1.6-8.19";

      }

    ] null;

  release."1.6-9.1".rev = "0cf37ef7e638bfaad6e804e17bd80e7bb0e1b717";

  release."1.6-9.1".hash = "sha256-1EKDkj33pg3AsEpckZYqWppPUZV2OkxM2xLq2zvZGMQ=";

  release."1.6-8.20".sha256 = "sha256-zne9LB0lGdqUfrBe8cDK8fwuxfBDFU4PqNlt9nl7rNI=";

  release."1.6-8.19".sha256 = "sha256-fDk60B8AzJwiemxHGgWjNu6PTu6NcJoI9uK7Ww2AT14=";

  releaseRev = v: "v${v}";