···

       
19
       
 
       
  "lwt" {>= "2.4.3"}

     

       
20
       
 
       
  "mirage-net" {>= "3.0.0"}

     

       
21
       
 
       
  "io-page" {>= "1.5.0"}

     

       
22
       
-
       
  "mirage-xen" {>= "6.0.0"}

     

       
23
       
 
       
  "ipaddr" {>= "3.0.0"}

     

       
24
       
 
       
  "mirage-profile" {>="0.3"}

     

       
25
       
 
       
  "shared-memory-ring" {>="3.0.0"}

     

···

       
19
       
 
       
  "lwt" {>= "2.4.3"}

     

       
20
       
 
       
  "mirage-net" {>= "3.0.0"}

     

       
21
       
 
       
  "io-page" {>= "1.5.0"}

     

       
22
       
+
       
  "mirage-xen" {>= "6.0.0" & < "7.0.0"}

     

       
23
       
 
       
  "ipaddr" {>= "3.0.0"}

     

       
24
       
 
       
  "mirage-profile" {>="0.3"}

     

       
25
       
 
       
  "shared-memory-ring" {>="3.0.0"}