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

coqPackages.Ordinal: 0.5.4 -> 0.5.6 (#496086)

parents 7c342c55 719809a4

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

+6 −2
Original line number Diff line number Diff line
@@ -2,6 +2,7 @@ 
  lib,

  mkCoqDerivation,

  coq,

  stdlib,

  version ? null,

}:

mkCoqDerivation {
@@ -12,11 +13,13 @@ mkCoqDerivation { 
    with lib.versions;

    lib.switch coq.version [

      {

        case = range "8.12" "8.20";

        out = "0.5.4";

        case = range "8.12" "9.2";

        out = "0.5.6";

      }

    ] null;

  release = {

    "0.5.6".sha256 = "sha256-ox9GaUsh/tWJGEPawPnNqXULI0kYglKmNmiTL8dF3uU=";

    "0.5.5".sha256 = "sha256-Z7+alcN63hxJOtBAXPg9ExNdwS2SiB63ZjDEnPhGi6g=";

    "0.5.4".sha256 = "sha256-PaEC71FzJzHVGYpf3J1jvb/JsJzzMio0L5d5dPwiXuc=";

    "0.5.3".sha256 = "sha256-Myxwy749ZCBpqia6bf91cMTyJn0nRzXskD7Ue8kc37c=";

    "0.5.2".sha256 = "sha256-jf16EyLAnKm+42K+gTTHVFJqeOVQfIY2ozbxIs5x5DE=";
@@ -24,6 +27,7 @@ mkCoqDerivation { 
    "0.5.0".sha256 = "sha256-Jq0LnR7TgRVcPqh8Ha6tIIK3KfRUgmzA9EhxeySgPnM=";

  };

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

  propagatedBuildInputs = [ stdlib ];

  installPhase = ''

    make -f Makefile.coq COQMF_COQLIB=$out/lib/coq/${coq.coq-version}/ install

  '';