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

Merge pull request #23893 from metanivek/fix_metrics_mtime

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

Marcello Seri 0e668e7f 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"