commit e50697278bf4ff7a1dfc30cbb44f17832d1d1250 · pyrox.dev/nixpkgs

+2 -1

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

··· 7 release."1.12".sha256 = "sha256:0c6cim4x6f9944g8v0cp0lxs244lrhb04ms4y2s6y1wh321zj5mi"; 8 release."1.13".sha256 = "sha256:0i8ix2rbw10v34bi0yrx0z89ng96ydqbxm8rv2rnfgy4d1b27x6q"; 9 release."1.14".sha256 = "sha256-wgeQC0fIN3PSmRY1K6/KTy+rJmqqxdo3Bhsz1vjVAes="; 10 releaseRev = (v: "v${v}"); 11 12 inherit version; 13 defaultVersion = with versions; switch [ coq.version mathcomp.version ] [ 14 - { cases = [ (range "8.10" "8.15") (isGe "1.12.0") ]; out = "1.14"; } 15 { cases = [ (range "8.10" "8.12") "1.11.0" ]; out = "1.11"; } 16 ] null; 17

··· 7 release."1.12".sha256 = "sha256:0c6cim4x6f9944g8v0cp0lxs244lrhb04ms4y2s6y1wh321zj5mi"; 8 release."1.13".sha256 = "sha256:0i8ix2rbw10v34bi0yrx0z89ng96ydqbxm8rv2rnfgy4d1b27x6q"; 9 release."1.14".sha256 = "sha256-wgeQC0fIN3PSmRY1K6/KTy+rJmqqxdo3Bhsz1vjVAes="; 10 + release."1.15".sha256 = "sha256:04zchnkvaq2mzpcilpspn5l947689gj3m0w20m0nd7w4drvlahnw"; 11 releaseRev = (v: "v${v}"); 12 13 inherit version; 14 defaultVersion = with versions; switch [ coq.version mathcomp.version ] [ 15 + { cases = [ (range "8.10" "8.16") (isGe "1.12.0") ]; out = "1.15"; } 16 { cases = [ (range "8.10" "8.12") "1.11.0" ]; out = "1.11"; } 17 ] null; 18

+2 -1

pkgs/development/coq-modules/hierarchy-builder/default.nix

··· 5 owner = "math-comp"; 6 inherit version; 7 defaultVersion = with versions; switch coq.coq-version [ 8 - { case = range "8.15" "8.16"; out = "1.2.1"; } 9 { case = range "8.13" "8.14"; out = "1.2.0"; } 10 { case = range "8.12" "8.13"; out = "1.1.0"; } 11 { case = isEq "8.11"; out = "0.10.0"; } 12 ] null; 13 release."1.2.1".sha256 = "sha256-pQYZJ34YzvdlRSGLwsrYgPdz3p/l5f+KhJjkYT08Mj0="; 14 release."1.2.0".sha256 = "0sk01rvvk652d86aibc8rik2m8iz7jn6mw9hh6xkbxlsvh50719d"; 15 release."1.1.0".sha256 = "sha256-spno5ty4kU4WWiOfzoqbXF8lWlNSlySWcRReR3zE/4Q=";

··· 5 owner = "math-comp"; 6 inherit version; 7 defaultVersion = with versions; switch coq.coq-version [ 8 + { case = range "8.15" "8.16"; out = "1.3.0"; } 9 { case = range "8.13" "8.14"; out = "1.2.0"; } 10 { case = range "8.12" "8.13"; out = "1.1.0"; } 11 { case = isEq "8.11"; out = "0.10.0"; } 12 ] null; 13 + release."1.3.0".sha256 = "17k7rlxdx43qda6i1yafpgc64na8br285cb0mbxy5wryafcdrkrc"; 14 release."1.2.1".sha256 = "sha256-pQYZJ34YzvdlRSGLwsrYgPdz3p/l5f+KhJjkYT08Mj0="; 15 release."1.2.0".sha256 = "0sk01rvvk652d86aibc8rik2m8iz7jn6mw9hh6xkbxlsvh50719d"; 16 release."1.1.0".sha256 = "sha256-spno5ty4kU4WWiOfzoqbXF8lWlNSlySWcRReR3zE/4Q=";

+11 -7

pkgs/development/coq-modules/mathcomp-analysis/default.nix

··· 9 owner = "math-comp"; 10 11 release."0.5.3".sha256 = "sha256-1NjFsi5TITF8ZWx1NyppRmi8g6YaoUtTdS9bU/sUe5k="; 12 release."0.3.13".sha256 = "sha256-Yaztew79KWRC933kGFOAUIIoqukaZOdNOdw4XszR1Hg="; 13 release."0.3.10".sha256 = "sha256-FBH2c8QRibq5Ycw/ieB8mZl0fDiPrYdIzZ6W/A3pIhI="; 14 release."0.3.9".sha256 = "sha256-uUU9diBwUqBrNRLiDc0kz0CGkwTZCUmigPwLbpDOeg4="; ··· 20 21 inherit version; 22 defaultVersion = with versions; switch [ coq.version mathcomp.version ] [ 23 - { cases = [ (isGe "8.14") (isGe "1.13.0") ]; out = "0.5.3"; } 24 - { cases = [ (isGe "8.13") (isGe "1.12.0") ]; out = "0.3.13"; } 25 - { cases = [ (range "8.11" "8.14") (isGe "1.12.0") ]; out = "0.3.10"; } 26 - { cases = [ (range "8.11" "8.13") "1.11.0" ]; out = "0.3.4"; } 27 - { cases = [ (range "8.10" "8.12") "1.11.0" ]; out = "0.3.3"; } 28 - { cases = [ (range "8.10" "8.11") "1.11.0" ]; out = "0.3.1"; } 29 - { cases = [ (range "8.8" "8.11") (range "1.8" "1.10") ]; out = "0.2.3"; } 30 ] null; 31 32 propagatedBuildInputs =

··· 9 owner = "math-comp"; 10 11 release."0.5.3".sha256 = "sha256-1NjFsi5TITF8ZWx1NyppRmi8g6YaoUtTdS9bU/sUe5k="; 12 + release."0.5.2".sha256 = "0yx5p9zyl8jv1vg7rgkyq8dqzkdnkqv969mi62whmhkvxbavgzbw"; 13 + release."0.5.1".sha256 = "1hnzqb1gxf88wgj2n1b0f2xm6sxg9j0735zdsv6j12hlvx5lwk68"; 14 release."0.3.13".sha256 = "sha256-Yaztew79KWRC933kGFOAUIIoqukaZOdNOdw4XszR1Hg="; 15 release."0.3.10".sha256 = "sha256-FBH2c8QRibq5Ycw/ieB8mZl0fDiPrYdIzZ6W/A3pIhI="; 16 release."0.3.9".sha256 = "sha256-uUU9diBwUqBrNRLiDc0kz0CGkwTZCUmigPwLbpDOeg4="; ··· 22 23 inherit version; 24 defaultVersion = with versions; switch [ coq.version mathcomp.version ] [ 25 + { cases = [ (isGe "8.14") (isGe "1.13.0") ]; out = "0.5.3"; } 26 + { cases = [ (isGe "8.14") (range "1.13" "1.15") ]; out = "0.5.2"; } 27 + { cases = [ (isGe "8.13") (range "1.13" "1.14") ]; out = "0.5.1"; } 28 + { cases = [ (range "8.13" "8.15") (range "1.12" "1.14") ]; out = "0.3.13"; } 29 + { cases = [ (range "8.11" "8.14") (isGe "1.12.0") ]; out = "0.3.10"; } 30 + { cases = [ (range "8.11" "8.13") "1.11.0" ]; out = "0.3.4"; } 31 + { cases = [ (range "8.10" "8.12") "1.11.0" ]; out = "0.3.3"; } 32 + { cases = [ (range "8.10" "8.11") "1.11.0" ]; out = "0.3.1"; } 33 + { cases = [ (range "8.8" "8.11") (range "1.8" "1.10") ]; out = "0.2.3"; } 34 ] null; 35 36 propagatedBuildInputs =

+1 -1

pkgs/development/coq-modules/mathcomp-bigenough/default.nix

··· 12 }; 13 inherit version; 14 defaultVersion = with versions; switch coq.version [ 15 - { case = range "8.10" "8.15"; out = "1.0.1"; } 16 { case = range "8.5" "8.14"; out = "1.0.0"; } 17 ] null; 18

··· 12 }; 13 inherit version; 14 defaultVersion = with versions; switch coq.version [ 15 + { case = isGe "8.10" ; out = "1.0.1"; } 16 { case = range "8.5" "8.14"; out = "1.0.0"; } 17 ] null; 18

+1 -1

pkgs/development/coq-modules/mathcomp-finmap/default.nix

··· 7 owner = "math-comp"; 8 inherit version; 9 defaultVersion = with versions; switch [ coq.version mathcomp.version ] [ 10 - { cases = [ (range "8.13" "8.15") (isGe "1.12") ]; out = "1.5.2"; } 11 { cases = [ (isGe "8.10") (isGe "1.11") ]; out = "1.5.1"; } 12 { cases = [ (range "8.7" "8.11") "1.11.0" ]; out = "1.5.0"; } 13 { cases = [ (isEq "8.11") (range "1.8" "1.10") ]; out = "1.4.0+coq-8.11"; }

··· 7 owner = "math-comp"; 8 inherit version; 9 defaultVersion = with versions; switch [ coq.version mathcomp.version ] [ 10 + { cases = [ (range "8.13" "8.16") (isGe "1.12") ]; out = "1.5.2"; } 11 { cases = [ (isGe "8.10") (isGe "1.11") ]; out = "1.5.1"; } 12 { cases = [ (range "8.7" "8.11") "1.11.0" ]; out = "1.5.0"; } 13 { cases = [ (isEq "8.11") (range "1.8" "1.10") ]; out = "1.4.0+coq-8.11"; }

+2

pkgs/development/coq-modules/mathcomp-real-closed/default.nix

··· 8 owner = "math-comp"; 9 inherit version; 10 release = { 11 "1.1.2".sha256 = "0907x4nf7nnvn764q3x9lx41g74rilvq5cki5ziwgpsdgb98pppn"; 12 "1.1.1".sha256 = "0ksjscrgq1i79vys4zrmgvzy2y4ylxa8wdsf4kih63apw6v5ws6b"; 13 "1.0.5".sha256 = "0q8nkxr9fba4naylr5xk7hfxsqzq2pvwlg1j0xxlhlgr3fmlavg2"; ··· 17 }; 18 19 defaultVersion = with versions; switch [ coq.version mathcomp.version ] [ 20 { cases = [ (isGe "8.10") (isGe "1.12.0") ]; out = "1.1.2"; } 21 { cases = [ (isGe "8.7") "1.11.0" ]; out = "1.1.1"; } 22 { cases = [ (isGe "8.7") (range "1.9.0" "1.10.0") ]; out = "1.0.4"; }

··· 8 owner = "math-comp"; 9 inherit version; 10 release = { 11 + "1.1.3".sha256 = "1vwmmnzy8i4f203i2s60dn9i0kr27lsmwlqlyyzdpsghvbr8h5b7"; 12 "1.1.2".sha256 = "0907x4nf7nnvn764q3x9lx41g74rilvq5cki5ziwgpsdgb98pppn"; 13 "1.1.1".sha256 = "0ksjscrgq1i79vys4zrmgvzy2y4ylxa8wdsf4kih63apw6v5ws6b"; 14 "1.0.5".sha256 = "0q8nkxr9fba4naylr5xk7hfxsqzq2pvwlg1j0xxlhlgr3fmlavg2"; ··· 18 }; 19 20 defaultVersion = with versions; switch [ coq.version mathcomp.version ] [ 21 + { cases = [ (isGe "8.13") (isGe "1.12.0") ]; out = "1.1.3"; } 22 { cases = [ (isGe "8.10") (isGe "1.12.0") ]; out = "1.1.2"; } 23 { cases = [ (isGe "8.7") "1.11.0" ]; out = "1.1.1"; } 24 { cases = [ (isGe "8.7") (range "1.9.0" "1.10.0") ]; out = "1.0.4"; }

+2

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

··· 19 owner = "math-comp"; 20 withDoc = single && (args.withDoc or false); 21 defaultVersion = with versions; switch coq.coq-version [ 22 { case = range "8.11" "8.15"; out = "1.14.0"; } 23 { case = range "8.11" "8.15"; out = "1.13.0"; } 24 { case = range "8.10" "8.13"; out = "1.12.0"; } ··· 30 { case = range "8.5" "8.7"; out = "1.6.4"; } 31 ] null; 32 release = { 33 "1.14.0".sha256 = "07yamlp1c0g5nahkd2gpfhammcca74ga2s6qr7a3wm6y6j5pivk9"; 34 "1.13.0".sha256 = "0j4cz2y1r1aw79snkcf1pmicgzf8swbaf9ippz0vg99a572zqzri"; 35 "1.12.0".sha256 = "1ccfny1vwgmdl91kz5xlmhq4wz078xm4z5wpd0jy5rn890dx03wp";

··· 19 owner = "math-comp"; 20 withDoc = single && (args.withDoc or false); 21 defaultVersion = with versions; switch coq.coq-version [ 22 + { case = range "8.14" "8.16"; out = "1.15.0"; } 23 { case = range "8.11" "8.15"; out = "1.14.0"; } 24 { case = range "8.11" "8.15"; out = "1.13.0"; } 25 { case = range "8.10" "8.13"; out = "1.12.0"; } ··· 31 { case = range "8.5" "8.7"; out = "1.6.4"; } 32 ] null; 33 release = { 34 + "1.15.0".sha256 = "1bp0jxl35ms54s0mdqky15w9af03f3i0n06qk12k4gw1xzvwqv21"; 35 "1.14.0".sha256 = "07yamlp1c0g5nahkd2gpfhammcca74ga2s6qr7a3wm6y6j5pivk9"; 36 "1.13.0".sha256 = "0j4cz2y1r1aw79snkcf1pmicgzf8swbaf9ippz0vg99a572zqzri"; 37 "1.12.0".sha256 = "1ccfny1vwgmdl91kz5xlmhq4wz078xm4z5wpd0jy5rn890dx03wp";

+3 -2

pkgs/development/coq-modules/odd-order/default.nix

··· 5 pname = "odd-order"; 6 owner = "math-comp"; 7 8 - release."1.13.0".rev = "mathcomp-odd-order.1.13.0"; 9 release."1.13.0".sha256 = "sha256-EzNKR/JzM8T17sMhPhgZNs14e50X4dY3OwFi133IsT0="; 10 - release."1.12.0".rev = "mathcomp-odd-order.1.12.0"; 11 release."1.12.0".sha256 = "sha256-omsfdc294CxKAHNMMeqJCcVimvyRCHgxcQ4NJOWSfNM="; 12 13 inherit version; 14 defaultVersion = with versions; switch mathcomp.character.version [ 15 { case = (range "1.12.0" "1.14.0"); out = "1.13.0"; } 16 { case = (range "1.10.0" "1.12.0"); out = "1.12.0"; } 17 ] null;

··· 5 pname = "odd-order"; 6 owner = "math-comp"; 7 8 + release."1.14.0".sha256 = "0iln70npkvixqyz469l6nry545a15jlaix532i1l7pzfkqqn6v68"; 9 release."1.13.0".sha256 = "sha256-EzNKR/JzM8T17sMhPhgZNs14e50X4dY3OwFi133IsT0="; 10 release."1.12.0".sha256 = "sha256-omsfdc294CxKAHNMMeqJCcVimvyRCHgxcQ4NJOWSfNM="; 11 + releaseRev = v: "mathcomp-odd-order.${v}"; 12 13 inherit version; 14 defaultVersion = with versions; switch mathcomp.character.version [ 15 + { case = (range "1.13.0" "1.15.0"); out = "1.14.0"; } 16 { case = (range "1.12.0" "1.14.0"); out = "1.13.0"; } 17 { case = (range "1.10.0" "1.12.0"); out = "1.12.0"; } 18 ] null;