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

anil.recoil.org / opam-repository

this repo has no description

fork atom

Merge pull request #20548 from dra27/github-data-constraint

Add conflict for `github-data` mis-matched `github`

Kate 3 years ago b3f8647a 80d7a1e3

options

unified split

Changed files

packages

github-data

github-data.4.4.0

opam

packages/github-data/github-data.4.4.0/opam

···

       27
       27
        
         "atdgen" {>= "2.0.0"}

     

       28
       28
        
         "odoc" {with-doc}

     

       29
       29
        
       ]

     

       30
       30
       +
       conflicts: [

     

       31
       31
       +
         "github" {!= version}

     

       32
       32
       +
       ]

     

       30
       33
        
       build: [

     

       31
       34
        
         ["dune" "subst"] {dev}

     

       32
       35
        
         [