(include_subdirs qualified)

(coq.theory
 (name mininix)
 ; This ensures that all files are checked when using the install alias.
 ; (This does not happen otherwise when just compiling the front-end.)
 (package mininix)
 (theories Flocq stdpp))