(lang dune 3.20)
(name coq-core)
(version dev)
(sections
 (lib /usr/lib/ocaml/coq-core)
 (bin /usr/bin)
 (doc /usr/share/doc/coq-core)
 (man /usr/share/man))
(files
 (lib (META dune-package opam))
 (bin
  (coq-tex
   coq_makefile
   coqc
   coqchk
   coqdep
   coqdoc
   coqnative
   coqpp
   coqtop
   coqtop.byte
   coqwc
   coqworkmgr))
 (doc (LICENSE README.md))
 (man
  (man1/coq-tex.1
   man1/coq_makefile.1
   man1/coqc.1
   man1/coqchk.1
   man1/coqdep.1
   man1/coqdoc.1
   man1/coqnative.1
   man1/coqtop.1
   man1/coqtop.byte.1
   man1/coqwc.1)))
(deprecated_library_name
 (old_public_name coq-core.boot)
 (new_public_name rocq-runtime.boot))
(deprecated_library_name
 (old_public_name coq-core.checklib)
 (new_public_name rocq-runtime.checklib))
(deprecated_library_name
 (old_public_name coq-core.clib)
 (new_public_name rocq-runtime.clib))
(deprecated_library_name
 (old_public_name coq-core.config)
 (new_public_name rocq-runtime.config))
(deprecated_library_name
 (old_public_name coq-core.config.byte)
 (new_public_name rocq-runtime.config.byte))
(deprecated_library_name
 (old_public_name coq-core.coqargs)
 (new_public_name rocq-runtime.coqargs))
(deprecated_library_name
 (old_public_name coq-core.coqworkmgrapi)
 (new_public_name rocq-runtime.coqworkmgrapi))
(deprecated_library_name
 (old_public_name coq-core.engine)
 (new_public_name rocq-runtime.engine))
(deprecated_library_name
 (old_public_name coq-core.gramlib)
 (new_public_name rocq-runtime.gramlib))
(deprecated_library_name
 (old_public_name coq-core.interp)
 (new_public_name rocq-runtime.interp))
(deprecated_library_name
 (old_public_name coq-core.kernel)
 (new_public_name rocq-runtime.kernel))
(deprecated_library_name
 (old_public_name coq-core.lib)
 (new_public_name rocq-runtime.lib))
(deprecated_library_name
 (old_public_name coq-core.library)
 (new_public_name rocq-runtime.library))
(deprecated_library_name
 (old_public_name coq-core.parsing)
 (new_public_name rocq-runtime.parsing))
(deprecated_library_name
 (old_public_name coq-core.perf)
 (new_public_name rocq-runtime.perf))
(deprecated_library_name
 (old_public_name coq-core.plugins.btauto)
 (new_public_name rocq-runtime.plugins.btauto))
(deprecated_library_name
 (old_public_name coq-core.plugins.cc)
 (new_public_name rocq-runtime.plugins.cc))
(deprecated_library_name
 (old_public_name coq-core.plugins.cc_core)
 (new_public_name rocq-runtime.plugins.cc_core))
(deprecated_library_name
 (old_public_name coq-core.plugins.derive)
 (new_public_name rocq-runtime.plugins.derive))
(deprecated_library_name
 (old_public_name coq-core.plugins.extraction)
 (new_public_name rocq-runtime.plugins.extraction))
(deprecated_library_name
 (old_public_name coq-core.plugins.firstorder)
 (new_public_name rocq-runtime.plugins.firstorder))
(deprecated_library_name
 (old_public_name coq-core.plugins.firstorder_core)
 (new_public_name rocq-runtime.plugins.firstorder_core))
(deprecated_library_name
 (old_public_name coq-core.plugins.funind)
 (new_public_name rocq-runtime.plugins.funind))
(deprecated_library_name
 (old_public_name coq-core.plugins.ltac)
 (new_public_name rocq-runtime.plugins.ltac))
(deprecated_library_name
 (old_public_name coq-core.plugins.ltac2)
 (new_public_name rocq-runtime.plugins.ltac2))
(deprecated_library_name
 (old_public_name coq-core.plugins.ltac2_ltac1)
 (new_public_name rocq-runtime.plugins.ltac2_ltac1))
(deprecated_library_name
 (old_public_name coq-core.plugins.micromega)
 (new_public_name rocq-runtime.plugins.micromega))
(deprecated_library_name
 (old_public_name coq-core.plugins.micromega_core)
 (new_public_name rocq-runtime.plugins.micromega_core))
(deprecated_library_name
 (old_public_name coq-core.plugins.nsatz)
 (new_public_name rocq-runtime.plugins.nsatz))
(deprecated_library_name
 (old_public_name coq-core.plugins.nsatz_core)
 (new_public_name rocq-runtime.plugins.nsatz_core))
(deprecated_library_name
 (old_public_name coq-core.plugins.number_string_notation)
 (new_public_name rocq-runtime.plugins.number_string_notation))
(deprecated_library_name
 (old_public_name coq-core.plugins.ring)
 (new_public_name rocq-runtime.plugins.ring))
(deprecated_library_name
 (old_public_name coq-core.plugins.rtauto)
 (new_public_name rocq-runtime.plugins.rtauto))
(deprecated_library_name
 (old_public_name coq-core.plugins.ssreflect)
 (new_public_name rocq-runtime.plugins.ssreflect))
(deprecated_library_name
 (old_public_name coq-core.plugins.ssrmatching)
 (new_public_name rocq-runtime.plugins.ssrmatching))
(deprecated_library_name
 (old_public_name coq-core.plugins.tauto)
 (new_public_name rocq-runtime.plugins.tauto))
(deprecated_library_name
 (old_public_name coq-core.plugins.zify)
 (new_public_name rocq-runtime.plugins.zify))
(deprecated_library_name
 (old_public_name coq-core.pretyping)
 (new_public_name rocq-runtime.pretyping))
(deprecated_library_name
 (old_public_name coq-core.printing)
 (new_public_name rocq-runtime.printing))
(deprecated_library_name
 (old_public_name coq-core.proofs)
 (new_public_name rocq-runtime.proofs))
(deprecated_library_name
 (old_public_name coq-core.stm)
 (new_public_name rocq-runtime.stm))
(deprecated_library_name
 (old_public_name coq-core.sysinit)
 (new_public_name rocq-runtime.sysinit))
(deprecated_library_name
 (old_public_name coq-core.tactics)
 (new_public_name rocq-runtime.tactics))
(deprecated_library_name
 (old_public_name coq-core.toplevel)
 (new_public_name rocq-runtime.toplevel))
(deprecated_library_name
 (old_public_name coq-core.vernac)
 (new_public_name rocq-runtime.vernac))
(deprecated_library_name
 (old_public_name coq-core.vm)
 (new_public_name rocq-runtime.vm))
