(lang dune 3.24)

(using rocq 0.11)

(package (name foo))
