commit 3fc72d286c51962d0a0deffc29d23bcd9fe30bed · pyrox.dev/nixpkgs

+2

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

···

       32
        
           lib.switch

     

       33
        
             [ coq.coq-version mathcomp-algebra.version ]

     

       34
        
             [

     

       0
        
       
     

       35
        
               (case (range "8.20" "9.1") (isGe "2.4") "1.2.5")

     

       36
        
               (case (range "8.16" "9.0") (isGe "2.0") "1.2.4")

     

       37
        
               (case (range "8.16" "8.18") (isGe "2.0") "1.2.2")

     
···

       46
        
         release."1.2.3".sha256 = "sha256-6uc1VEfDv+fExEfBR2c0/Q/KjrkX0TbEMCLgeYcpkls=";

     

       47
        
         release."1.2.4".sha256 = "sha256-BRxt0LGPz2u3kJRjcderaZqCfs8M8qKAAwNSWmIck7Q=";

     

       48
        
         release."1.2.5".sha256 = "sha256-wTfe+g7ljWs1S+g02VQutnJGLVIOzNX1lm1HTMXeUUA=";

     

       0
        
       
     

       49
        
       

     

       50
        
         propagatedBuildInputs = [

     

       51
        
           mathcomp-ssreflect

···

       32
        
           lib.switch

     

       33
        
             [ coq.coq-version mathcomp-algebra.version ]

     

       34
        
             [

     

       35
       +
               (case (range "8.20" "9.1") (isGe "2.4") "1.2.6")

     

       36
        
               (case (range "8.20" "9.1") (isGe "2.4") "1.2.5")

     

       37
        
               (case (range "8.16" "9.0") (isGe "2.0") "1.2.4")

     

       38
        
               (case (range "8.16" "8.18") (isGe "2.0") "1.2.2")

     
···

       47
        
         release."1.2.3".sha256 = "sha256-6uc1VEfDv+fExEfBR2c0/Q/KjrkX0TbEMCLgeYcpkls=";

     

       48
        
         release."1.2.4".sha256 = "sha256-BRxt0LGPz2u3kJRjcderaZqCfs8M8qKAAwNSWmIck7Q=";

     

       49
        
         release."1.2.5".sha256 = "sha256-wTfe+g7ljWs1S+g02VQutnJGLVIOzNX1lm1HTMXeUUA=";

     

       50
       +
         release."1.2.6".sha256 = "sha256-D7EEiLeCJMgxsYvlAFyL7QZyx/KJAKesVE+vyfzqzkU=";

     

       51
        
       

     

       52
        
         propagatedBuildInputs = [

     

       53
        
           mathcomp-ssreflect

+2 -1

pkgs/development/ocaml-modules/elpi/default.nix

···

       18
        
         coqPackages,

     

       19
        
         version ?

     

       20
        
           if lib.versionAtLeast ocaml.version "4.13" then

     

       21
       -
             "2.0.7"

     

       22
        
           else if lib.versionAtLeast ocaml.version "4.08" then

     

       23
        
             "1.20.0"

     

       24
        
           else

     
···

       34
        
       

     

       35
        
       let

     

       36
        
         fetched = coqPackages.metaFetch ({

     

       0
        
       
     

       37
        
           release."2.0.7".sha256 = "sha256-gCM+vZK6vWlhSO1VMjiWHse23mvxVwRarhxwkIQK7e0=";

     

       38
        
           release."2.0.6".sha256 = "sha256-tRUYXQZ0VXrjIZBZ1skdzieUsww4rSNEe5ik+iKpk3U=";

     

       39
        
           release."2.0.5".sha256 = "sha256-cHgERFqrfSg5WtUX3UxR6L+QkzS7+t6n4V+wweiEacc=";

···

       18
        
         coqPackages,

     

       19
        
         version ?

     

       20
        
           if lib.versionAtLeast ocaml.version "4.13" then

     

       21
       +
             "3.0.1"

     

       22
        
           else if lib.versionAtLeast ocaml.version "4.08" then

     

       23
        
             "1.20.0"

     

       24
        
           else

     
···

       34
        
       

     

       35
        
       let

     

       36
        
         fetched = coqPackages.metaFetch ({

     

       37
       +
           release."3.0.1".sha256 = "sha256-r4B0xn6UCVslVW4dHiqq8NBMGfNz44kZy48KDWeGquc=";

     

       38
        
           release."2.0.7".sha256 = "sha256-gCM+vZK6vWlhSO1VMjiWHse23mvxVwRarhxwkIQK7e0=";

     

       39
        
           release."2.0.6".sha256 = "sha256-tRUYXQZ0VXrjIZBZ1skdzieUsww4rSNEe5ik+iKpk3U=";

     

       40
        
           release."2.0.5".sha256 = "sha256-cHgERFqrfSg5WtUX3UxR6L+QkzS7+t6n4V+wweiEacc=";

+2

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

···

       17
        
             in

     

       18
        
             with lib.versions;

     

       19
        
             lib.switch rocq-core.rocq-version [

     

       0
        
       
     

       20
        
               (case (range "9.0" "9.1") "1.9.1")

     

       21
        
             ] null;

     

       0
        
       
     

       22
        
           release."1.9.1".sha256 = "sha256-AiS0ezMyfIYlXnuNsVLz1GlKQZzJX+ilkrKkbo0GrF0=";

     

       23
        
           releaseRev = v: "v${v}";

     

       24

···

       17
        
             in

     

       18
        
             with lib.versions;

     

       19
        
             lib.switch rocq-core.rocq-version [

     

       20
       +
               (case (range "9.0" "9.1") "1.10.0")

     

       21
        
               (case (range "9.0" "9.1") "1.9.1")

     

       22
        
             ] null;

     

       23
       +
           release."1.10.0".sha256 = "sha256-c52nS8I0tia7Q8lZTFJyHVPVabW9xv55m7w6B7y3+e8=";

     

       24
        
           release."1.9.1".sha256 = "sha256-AiS0ezMyfIYlXnuNsVLz1GlKQZzJX+ilkrKkbo0GrF0=";

     

       25
        
           releaseRev = v: "v${v}";

     

       26

+3

pkgs/development/rocq-modules/rocq-elpi/default.nix

···

       17
        
             in

     

       18
        
             with lib.versions;

     

       19
        
             lib.switch rocq-core.rocq-version [

     

       0
        
       
     

       20
        
               (case (range "9.0" "9.1") "2.0.7")

     

       21
        
             ] { };

     

       22
        
         elpi = rocq-core.ocamlPackages.elpi.override { version = default-elpi-version; };

     
···

       35
        
             in

     

       36
        
             with lib.versions;

     

       37
        
             lib.switch rocq-core.rocq-version [

     

       0
        
       
     

       38
        
               (case (range "9.0" "9.1") "2.6.0")

     

       39
        
               (case ("9.0") "2.5.2")

     

       40
        
             ] null;

     

       0
        
       
     

       41
        
           release."2.6.0".sha256 = "sha256-23BHq1NFUkI3ayXnGUwiGFySLyY3EuH4RyMgAhQqI4g=";

     

       42
        
           release."2.5.2".sha256 = "sha256-lLzjPrbVB3rrqox528YiheUb0u89R84Xmrgkn0oplOs=";

     

       43
        
           releaseRev = v: "v${v}";

···

       17
        
             in

     

       18
        
             with lib.versions;

     

       19
        
             lib.switch rocq-core.rocq-version [

     

       20
       +
               (case (range "9.0" "9.1") "3.0.1")

     

       21
        
               (case (range "9.0" "9.1") "2.0.7")

     

       22
        
             ] { };

     

       23
        
         elpi = rocq-core.ocamlPackages.elpi.override { version = default-elpi-version; };

     
···

       36
        
             in

     

       37
        
             with lib.versions;

     

       38
        
             lib.switch rocq-core.rocq-version [

     

       39
       +
               (case (range "9.0" "9.1") "3.0.0")

     

       40
        
               (case (range "9.0" "9.1") "2.6.0")

     

       41
        
               (case ("9.0") "2.5.2")

     

       42
        
             ] null;

     

       43
       +
           release."3.0.0".sha256 = "sha256-YMe2is7duGcvAHjM4joUE90EloibjSxqfZThsJhstdU=";

     

       44
        
           release."2.6.0".sha256 = "sha256-23BHq1NFUkI3ayXnGUwiGFySLyY3EuH4RyMgAhQqI4g=";

     

       45
        
           release."2.5.2".sha256 = "sha256-lLzjPrbVB3rrqox528YiheUb0u89R84Xmrgkn0oplOs=";

     

       46
        
           releaseRev = v: "v${v}";