(lang dune 3.21)
(using directory-targets 0.1)
(using rocq 0.11)

(package
 (name base))
