(include_subdirs qualified)
(coq.theory
 (name Stdlib)
 (package rocq-stdlib))

(env
 (dev
  (coq
   (flags :standard -w +default))))
