Content of RPM coq-devel-8.6-13.1.x86_64.rpm :
/usr/lib64/coq/engine/engine.a
/usr/lib64/coq/engine/engine.cmxa
/usr/lib64/coq/ide/ide.a
/usr/lib64/coq/ide/ide.cmxa
/usr/lib64/coq/interp/interp.a
/usr/lib64/coq/interp/interp.cmxa
/usr/lib64/coq/kernel/kernel.a
/usr/lib64/coq/kernel/kernel.cmxa
/usr/lib64/coq/lib/clib.a
/usr/lib64/coq/lib/clib.cmxa
/usr/lib64/coq/lib/lib.a
/usr/lib64/coq/lib/lib.cmxa
/usr/lib64/coq/libcoqrun.a
/usr/lib64/coq/library/library.a
/usr/lib64/coq/library/library.cmxa
/usr/lib64/coq/ltac/ltac.a
/usr/lib64/coq/ltac/ltac.cmxa
/usr/lib64/coq/parsing/highparsing.a
/usr/lib64/coq/parsing/highparsing.cmxa
/usr/lib64/coq/parsing/parsing.a
/usr/lib64/coq/parsing/parsing.cmxa
/usr/lib64/coq/pretyping/pretyping.a
/usr/lib64/coq/pretyping/pretyping.cmxa
/usr/lib64/coq/printing/printing.a
/usr/lib64/coq/printing/printing.cmxa
/usr/lib64/coq/proofs/proofs.a
/usr/lib64/coq/proofs/proofs.cmxa
/usr/lib64/coq/stm/stm.a
/usr/lib64/coq/stm/stm.cmxa
/usr/lib64/coq/tactics/tactics.a
/usr/lib64/coq/tactics/tactics.cmxa
/usr/lib64/coq/toplevel/toplevel.a
/usr/lib64/coq/toplevel/toplevel.cmxa