(lang dune 3.8)
(name coq)
(version dev)
(sections (lib /usr/local/lib/ocaml/coq) (doc /usr/local/share/doc/coq))
(files
 (lib (META dune-package opam))
 (doc (LICENSE README.md odoc-pages/index.mld)))
(deprecated_library_name
 (old_public_name coq.kernel)
 (new_public_name coq-core.kernel))
