(lang dune 3.19)
(using coq 0.8)
(name Why3Bench)
(package
 (name Why3Bench)
 (depends (coq (= "9.0.0"))
  (coq-stdpp (= "1.12.0"))
  (coq-stdpp-bitvector (= "1.12.0"))
  ))
