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

Update packages/bitwuzla/bitwuzla.1.0.2/opam

Co-authored-by: Marcello Seri <mseri@users.noreply.github.com>

Frédéric Recoules 10ae142d f12bb4e1

options
unified split
Changed files
+1 -1
packages
bitwuzla
bitwuzla.1.0.2
opam
+1 -1
packages/bitwuzla/bitwuzla.1.0.2/opam 
···

       
14

       
14

       
 

       
bug-reports: "https://github.com/bitwuzla/ocaml-bitwuzla/issues"


     

       
15

       
15

       
 

       
depends: [


     

       
16

       
16

       
 

       
  "dune" {>= "2.7"}


     

       
17

       

       
-

       
  "bitwuzla-c"


     

       

       
17

       
+

       
  "bitwuzla-c" {= version}


     

       
18

       
18

       
 

       
  "zarith"


     

       
19

       
19

       
 

       
  "ppx_inline_test" {with-test & >= "v0.13"}


     

       
20

       
20

       
 

       
  "ppx_expect" {with-test & >= "v0.13"}