(lang dune 3.14)
(name coq)
(version 8.19.1)
(sections (lib /usr/lib64/coq) (doc /usr/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))
