Commit d5abae43 authored by Vincent Laporte's avatar Vincent Laporte Committed by Vincent Laporte
Browse files

coqPackages.math-classes: 8.15.0 → 8.17.0 

(cherry picked from commit ae809a58f6d95a09223a3ca3368d0ae76c70e7d8)
parent 6d633268

pkgs/development/coq-modules/math-classes/default.nix

+5 −1
Original line number Diff line number Diff line
@@ -4,10 +4,14 @@ mkCoqDerivation { 


  pname = "math-classes";

  inherit version;

  defaultVersion = if lib.versions.range "8.6" "8.16" coq.coq-version then "8.15.0" else null;

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

    { case = range "8.12" "8.17"; out = "8.17.0"; }

    { case = range "8.6"  "8.16"; out = "8.15.0"; }

  ] null;

  release."8.12.0".sha256 = "14nd6a08zncrl5yg2gzk0xf4iinwq4hxnsgm4fyv07ydbkxfb425";

  release."8.13.0".sha256 = "1ln7ziivfbxzbdvlhbvyg3v30jgblncmwcsam6gg3d1zz6r7cbby";

  release."8.15.0".sha256 = "10w1hm537k6jx8a8vghq1yx12rsa0sjk2ipv3scgir71ln30hllw";

  release."8.17.0".sha256 = "sha256-WklL8pgYTd0l4TGt7h7tWj1qcFcXvoPn25+XKF1pIKA=";



  propagatedBuildInputs = [ bignums ];