commit b4d0647752cbc50b919fbd6723aa9d4068952c13 · pyrox.dev/nixpkgs

+4 -1

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

···

       24
       24
        
           platforms = coq.meta.platforms;

     

       25
       25
        
         };

     

       26
       26
        
       

     

       27
       27
       -
         passthru = { inherit (mathcomp) compatibleCoqVersions; };

     

       27
       27
       +
         passthru = {

     

       28
       28
       +
           compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" ];

     

       29
       29
       +
         };

     

       30
       30
       +
       

     

       28
       31
        
       

     

       29
       32
        
       }

+3 -1

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

···

       23
       23
        
           inherit (coq.meta) platforms;

     

       24
       24
        
         };

     

       25
       25
        
       

     

       26
       26
       -
         passthru = { inherit (ssreflect) compatibleCoqVersions; };

     

       26
       26
       +
         passthru = {

     

       27
       27
       +
           compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" ];

     

       28
       28
       +
         };

     

       27
       29
        
       

     

       28
       30
        
       }

+4 -1

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

···

       25
       25
        
           platforms = coq.meta.platforms;

     

       26
       26
        
         };

     

       27
       27
        
       

     

       28
       28
       -
         passthru = { inherit (mathcomp) compatibleCoqVersions; };

     

       28
       28
       +
         passthru = {

     

       29
       29
       +
           compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" ];

     

       30
       30
       +
         };

     

       31
       31
       +
       

     

       29
       32
        
       

     

       30
       33
        
       }

+13 -13

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

···

       1
       1
        
       { callPackage, fetchurl, coq }:

     

       2
       2
        
       

     

       3
       3
        
       let param =

     

       4
       4
       +
       

     

       5
       5
       +
         let param_1_7 = {

     

       6
       6
       +
             version = "1.7.0";

     

       7
       7
       +
             sha256 = "05zgyi4wmasi1rcyn5jq42w0bi9713q9m8dl1fdgl66nmacixh39";

     

       8
       8
       +
         }; in

     

       9
       9
       +
       

     

       4
       10
        
         {

     

       5
       11
        
           "8.5" =  {

     

       6
       12
        
             version = "1.6.1";

     

       7
       7
       -
             url = https://github.com/math-comp/math-comp/archive/mathcomp-1.6.1.tar.gz;

     

       8
       13
        
             sha256 = "1j9ylggjzrxz1i2hdl2yhsvmvy5z6l4rprwx7604401080p5sgjw";

     

       9
       14
        
           };

     

       10
       15
        
       

     

       11
       11
       -
           "8.6" =  {

     

       12
       12
       -
             version = "1.6.4";

     

       13
       13
       -
             url = https://github.com/math-comp/math-comp/archive/mathcomp-1.6.4.tar.gz;

     

       14
       14
       -
             sha256 = "0qmjjb6jsxmmf4gpw10r30rmrvwqgzirvvgyy41mz2vhgwis8wn6";

     

       15
       15
       -
           };

     

       16
       16
       -
       

     

       17
       17
       -
           "8.7" = {

     

       18
       18
       -
             version = "1.6.4";

     

       19
       19
       -
             url = https://github.com/math-comp/math-comp/archive/mathcomp-1.6.4.tar.gz;

     

       20
       20
       -
             sha256 = "0qmjjb6jsxmmf4gpw10r30rmrvwqgzirvvgyy41mz2vhgwis8wn6";

     

       21
       21
       -
           };

     

       16
       16
       +
           "8.6" = param_1_7;

     

       17
       17
       +
           "8.7" = param_1_7;

     

       18
       18
       +
           "8.8" = param_1_7;

     

       22
       19
        
       

     

       23
       20
        
         }."${coq.coq-version}"

     

       24
       21
        
       ; in

     

       25
       22
        
       

     

       26
       23
        
       callPackage ./generic.nix {

     

       27
       24
        
         name = "coq${coq.coq-version}-mathcomp-${param.version}";

     

       28
       28
       -
         src = fetchurl { inherit (param) url sha256; };

     

       25
       25
       +
         src = fetchurl {

     

       26
       26
       +
           url = "https://github.com/math-comp/math-comp/archive/mathcomp-${param.version}.tar.gz";

     

       27
       27
       +
           inherit (param) sha256;

     

       28
       28
       +
         };

     

       29
       29
        
       }

+2 -2

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

···

       17
       17
        
         buildFlags = stdenv.lib.optionalString withDoc "doc";

     

       18
       18
        
       

     

       19
       19
        
         preBuild = ''

     

       20
       20
       -
           patchShebangs etc/utils/ssrcoqdep

     

       20
       20
       +
           patchShebangs etc/utils/ssrcoqdep || true

     

       21
       21
        
           cd mathcomp

     

       22
       22
        
           export COQBIN=${coq}/bin/

     

       23
       23
        
         '';

     
···

       36
       36
        
         };

     

       37
       37
        
       

     

       38
       38
        
         passthru = {

     

       39
       39
       -
           compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" ];

     

       39
       39
       +
           compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" "8.8" ];

     

       40
       40
        
         };

     

       41
       41
        
       

     

       42
       42
        
       }

+13 -13

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

···

       1
       1
        
       { callPackage, fetchurl, coq }:

     

       2
       2
        
       

     

       3
       3
        
       let param =

     

       4
       4
       +
       

     

       5
       5
       +
         let param_1_7 = {

     

       6
       6
       +
           version = "1.7.0";

     

       7
       7
       +
           sha256 = "05zgyi4wmasi1rcyn5jq42w0bi9713q9m8dl1fdgl66nmacixh39";

     

       8
       8
       +
         }; in

     

       9
       9
       +
       

     

       4
       10
        
         {

     

       5
       11
        
           "8.5" =  {

     

       6
       12
        
             version = "1.6.1";

     

       7
       7
       -
             url = https://github.com/math-comp/math-comp/archive/mathcomp-1.6.1.tar.gz;

     

       8
       13
        
             sha256 = "1j9ylggjzrxz1i2hdl2yhsvmvy5z6l4rprwx7604401080p5sgjw";

     

       9
       14
        
           };

     

       10
       15
        
       

     

       11
       11
       -
           "8.6" =  {

     

       12
       12
       -
             version = "1.6.4";

     

       13
       13
       -
             url = https://github.com/math-comp/math-comp/archive/mathcomp-1.6.4.tar.gz;

     

       14
       14
       -
             sha256 = "0qmjjb6jsxmmf4gpw10r30rmrvwqgzirvvgyy41mz2vhgwis8wn6";

     

       15
       15
       -
           };

     

       16
       16
       -
       

     

       17
       17
       -
           "8.7" = {

     

       18
       18
       -
             version = "1.6.4";

     

       19
       19
       -
             url = https://github.com/math-comp/math-comp/archive/mathcomp-1.6.4.tar.gz;

     

       20
       20
       -
             sha256 = "0qmjjb6jsxmmf4gpw10r30rmrvwqgzirvvgyy41mz2vhgwis8wn6";

     

       21
       21
       -
           };

     

       16
       16
       +
           "8.6" = param_1_7;

     

       17
       17
       +
           "8.7" = param_1_7;

     

       18
       18
       +
           "8.8" = param_1_7;

     

       22
       19
        
       

     

       23
       20
        
         }."${coq.coq-version}"

     

       24
       21
        
       ; in

     

       25
       22
        
       

     

       26
       23
        
       callPackage ./generic.nix {

     

       27
       24
        
         name = "coq${coq.coq-version}-ssreflect-${param.version}";

     

       28
       28
       -
         src = fetchurl { inherit (param) url sha256; };

     

       25
       25
       +
         src = fetchurl {

     

       26
       26
       +
           url = "https://github.com/math-comp/math-comp/archive/mathcomp-${param.version}.tar.gz";

     

       27
       27
       +
           inherit (param) sha256;

     

       28
       28
       +
         };

     

       29
       29
        
       }

+2 -2

pkgs/development/coq-modules/ssreflect/generic.nix

···

       17
       17
        
         inherit patches;

     

       18
       18
        
       

     

       19
       19
        
         preBuild = ''

     

       20
       20
       -
           patchShebangs etc/utils/ssrcoqdep

     

       20
       20
       +
           patchShebangs etc/utils/ssrcoqdep || true

     

       21
       21
        
           cd mathcomp/ssreflect

     

       22
       22
        
           export COQBIN=${coq}/bin/

     

       23
       23
        
         '';

     
···

       43
       43
        
         };

     

       44
       44
        
       

     

       45
       45
        
         passthru = {

     

       46
       46
       -
           compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" ];

     

       46
       46
       +
           compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" "8.8" ];

     

       47
       47
        
         };

     

       48
       48
        
       

     

       49
       49
        
       }