diff options
| author | Enrico Tassi <Enrico.Tassi@Inria.fr> | 2022-06-30 13:40:36 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-08-31 19:00:56 +0200 |
| commit | e50697278bf4ff7a1dfc30cbb44f17832d1d1250 (patch) | |
| tree | 626a7ae013b5d084d99ead919675b36cf4707932 /pkgs/development/coq-modules/mathcomp-analysis | |
| parent | 658cde9a8bc2faa14b9ac0612dc0b1c33575f5c3 (diff) | |
mathcomp: 1.14.0 -> 1.15.0
Diffstat (limited to 'pkgs/development/coq-modules/mathcomp-analysis')
| -rw-r--r-- | pkgs/development/coq-modules/mathcomp-analysis/default.nix | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/pkgs/development/coq-modules/mathcomp-analysis/default.nix b/pkgs/development/coq-modules/mathcomp-analysis/default.nix index ec60af63fb135..19c4e6a5a187f 100644 --- a/pkgs/development/coq-modules/mathcomp-analysis/default.nix +++ b/pkgs/development/coq-modules/mathcomp-analysis/default.nix @@ -9,6 +9,8 @@ let mca = mkCoqDerivation { owner = "math-comp"; release."0.5.3".sha256 = "sha256-1NjFsi5TITF8ZWx1NyppRmi8g6YaoUtTdS9bU/sUe5k="; + release."0.5.2".sha256 = "0yx5p9zyl8jv1vg7rgkyq8dqzkdnkqv969mi62whmhkvxbavgzbw"; + release."0.5.1".sha256 = "1hnzqb1gxf88wgj2n1b0f2xm6sxg9j0735zdsv6j12hlvx5lwk68"; release."0.3.13".sha256 = "sha256-Yaztew79KWRC933kGFOAUIIoqukaZOdNOdw4XszR1Hg="; release."0.3.10".sha256 = "sha256-FBH2c8QRibq5Ycw/ieB8mZl0fDiPrYdIzZ6W/A3pIhI="; release."0.3.9".sha256 = "sha256-uUU9diBwUqBrNRLiDc0kz0CGkwTZCUmigPwLbpDOeg4="; @@ -20,13 +22,15 @@ let mca = mkCoqDerivation { inherit version; defaultVersion = with versions; switch [ coq.version mathcomp.version ] [ - { cases = [ (isGe "8.14") (isGe "1.13.0") ]; out = "0.5.3"; } - { cases = [ (isGe "8.13") (isGe "1.12.0") ]; out = "0.3.13"; } - { cases = [ (range "8.11" "8.14") (isGe "1.12.0") ]; out = "0.3.10"; } - { cases = [ (range "8.11" "8.13") "1.11.0" ]; out = "0.3.4"; } - { cases = [ (range "8.10" "8.12") "1.11.0" ]; out = "0.3.3"; } - { cases = [ (range "8.10" "8.11") "1.11.0" ]; out = "0.3.1"; } - { cases = [ (range "8.8" "8.11") (range "1.8" "1.10") ]; out = "0.2.3"; } + { cases = [ (isGe "8.14") (isGe "1.13.0") ]; out = "0.5.3"; } + { cases = [ (isGe "8.14") (range "1.13" "1.15") ]; out = "0.5.2"; } + { cases = [ (isGe "8.13") (range "1.13" "1.14") ]; out = "0.5.1"; } + { cases = [ (range "8.13" "8.15") (range "1.12" "1.14") ]; out = "0.3.13"; } + { cases = [ (range "8.11" "8.14") (isGe "1.12.0") ]; out = "0.3.10"; } + { cases = [ (range "8.11" "8.13") "1.11.0" ]; out = "0.3.4"; } + { cases = [ (range "8.10" "8.12") "1.11.0" ]; out = "0.3.3"; } + { cases = [ (range "8.10" "8.11") "1.11.0" ]; out = "0.3.1"; } + { cases = [ (range "8.8" "8.11") (range "1.8" "1.10") ]; out = "0.2.3"; } ] null; propagatedBuildInputs = |