commit 298d4b6b2020e4effbff46744d6e16646f4a604f · anil.recoil.org/opam-repository

+3

packages/batsat/batsat.0.4/opam

···

       13
       13
        
         "odoc" {with-doc}

     

       14
       14
        
         "conf-rust-2018" {build}

     

       15
       15
        
       ]

     

       16
       16
       +
       conflicts: [

     

       17
       17
       +
         "base-domains"

     

       18
       18
       +
       ]

     

       16
       19
        
       tags: [ "minisat" "solver" "SAT" ]

     

       17
       20
        
       homepage: "https://github.com/c-cube/batsat-ocaml/"

     

       18
       21
        
       dev-repo: "git+https://github.com/c-cube/batsat-ocaml.git"

+3

packages/batsat/batsat.0.5/opam

···

       13
       13
        
         "odoc" {with-doc}

     

       14
       14
        
         "conf-rust-2018" {build}

     

       15
       15
        
       ]

     

       16
       16
       +
       conflicts: [

     

       17
       17
       +
         "base-domains"

     

       18
       18
       +
       ]

     

       16
       19
        
       tags: [ "minisat" "solver" "SAT" ]

     

       17
       20
        
       homepage: "https://github.com/c-cube/batsat-ocaml/"

     

       18
       21
        
       dev-repo: "git+https://github.com/c-cube/batsat-ocaml.git"

+3

packages/batsat/batsat.0.6/opam

···

       14
       14
        
         "odoc" {with-doc}

     

       15
       15
        
         "conf-rust-2018" {build}

     

       16
       16
        
       ]

     

       17
       17
       +
       conflicts: [

     

       18
       18
       +
         "base-domains"

     

       19
       19
       +
       ]

     

       17
       20
        
       tags: [ "minisat" "solver" "SAT" ]

     

       18
       21
        
       homepage: "https://github.com/c-cube/batsat-ocaml/"

     

       19
       22
        
       dev-repo: "git+https://github.com/c-cube/batsat-ocaml.git"