/usr/bin/rocqide libgtksourceview-3.0.so.1,libgtk-3.so.0,libgobject-2.0.so.0,libglib-2.0.so.0,libgdk-3.so.0,libgdk_pixbuf-2.0.so.0,libpango-1.0.so.0,libcairo.so.2,libfreetype.so.6,libfontconfig.so.1,libm.so.6,libc.so.6
/usr/bin/coqidetop libgmp.so.10,libm.so.6,libc.so.6
/usr/bin/votour libm.so.6,libc.so.6
/usr/bin/rocqchk libm.so.6,libc.so.6
/usr/bin/rocq libm.so.6,libc.so.6
/usr/bin/ocamllibdep libm.so.6,libc.so.6
/usr/bin/csdpcert libgmp.so.10,libm.so.6,libc.so.6
/usr/bin/coqworkmgr libm.so.6,libc.so.6
/usr/bin/coqwc libm.so.6,libc.so.6
/usr/bin/coqtop.byte libm.so.6,libc.so.6
/usr/bin/coqtop libm.so.6,libc.so.6
/usr/bin/coqpp libm.so.6,libc.so.6
/usr/bin/coqnative libm.so.6,libc.so.6
/usr/bin/coqdoc libm.so.6,libc.so.6
/usr/bin/coqdep libm.so.6,libc.so.6
/usr/bin/coqchk libm.so.6,libc.so.6
/usr/bin/coqc libm.so.6,libc.so.6
/usr/bin/coq_makefile libm.so.6,libc.so.6
/usr/bin/coq-tex libm.so.6,libc.so.6
/usr/lib64/ocaml/coqide-server/protocol/protocol.cmxs 
/usr/lib64/ocaml/coqide-server/core/core.cmxs 
/usr/lib64/ocaml/stublibs/dllcoqrun_stubs.so libc.so.6
/usr/lib64/ocaml/stublibs/dllcoqperf_stubs.so libc.so.6
/usr/lib64/ocaml/rocq-runtime/rocqworker libgmp.so.10,libm.so.6,libc.so.6
/usr/lib64/ocaml/rocq-runtime/rocqnative libm.so.6,libc.so.6
/usr/lib64/ocaml/rocq-runtime/vm/coqrun.cmxs 
/usr/lib64/ocaml/rocq-runtime/vernac/vernac.cmxs 
/usr/lib64/ocaml/rocq-runtime/toplevel/toplevel.cmxs 
/usr/lib64/ocaml/rocq-runtime/tactics/tactics.cmxs 
/usr/lib64/ocaml/rocq-runtime/sysinit/sysinit.cmxs 
/usr/lib64/ocaml/rocq-runtime/stm/stm.cmxs 
/usr/lib64/ocaml/rocq-runtime/rocqshim/rocqshim.cmxs 
/usr/lib64/ocaml/rocq-runtime/proofs/proofs.cmxs 
/usr/lib64/ocaml/rocq-runtime/printing/printing.cmxs 
/usr/lib64/ocaml/rocq-runtime/pretyping/pretyping.cmxs 
/usr/lib64/ocaml/rocq-runtime/plugins/zify/zify_plugin.cmxs 
/usr/lib64/ocaml/rocq-runtime/plugins/tutorial/p4/tuto4_plugin.cmxs 
/usr/lib64/ocaml/rocq-runtime/plugins/tutorial/p3/tuto3_plugin.cmxs 
/usr/lib64/ocaml/rocq-runtime/plugins/tutorial/p2/tuto2_plugin.cmxs 
/usr/lib64/ocaml/rocq-runtime/plugins/tutorial/p1/tuto1_plugin.cmxs 
/usr/lib64/ocaml/rocq-runtime/plugins/tutorial/p0/tuto0_plugin.cmxs 
/usr/lib64/ocaml/rocq-runtime/plugins/tauto/tauto_plugin.cmxs 
/usr/lib64/ocaml/rocq-runtime/plugins/ssrmatching/ssrmatching_plugin.cmxs 
/usr/lib64/ocaml/rocq-runtime/plugins/ssreflect/ssreflect_plugin.cmxs 
/usr/lib64/ocaml/rocq-runtime/plugins/rtauto/rtauto_plugin.cmxs 
/usr/lib64/ocaml/rocq-runtime/plugins/ring/ring_plugin.cmxs 
/usr/lib64/ocaml/rocq-runtime/plugins/number_string_notation/number_string_notation_plugin.cmxs 
/usr/lib64/ocaml/rocq-runtime/plugins/nsatz_core/nsatz_core_plugin.cmxs 
/usr/lib64/ocaml/rocq-runtime/plugins/nsatz/nsatz_plugin.cmxs 
/usr/lib64/ocaml/rocq-runtime/plugins/micromega_core/micromega_core_plugin.cmxs 
/usr/lib64/ocaml/rocq-runtime/plugins/micromega/micromega_plugin.cmxs 
/usr/lib64/ocaml/rocq-runtime/plugins/ltac2_ltac1/ltac2_ltac1_plugin.cmxs 
/usr/lib64/ocaml/rocq-runtime/plugins/ltac2/ltac2_plugin.cmxs 
/usr/lib64/ocaml/rocq-runtime/plugins/ltac/ltac_plugin.cmxs 
/usr/lib64/ocaml/rocq-runtime/plugins/funind/funind_plugin.cmxs 
/usr/lib64/ocaml/rocq-runtime/plugins/firstorder_core/firstorder_core_plugin.cmxs 
/usr/lib64/ocaml/rocq-runtime/plugins/firstorder/firstorder_plugin.cmxs 
/usr/lib64/ocaml/rocq-runtime/plugins/extraction/extraction_plugin.cmxs 
/usr/lib64/ocaml/rocq-runtime/plugins/derive/derive_plugin.cmxs 
/usr/lib64/ocaml/rocq-runtime/plugins/cc_core/cc_core_plugin.cmxs 
/usr/lib64/ocaml/rocq-runtime/plugins/cc/cc_plugin.cmxs 
/usr/lib64/ocaml/rocq-runtime/plugins/btauto/btauto_plugin.cmxs 
/usr/lib64/ocaml/rocq-runtime/perf/coqperf.cmxs libc.so.6
/usr/lib64/ocaml/rocq-runtime/parsing/parsing.cmxs 
/usr/lib64/ocaml/rocq-runtime/library/library.cmxs 
/usr/lib64/ocaml/rocq-runtime/lib/lib.cmxs 
/usr/lib64/ocaml/rocq-runtime/kernel/kernel.cmxs 
/usr/lib64/ocaml/rocq-runtime/interp/interp.cmxs 
/usr/lib64/ocaml/rocq-runtime/gramlib/gramlib.cmxs 
/usr/lib64/ocaml/rocq-runtime/engine/engine.cmxs 
/usr/lib64/ocaml/rocq-runtime/dev/dev.cmxs 
/usr/lib64/ocaml/rocq-runtime/debugger_support/debugger_support.cmxs 
/usr/lib64/ocaml/rocq-runtime/coqworkmgrapi/coqworkmgrApi.cmxs 
/usr/lib64/ocaml/rocq-runtime/coqdeplib/coqdeplib.cmxs 
/usr/lib64/ocaml/rocq-runtime/coqargs/coqargs.cmxs 
/usr/lib64/ocaml/rocq-runtime/config/config.cmxs 
/usr/lib64/ocaml/rocq-runtime/clib/clib.cmxs 
/usr/lib64/ocaml/rocq-runtime/checklib/coq_checklib.cmxs 
/usr/lib64/ocaml/rocq-runtime/boot/boot.cmxs 
/usr/lib64/ocaml/rocq-devtools/timelog2html libz.so.1,libgmp.so.10,libm.so.6,libc.so.6
