···

       
26
       
 
       
  "zarith" {>= "1.4"}

     

       
27
       
 
       
  "eqaf" {>= "0.7"}

     

       
28
       
 
       
  "rresult" {>= "0.6.0"}

     

       
29
       
-
       
  (("mirage-no-solo5" & "mirage-no-xen") | "zarith-freestanding" | "mirage" {>= "4.0.0"})

     

       
30
       
 
       
]

     

       
31
       
 
       
conflicts: [

     

       
32
       
 
       
  "mirage-xen" {< "6.0.0"}

     

···

       
26
       
 
       
  "zarith" {>= "1.4"}

     

       
27
       
 
       
  "eqaf" {>= "0.7"}

     

       
28
       
 
       
  "rresult" {>= "0.6.0"}

     

       
29
       
+
       
  (("mirage-no-solo5" & "mirage-no-xen") | "zarith-freestanding" | "mirage-runtime" {>= "4.0.0"})

     

       
30
       
 
       
]

     

       
31
       
 
       
conflicts: [

     

       
32
       
 
       
  "mirage-xen" {< "6.0.0"}