···

       
18
       
18
       
 
       
      in

     

       
19
       
19
       
 
       
      with lib.versions;

     

       
20
       
20
       
 
       
      lib.switch coq.coq-version [

     

       
21
       
21
       
-
       
        (case (range "8.12" "9.1") "20240715")

     

       
21
       
21
       
+
       
        (case (range "8.12" "9.1") "20250903")

     

       
22
       
22
       
 
       
        (case (range "8.7" "8.11") "20200624")

     

       
23
       
23
       
 
       
      ] null;

     

       
24
       
24
       
 
       
    release = {

     

       
25
       
25
       
+
       
      "20250903".sha256 = "sha256-ap1OvcvCAuqmFDwhPwMBosHs3cm5NxPW/w1J8AzWduk=";

     

       
25
       
26
       
 
       
      "20240715".sha256 = "sha256-9CSxAIm0aEXkwF+aj8u/bqLG30y5eDNz65EnohJPjzI="; # coq 8.9 - 8.20

     

       
26
       
27
       
 
       
      "20231231".sha256 = "sha256-veB0ORHp6jdRwCyDDAfc7a7ov8sOeHUmiELdOFf/QYk="; # coq 8.7 - 8.19

     

       
27
       
28
       
 
       
      "20230608".sha256 = "sha256-dUPoIUVr3gqvE5bniyQh/b37tNfRsZN8X3e99GFkyLY="; # coq 8.7 - 8.18

     

···

       
3
       
3
       
 
       
  buildDunePackage,

     

       
4
       
4
       
 
       
  ocaml,

     

       
5
       
5
       
 
       
  coqPackages,

     

       
6
       
6
       
-
       
  version ? if lib.versionAtLeast ocaml.version "4.08" then "20240715" else "20231231",

     

       
6
       
6
       
+
       
  version ? if lib.versionAtLeast ocaml.version "4.08" then "20250903" else "20231231",

     

       
7
       
7
       
 
       
}:

     

       
8
       
8
       
 
       


     

       
9
       
9
       
 
       
let

     

       
10
       
10
       
 
       
  fetched = coqPackages.metaFetch ({

     

       
11
       
11
       
 
       
    release."20231231".sha256 = "sha256-veB0ORHp6jdRwCyDDAfc7a7ov8sOeHUmiELdOFf/QYk=";

     

       
12
       
12
       
 
       
    release."20240715".sha256 = "sha256-9CSxAIm0aEXkwF+aj8u/bqLG30y5eDNz65EnohJPjzI=";

     

       
13
       
13
       
+
       
    release."20250903".sha256 = "sha256-ap1OvcvCAuqmFDwhPwMBosHs3cm5NxPW/w1J8AzWduk=";

     

       
13
       
14
       
 
       
    releaseRev = v: "${v}";

     

       
14
       
15
       
 
       
    location = {

     

       
15
       
16
       
 
       
      domain = "gitlab.inria.fr";