(lang dune 3.19)
(using coq 0.8)
(name "Why3Bench-pearl")
(package
 (name "Why3Bench-pearl")
 (depends Why3Bench))
