(include_subdirs qualified)
(rocq.theory
 (name stdpp.unstable)
 (package rocq-stdpp-unstable)
 (generate_project_file)
 (theories Stdlib stdpp stdpp.bitvector))
