Unverified Commit a2d9192c authored by Nick Cao's avatar Nick Cao Committed by GitHub
Browse files

Merge pull request #233590 from NixOS/backport-232214-to-release-23.05 

[Backport release-23.05] coqPackages.CoLoR: 1.8.2 → 1.8.3
parents 7503df03 b2dc3d2f

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

+2 −0
Original line number Diff line number Diff line
@@ -5,12 +5,14 @@ mkCoqDerivation { 
  owner = "fblanqui";

  inherit version;

  defaultVersion = with lib.versions; lib.switch coq.version [

    {case = range "8.14" "8.17"; out = "1.8.3"; }

    {case = range "8.12" "8.16"; out = "1.8.2"; }

    {case = range "8.10" "8.11"; out = "1.7.0"; }

    {case = range "8.8"  "8.9";  out = "1.6.0"; }

    {case = range "8.6"  "8.7";  out = "1.4.0"; }

  ] null;



  release."1.8.3".sha256 = "sha256-mMUzIorkQ6WWQBJLk1ioUNwAdDdGHJyhenIvkAjALVU=";

  release."1.8.2".sha256 = "sha256:1gvx5cxm582793vxzrvsmhxif7px18h9xsb2jljy2gkphdmsnpqj";

  release."1.8.1".sha256 = "0knhca9fffmyldn4q16h9265i7ih0h4jhcarq4rkn0wnn7x8w8yw";

  release."1.7.0".rev    = "08b5481ed6ea1a5d2c4c068b62156f5be6d82b40";