(lang dune 3.24)
(name coq-core)
(version dev)
(sections
 (lib /usr/lib/s390x-linux-gnu/ocaml/5.4.1/coq-core)
 (bin /usr/bin)
 (doc /usr/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.kernel)
 (new_public_name rocq-runtime.kernel))
