···

       
17
       
 
       
    in

     

       
18
       
 
       
    with lib.versions;

     

       
19
       
 
       
    lib.switch coq.coq-version [

     

       
20
       
-
       
      (case (range "8.19" "9.1") "4.3.0")

     

       
21
       
 
       
      (case (range "8.18" "8.19") "4.2.0")

     

       
22
       
 
       
      (case (range "8.16" "8.18") "4.1.0")

     

       
23
       
 
       
      (case (range "8.13" "8.17") "4.0.0")

     
···

       
25
       
 
       
      (case (range "8.11" "8.13") "3.4.0")

     

       
26
       
 
       
      (case (range "8.9" "8.10") "3.3.0")

     

       
27
       
 
       
    ] null;

     

       
0
       
 
       

     

       
28
       
 
       
  release."4.3.0".sha256 = "sha256-3qhjiFI+A3I3fD8rFfJL5Hek77wScfn/FNNbDyGqA1k=";

     

       
29
       
 
       
  release."4.2.0".sha256 = "sha256-HuiHIe+5letgr1NN1biZZFq0qlWUbFmoVI7Q91+UIfM=";

     

       
30
       
 
       
  release."4.1.0".sha256 = "sha256-nTZUeZOXiH7HsfGbMKDE7vGrNVCkbMaWxdMWUcTUNlo=";

     

···

       
17
       
 
       
    in

     

       
18
       
 
       
    with lib.versions;

     

       
19
       
 
       
    lib.switch coq.coq-version [

     

       
20
       
+
       
      (case (range "8.19" "9.1") "4.4.0")

     

       
21
       
 
       
      (case (range "8.18" "8.19") "4.2.0")

     

       
22
       
 
       
      (case (range "8.16" "8.18") "4.1.0")

     

       
23
       
 
       
      (case (range "8.13" "8.17") "4.0.0")

     
···

       
25
       
 
       
      (case (range "8.11" "8.13") "3.4.0")

     

       
26
       
 
       
      (case (range "8.9" "8.10") "3.3.0")

     

       
27
       
 
       
    ] null;

     

       
28
       
+
       
  release."4.4.0".sha256 = "sha256-zpuaIdH2ScOuZB0Vt1TEHAbsmcT1DyoDsJpftT1M7qw=";

     

       
29
       
 
       
  release."4.3.0".sha256 = "sha256-3qhjiFI+A3I3fD8rFfJL5Hek77wScfn/FNNbDyGqA1k=";

     

       
30
       
 
       
  release."4.2.0".sha256 = "sha256-HuiHIe+5letgr1NN1biZZFq0qlWUbFmoVI7Q91+UIfM=";

     

       
31
       
 
       
  release."4.1.0".sha256 = "sha256-nTZUeZOXiH7HsfGbMKDE7vGrNVCkbMaWxdMWUcTUNlo=";