···

       
18
       
 
       
  "fmt" {>= "0.8.5"}

     

       
19
       
 
       
  "uuidm" {>= "0.9.6"}

     

       
20
       
 
       
  "metrics" {< "0.5"} # should have been "= version" but to avoid breaking lock files and stuff..

     

       
21
       
-
       
  "mtime" {>= "1.0.0"}

     

       
22
       
 
       
  "lwt" {>= "2.4.7"}

     

       
23
       
 
       
  "conf-gnuplot"

     

       
24
       
 
       
  "metrics-lwt" {with-test}

     

···

       
18
       
 
       
  "fmt" {>= "0.8.5"}

     

       
19
       
 
       
  "uuidm" {>= "0.9.6"}

     

       
20
       
 
       
  "metrics" {< "0.5"} # should have been "= version" but to avoid breaking lock files and stuff..

     

       
21
       
+
       
  "mtime" {>= "1.0.0" & < "1.4.0"}

     

       
22
       
 
       
  "lwt" {>= "2.4.7"}

     

       
23
       
 
       
  "conf-gnuplot"

     

       
24
       
 
       
  "metrics-lwt" {with-test}

     

···

       
17
       
 
       
  "dune" {>= "1.4"}

     

       
18
       
 
       
  "uuidm"

     

       
19
       
 
       
  "metrics" {= version}

     

       
20
       
-
       
  "mtime"

     

       
21
       
 
       
  "lwt"

     

       
22
       
 
       
  "metrics-lwt" {=version & with-test}

     

       
23
       
 
       
  "conf-gnuplot"

     

···

       
17
       
 
       
  "dune" {>= "1.4"}

     

       
18
       
 
       
  "uuidm"

     

       
19
       
 
       
  "metrics" {= version}

     

       
20
       
+
       
  "mtime" {< "1.4.0"}

     

       
21
       
 
       
  "lwt"

     

       
22
       
 
       
  "metrics-lwt" {=version & with-test}

     

       
23
       
 
       
  "conf-gnuplot"

     

···

       
18
       
 
       
  "dune" {>= "1.4"}

     

       
19
       
 
       
  "uuidm" {>= "0.9.6"}

     

       
20
       
 
       
  "metrics" {= version}

     

       
21
       
-
       
  "mtime" {>= "1.0.0"}

     

       
22
       
 
       
  "lwt"

     

       
23
       
 
       
  "metrics-lwt" {= version & with-test}

     

       
24
       
 
       
  "conf-gnuplot"

     

···

       
18
       
 
       
  "dune" {>= "1.4"}

     

       
19
       
 
       
  "uuidm" {>= "0.9.6"}

     

       
20
       
 
       
  "metrics" {= version}

     

       
21
       
+
       
  "mtime" {>= "1.0.0" & < "1.4.0"}

     

       
22
       
 
       
  "lwt"

     

       
23
       
 
       
  "metrics-lwt" {= version & with-test}

     

       
24
       
 
       
  "conf-gnuplot"

     

···

       
18
       
 
       
  "dune" {>= "1.4"}

     

       
19
       
 
       
  "uuidm" {>= "0.9.6"}

     

       
20
       
 
       
  "metrics" {= version}

     

       
21
       
-
       
  "mtime" {>= "1.0.0"}

     

       
22
       
 
       
  "lwt" {>= "2.4.7"}

     

       
23
       
 
       
  "metrics-lwt" {= version & with-test}

     

       
24
       
 
       
  "conf-gnuplot"

     

···

       
18
       
 
       
  "dune" {>= "1.4"}

     

       
19
       
 
       
  "uuidm" {>= "0.9.6"}

     

       
20
       
 
       
  "metrics" {= version}

     

       
21
       
+
       
  "mtime" {>= "1.0.0" & < "1.4.0"}

     

       
22
       
 
       
  "lwt" {>= "2.4.7"}

     

       
23
       
 
       
  "metrics-lwt" {= version & with-test}

     

       
24
       
 
       
  "conf-gnuplot"