(lang dune 2.9)
(name coq)
(version dev)
(deprecated_library_name
 (old_public_name coq.kernel)
 (new_public_name coq-core.kernel))
