Content of RPM
ocaml-coq-8.19.1-dlo.1699.1.334.x86_64.rpm :
/usr/bin/coq-tex
/usr/bin/coq_makefile
/usr/bin/coqc
/usr/bin/coqc.byte
/usr/bin/coqchk
/usr/bin/coqdep
/usr/bin/coqdoc
/usr/bin/coqide
/usr/bin/coqidetop.byte
/usr/bin/coqidetop.opt
/usr/bin/coqnative
/usr/bin/coqpp
/usr/bin/coqtimelog2html
/usr/bin/coqtop
/usr/bin/coqtop.byte
/usr/bin/coqtop.opt
/usr/bin/coqwc
/usr/bin/coqworker.opt
/usr/bin/coqworkmgr
/usr/bin/csdpcert
/usr/bin/ocamllibdep
/usr/bin/votour
/usr/lib64/ocaml/coq-core
/usr/lib64/ocaml/coq-core/boot
/usr/lib64/ocaml/coq-core/boot/boot.cmxs
/usr/lib64/ocaml/coq-core/clib
/usr/lib64/ocaml/coq-core/clib/clib.cmxs
/usr/lib64/ocaml/coq-core/config
/usr/lib64/ocaml/coq-core/config/config.cmxs
/usr/lib64/ocaml/coq-core/coqworkmgrapi
/usr/lib64/ocaml/coq-core/coqworkmgrapi/coqworkmgrlib.cmxs
/usr/lib64/ocaml/coq-core/engine
/usr/lib64/ocaml/coq-core/engine/engine.cmxs
/usr/lib64/ocaml/coq-core/gramlib
/usr/lib64/ocaml/coq-core/gramlib/gramlib.cmxs
/usr/lib64/ocaml/coq-core/interp
/usr/lib64/ocaml/coq-core/interp/interp.cmxs
/usr/lib64/ocaml/coq-core/kernel
/usr/lib64/ocaml/coq-core/kernel/kernel.cmxs
/usr/lib64/ocaml/coq-core/lib
/usr/lib64/ocaml/coq-core/lib/lib.cmxs
/usr/lib64/ocaml/coq-core/library
/usr/lib64/ocaml/coq-core/library/library.cmxs
/usr/lib64/ocaml/coq-core/parsing
/usr/lib64/ocaml/coq-core/parsing/parsing.cmxs
/usr/lib64/ocaml/coq-core/perf
/usr/lib64/ocaml/coq-core/perf/coqperf.cmxs
/usr/lib64/ocaml/coq-core/plugins
/usr/lib64/ocaml/coq-core/plugins/btauto
/usr/lib64/ocaml/coq-core/plugins/btauto/btauto_plugin.cmxs
/usr/lib64/ocaml/coq-core/plugins/cc
/usr/lib64/ocaml/coq-core/plugins/cc/cc_plugin.cmxs
/usr/lib64/ocaml/coq-core/plugins/derive
/usr/lib64/ocaml/coq-core/plugins/derive/derive_plugin.cmxs
/usr/lib64/ocaml/coq-core/plugins/extraction
/usr/lib64/ocaml/coq-core/plugins/extraction/extraction_plugin.cmxs
/usr/lib64/ocaml/coq-core/plugins/firstorder
/usr/lib64/ocaml/coq-core/plugins/firstorder/firstorder_plugin.cmxs
/usr/lib64/ocaml/coq-core/plugins/funind
/usr/lib64/ocaml/coq-core/plugins/funind/funind_plugin.cmxs
/usr/lib64/ocaml/coq-core/plugins/ltac
/usr/lib64/ocaml/coq-core/plugins/ltac/ltac_plugin.cmxs
/usr/lib64/ocaml/coq-core/plugins/ltac2
/usr/lib64/ocaml/coq-core/plugins/ltac2/ltac2_plugin.cmxs
/usr/lib64/ocaml/coq-core/plugins/micromega
/usr/lib64/ocaml/coq-core/plugins/micromega/micromega_plugin.cmxs
/usr/lib64/ocaml/coq-core/plugins/nsatz
/usr/lib64/ocaml/coq-core/plugins/nsatz/nsatz_plugin.cmxs
/usr/lib64/ocaml/coq-core/plugins/number_string_notation
/usr/lib64/ocaml/coq-core/plugins/number_string_notation/number_string_notation_plugin.cmxs
/usr/lib64/ocaml/coq-core/plugins/ring
/usr/lib64/ocaml/coq-core/plugins/ring/ring_plugin.cmxs
/usr/lib64/ocaml/coq-core/plugins/rtauto
/usr/lib64/ocaml/coq-core/plugins/rtauto/rtauto_plugin.cmxs
/usr/lib64/ocaml/coq-core/plugins/ssreflect
/usr/lib64/ocaml/coq-core/plugins/ssreflect/ssreflect_plugin.cmxs
/usr/lib64/ocaml/coq-core/plugins/ssrmatching
/usr/lib64/ocaml/coq-core/plugins/ssrmatching/ssrmatching_plugin.cmxs
/usr/lib64/ocaml/coq-core/plugins/tauto
/usr/lib64/ocaml/coq-core/plugins/tauto/tauto_plugin.cmxs
/usr/lib64/ocaml/coq-core/plugins/zify
/usr/lib64/ocaml/coq-core/plugins/zify/zify_plugin.cmxs
/usr/lib64/ocaml/coq-core/pretyping
/usr/lib64/ocaml/coq-core/pretyping/pretyping.cmxs
/usr/lib64/ocaml/coq-core/printing
/usr/lib64/ocaml/coq-core/printing/printing.cmxs
/usr/lib64/ocaml/coq-core/proofs
/usr/lib64/ocaml/coq-core/proofs/proofs.cmxs
/usr/lib64/ocaml/coq-core/revision
/usr/lib64/ocaml/coq-core/stm
/usr/lib64/ocaml/coq-core/stm/stm.cmxs
/usr/lib64/ocaml/coq-core/sysinit
/usr/lib64/ocaml/coq-core/sysinit/sysinit.cmxs
/usr/lib64/ocaml/coq-core/tactics
/usr/lib64/ocaml/coq-core/tactics/tactics.cmxs
/usr/lib64/ocaml/coq-core/tools
/usr/lib64/ocaml/coq-core/tools/CoqMakefile.in
/usr/lib64/ocaml/coq-core/tools/TimeFileMaker.py
/usr/lib64/ocaml/coq-core/tools/coqdoc
/usr/lib64/ocaml/coq-core/tools/coqdoc/coqdoc.css
/usr/lib64/ocaml/coq-core/tools/coqdoc/coqdoc.sty
/usr/lib64/ocaml/coq-core/tools/make-both-single-timing-files.py
/usr/lib64/ocaml/coq-core/tools/make-both-time-files.py
/usr/lib64/ocaml/coq-core/tools/make-one-time-file.py
/usr/lib64/ocaml/coq-core/top_printers
/usr/lib64/ocaml/coq-core/top_printers/top_printers.cmxs
/usr/lib64/ocaml/coq-core/toplevel
/usr/lib64/ocaml/coq-core/toplevel/toplevel.cmxs
/usr/lib64/ocaml/coq-core/vernac
/usr/lib64/ocaml/coq-core/vernac/vernac.cmxs
/usr/lib64/ocaml/coq-core/vm
/usr/lib64/ocaml/coq-core/vm/coqrun.cmxs
/usr/lib64/ocaml/coqide-server
/usr/lib64/ocaml/coqide-server/core
/usr/lib64/ocaml/coqide-server/core/core.cmxs
/usr/lib64/ocaml/coqide-server/protocol
/usr/lib64/ocaml/coqide-server/protocol/protocol.cmxs
/usr/share/coq
/usr/share/coq/coq-ssreflect.lang
/usr/share/coq/coq.lang
/usr/share/coq/coq.png
/usr/share/coq/coq_style.xml
/usr/share/coq/default.bindings
/usr/share/licenses/ocaml-coq
/usr/share/licenses/ocaml-coq/LICENSE
/usr/share/man/man1/
coq-tex.1.gz
/usr/share/man/man1/
coq_makefile.1.gz
/usr/share/man/man1/
coqc.1.gz
/usr/share/man/man1/
coqchk.1.gz
/usr/share/man/man1/
coqdep.1.gz
/usr/share/man/man1/
coqdoc.1.gz
/usr/share/man/man1/
coqide.1.gz
/usr/share/man/man1/
coqnative.1.gz
/usr/share/man/man1/
coqtop.1.gz
/usr/share/man/man1/
coqtop.byte.1.gz
/usr/share/man/man1/
coqtop.opt.1.gz
/usr/share/man/man1/
coqwc.1.gz
/usr/share/texmf
/usr/share/texmf/tex
/usr/share/texmf/tex/latex
/usr/share/texmf/tex/latex/misc
/usr/share/texmf/tex/latex/misc/coqdoc.sty
8395013
