anil.recoil.org / opam-repository
this repo has no description
fork atom

Exclude `mtime.1.4.0` for `metrics-unix`

This specific version of `mtime` fails to build, but is now fixed in
`mtime.2.0.0`.

See https://github.com/dbuenzli/mtime/issues/42

metanivek 412bb63c 2b3ca0dd

options
unified split
Changed files
+1 -1
packages
metrics-unix
metrics-unix.0.4.0
opam
+1 -1
packages/metrics-unix/metrics-unix.0.4.0/opam 
···

       
18

       
18

       
 

       
  "dune" {>= "1.4"}


     

       
19

       
19

       
 

       
  "uuidm" {>= "0.9.6"}


     

       
20

       
20

       
 

       
  "metrics" {= version}


     

       
21

       

       
-

       
  "mtime" {>= "1.0.0"}


     

       

       
21

       
+

       
  "mtime" {>= "1.0.0" & != "1.4.0"}


     

       
22

       
22

       
 

       
  "lwt" {>= "2.4.7"}


     

       
23

       
23

       
 

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


     

       
24

       
24

       
 

       
  "conf-gnuplot"