(lang dune 3.19)
(name coq)
(version 9.0.0)
(sections (lib /usr/lib/ocaml/coq) (doc /usr/doc/coq))
(files (lib (META dune-package opam)) (doc (LICENSE README.md)))
(deprecated_library_name
 (old_public_name coq.kernel)
 (new_public_name rocq-runtime.kernel))
