(lang dune 3.1)
(using directory-targets 0.1)
(using coq 0.3)

(package
 (name base))
