commit a97cd48d5175a0d485ec608144e07ffd570b8245 · anil.recoil.org/opam-repository

anil.recoil.org / opam-repository

this repo has no description

fork atom

dolmen.0.8.1 and 0.9 requires qcheck.0.9 to use qcheck-core

Jan Midtgaard 2 years ago a97cd48d 7dbad123

options

unified split

Changed files

+2 -2

packages

dolmen

dolmen.0.8.1

opam

dolmen.0.9

opam

+1 -1

packages/dolmen/dolmen.0.8.1/opam

···

       13
       13
        
         "fmt" { >= "0.8.7" }

     

       14
       14
        
         "seq"

     

       15
       15
        
         "odoc" { with-doc }

     

       16
       16
       -
         "qcheck" { with-test }

     

       16
       16
       +
         "qcheck" { with-test & >= "0.9"}

     

       17
       17
        
         "mdx" { with-test }

     

       18
       18
        
       ]

     

       19
       19

+1 -1

packages/dolmen/dolmen.0.9/opam

···

       13
       13
        
         "fmt" { >= "0.8.7" }

     

       14
       14
        
         "seq"

     

       15
       15
        
         "odoc" { with-doc }

     

       16
       16
       -
         "qcheck" { with-test }

     

       16
       16
       +
         "qcheck" { with-test & >= "0.9"}

     

       17
       17
        
         "mdx" { with-test }

     

       18
       18
        
       ]

     

       19
       19