Content of RPM coq-core-debuginfo-8.17.1-5.fc39.x86_64.rpm :
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/03
/usr/lib/debug/.build-id/03/6374501502de37d3173505ba83b8170803a5fc
/usr/lib/debug/.build-id/03/6374501502de37d3173505ba83b8170803a5fc.debug
/usr/lib/debug/.build-id/0a
/usr/lib/debug/.build-id/0a/3772afa3a1c017fd931c71eab656b4f8fdf888
/usr/lib/debug/.build-id/0a/3772afa3a1c017fd931c71eab656b4f8fdf888.debug
/usr/lib/debug/.build-id/0f
/usr/lib/debug/.build-id/0f/94c933cfe2431500e7ab44dad36c169f377c9d
/usr/lib/debug/.build-id/0f/94c933cfe2431500e7ab44dad36c169f377c9d.debug
/usr/lib/debug/.build-id/10
/usr/lib/debug/.build-id/10/7775b73c61cf330a65c4bb232245011fd66b0a
/usr/lib/debug/.build-id/10/7775b73c61cf330a65c4bb232245011fd66b0a.debug
/usr/lib/debug/.build-id/19
/usr/lib/debug/.build-id/19/c1501d64fcfd7d59866fd2989b2314d623e136
/usr/lib/debug/.build-id/19/c1501d64fcfd7d59866fd2989b2314d623e136.debug
/usr/lib/debug/.build-id/1e
/usr/lib/debug/.build-id/1e/64e5170bc196c8fc522a236957066bffa59344
/usr/lib/debug/.build-id/1e/64e5170bc196c8fc522a236957066bffa59344.debug
/usr/lib/debug/.build-id/1f
/usr/lib/debug/.build-id/1f/ea358f45c2d620c56214e7503e376d6b3db10e
/usr/lib/debug/.build-id/1f/ea358f45c2d620c56214e7503e376d6b3db10e.debug
/usr/lib/debug/.build-id/23
/usr/lib/debug/.build-id/23/778b66663bf390ea055105e85fe3e89f5cdeda
/usr/lib/debug/.build-id/23/778b66663bf390ea055105e85fe3e89f5cdeda.debug
/usr/lib/debug/.build-id/2e
/usr/lib/debug/.build-id/2e/c88d34e6ab6e1ab319eb40aac10b78d7081bd6
/usr/lib/debug/.build-id/2e/c88d34e6ab6e1ab319eb40aac10b78d7081bd6.debug
/usr/lib/debug/.build-id/36
/usr/lib/debug/.build-id/36/734971b457160c54e997776631fccba4dc8c7d
/usr/lib/debug/.build-id/36/734971b457160c54e997776631fccba4dc8c7d.debug
/usr/lib/debug/.build-id/36/a313de22e857ac8d6a93bc4c427cc91d3cead6
/usr/lib/debug/.build-id/36/a313de22e857ac8d6a93bc4c427cc91d3cead6.debug
/usr/lib/debug/.build-id/37
/usr/lib/debug/.build-id/37/9bad51648ef753a90748f0f388fee9a732f09c
/usr/lib/debug/.build-id/37/9bad51648ef753a90748f0f388fee9a732f09c.debug
/usr/lib/debug/.build-id/3b
/usr/lib/debug/.build-id/3b/47ddeb5b96a02d36ce989af7f0027e707e5f5a
/usr/lib/debug/.build-id/3b/47ddeb5b96a02d36ce989af7f0027e707e5f5a.debug
/usr/lib/debug/.build-id/3d
/usr/lib/debug/.build-id/3d/e79c5c3f9c862b3563edfedd71f32007f8df2e
/usr/lib/debug/.build-id/3d/e79c5c3f9c862b3563edfedd71f32007f8df2e.debug
/usr/lib/debug/.build-id/41
/usr/lib/debug/.build-id/41/e352ea3c6627d1628a96afbb25e06d82f87ee4
/usr/lib/debug/.build-id/41/e352ea3c6627d1628a96afbb25e06d82f87ee4.debug
/usr/lib/debug/.build-id/42
/usr/lib/debug/.build-id/42/f9735212c1431c4ebba0149b3a941c1c588e74
/usr/lib/debug/.build-id/42/f9735212c1431c4ebba0149b3a941c1c588e74.debug
/usr/lib/debug/.build-id/45
/usr/lib/debug/.build-id/45/2ac20352fa743d2a25384dcd37665133d5d850
/usr/lib/debug/.build-id/45/2ac20352fa743d2a25384dcd37665133d5d850.debug
/usr/lib/debug/.build-id/45/76de82733023137896f5a79f464a3849917b32
/usr/lib/debug/.build-id/45/76de82733023137896f5a79f464a3849917b32.debug
/usr/lib/debug/.build-id/4e
/usr/lib/debug/.build-id/4e/25370cda2496cdcf7c3789d5680df90d3a56c8
/usr/lib/debug/.build-id/4e/25370cda2496cdcf7c3789d5680df90d3a56c8.debug
/usr/lib/debug/.build-id/4f
/usr/lib/debug/.build-id/4f/bb206769bcaccfe2fdf4faa69963ffbc1ad8a0
/usr/lib/debug/.build-id/4f/bb206769bcaccfe2fdf4faa69963ffbc1ad8a0.debug
/usr/lib/debug/.build-id/64
/usr/lib/debug/.build-id/64/feac58e9dae003512cff612d6aac395e02e147
/usr/lib/debug/.build-id/64/feac58e9dae003512cff612d6aac395e02e147.debug
/usr/lib/debug/.build-id/69
/usr/lib/debug/.build-id/69/7234ff16130e2366ea5334d543124052dd8c8c
/usr/lib/debug/.build-id/69/7234ff16130e2366ea5334d543124052dd8c8c.debug
/usr/lib/debug/.build-id/73
/usr/lib/debug/.build-id/73/1091a056637c0e91a76fb46916cfc8ab20a95b
/usr/lib/debug/.build-id/73/1091a056637c0e91a76fb46916cfc8ab20a95b.debug
/usr/lib/debug/.build-id/75
/usr/lib/debug/.build-id/75/488269ec9a7b755e7916c256ac466693352f64
/usr/lib/debug/.build-id/75/488269ec9a7b755e7916c256ac466693352f64.debug
/usr/lib/debug/.build-id/76
/usr/lib/debug/.build-id/76/ec70e655ebf98ec6972474bfbf47e51fca6896
/usr/lib/debug/.build-id/76/ec70e655ebf98ec6972474bfbf47e51fca6896.debug
/usr/lib/debug/.build-id/7b
/usr/lib/debug/.build-id/7b/ca8624149d1d2468b73ab8e6de929a15dc2939
/usr/lib/debug/.build-id/7b/ca8624149d1d2468b73ab8e6de929a15dc2939.debug
/usr/lib/debug/.build-id/82
/usr/lib/debug/.build-id/82/e08490ff671637d738aad1a3d69350396fec4b
/usr/lib/debug/.build-id/82/e08490ff671637d738aad1a3d69350396fec4b.debug
/usr/lib/debug/.build-id/8b
/usr/lib/debug/.build-id/8b/1b4361b9ae5bf867b45128bfb6be2600269d0d
/usr/lib/debug/.build-id/8b/1b4361b9ae5bf867b45128bfb6be2600269d0d.debug
/usr/lib/debug/.build-id/96
/usr/lib/debug/.build-id/96/2756ee3ebe7c1e9dbebf51f5fc869d703e4097
/usr/lib/debug/.build-id/96/2756ee3ebe7c1e9dbebf51f5fc869d703e4097.debug
/usr/lib/debug/.build-id/a0
/usr/lib/debug/.build-id/a0/7cb8246918316608ad8ada8a90f6903ae30dcd
/usr/lib/debug/.build-id/a0/7cb8246918316608ad8ada8a90f6903ae30dcd.debug
/usr/lib/debug/.build-id/a2
/usr/lib/debug/.build-id/a2/025d797fd256caa8fdafc63151a40aaa14c285
/usr/lib/debug/.build-id/a2/025d797fd256caa8fdafc63151a40aaa14c285.1
/usr/lib/debug/.build-id/a2/025d797fd256caa8fdafc63151a40aaa14c285.1.debug
/usr/lib/debug/.build-id/a2/025d797fd256caa8fdafc63151a40aaa14c285.debug
/usr/lib/debug/.build-id/a4
/usr/lib/debug/.build-id/a4/45e2ae37de128d2e01172acf39ac3789fa912a
/usr/lib/debug/.build-id/a4/45e2ae37de128d2e01172acf39ac3789fa912a.debug
/usr/lib/debug/.build-id/a7
/usr/lib/debug/.build-id/a7/b1d34d5d26720d6ea248c318900356a9ca3685
/usr/lib/debug/.build-id/a7/b1d34d5d26720d6ea248c318900356a9ca3685.debug
/usr/lib/debug/.build-id/a9
/usr/lib/debug/.build-id/a9/1a7b915023a3593758eede190db65c1388680f
/usr/lib/debug/.build-id/a9/1a7b915023a3593758eede190db65c1388680f.debug
/usr/lib/debug/.build-id/ac
/usr/lib/debug/.build-id/ac/47c327acf0f72b0e1f9e8bc6159f1f4efcca63
/usr/lib/debug/.build-id/ac/47c327acf0f72b0e1f9e8bc6159f1f4efcca63.debug
/usr/lib/debug/.build-id/af
/usr/lib/debug/.build-id/af/275e598047d6cee2cfee468d8be17b1807a083
/usr/lib/debug/.build-id/af/275e598047d6cee2cfee468d8be17b1807a083.debug
/usr/lib/debug/.build-id/b0
/usr/lib/debug/.build-id/b0/59b791d3e19c5211197a39283deb77b10c109f
/usr/lib/debug/.build-id/b0/59b791d3e19c5211197a39283deb77b10c109f.debug
/usr/lib/debug/.build-id/b1
/usr/lib/debug/.build-id/b1/9f7d9e3d6a7ae0c26c205366e39df14a93abb1
/usr/lib/debug/.build-id/b1/9f7d9e3d6a7ae0c26c205366e39df14a93abb1.debug
/usr/lib/debug/.build-id/b4
/usr/lib/debug/.build-id/b4/a02d19799bda8e727f4baedd52a18aaf567f61
/usr/lib/debug/.build-id/b4/a02d19799bda8e727f4baedd52a18aaf567f61.debug
/usr/lib/debug/.build-id/b4/e33a606c7c9b1bd830b5ca29266ddfea7e130b
/usr/lib/debug/.build-id/b4/e33a606c7c9b1bd830b5ca29266ddfea7e130b.debug
/usr/lib/debug/.build-id/bb
/usr/lib/debug/.build-id/bb/a71e2156a1e389a954a35b873b92c79e21150e
/usr/lib/debug/.build-id/bb/a71e2156a1e389a954a35b873b92c79e21150e.debug
/usr/lib/debug/.build-id/c6
/usr/lib/debug/.build-id/c6/9f7b6badfe1a8dbcedba4c73364cb7978d8546
/usr/lib/debug/.build-id/c6/9f7b6badfe1a8dbcedba4c73364cb7978d8546.debug
/usr/lib/debug/.build-id/c7
/usr/lib/debug/.build-id/c7/374277f12628ceed686bef2b940cbd57c91e53
/usr/lib/debug/.build-id/c7/374277f12628ceed686bef2b940cbd57c91e53.debug
/usr/lib/debug/.build-id/ca
/usr/lib/debug/.build-id/ca/b18436a6e9fc90d2b1c8d18a499f6541d472c2
/usr/lib/debug/.build-id/ca/b18436a6e9fc90d2b1c8d18a499f6541d472c2.debug
/usr/lib/debug/.build-id/cb
/usr/lib/debug/.build-id/cb/b802b3e64713f4dd238bcaaf652e2a8445b015
/usr/lib/debug/.build-id/cb/b802b3e64713f4dd238bcaaf652e2a8445b015.debug
/usr/lib/debug/.build-id/d6
/usr/lib/debug/.build-id/d6/a30d43506bff870f720ec9a710a00097fd220f
/usr/lib/debug/.build-id/d6/a30d43506bff870f720ec9a710a00097fd220f.debug
/usr/lib/debug/.build-id/da
/usr/lib/debug/.build-id/da/34134ff07c001420a448d6ec1e937465f75d9c
/usr/lib/debug/.build-id/da/34134ff07c001420a448d6ec1e937465f75d9c.debug
/usr/lib/debug/.build-id/dd
/usr/lib/debug/.build-id/dd/365a01a23e82d0356524cc0edc2565e4e8cbe9
/usr/lib/debug/.build-id/dd/365a01a23e82d0356524cc0edc2565e4e8cbe9.debug
/usr/lib/debug/.build-id/e1
/usr/lib/debug/.build-id/e1/14fe95c4eeea797f3b6374b1109c58e38c1d1b
/usr/lib/debug/.build-id/e1/14fe95c4eeea797f3b6374b1109c58e38c1d1b.debug
/usr/lib/debug/.build-id/e7
/usr/lib/debug/.build-id/e7/a3ec325a6b5ab4ca41e0658d31cf4b59dbbef8
/usr/lib/debug/.build-id/e7/a3ec325a6b5ab4ca41e0658d31cf4b59dbbef8.debug
/usr/lib/debug/.build-id/ee
/usr/lib/debug/.build-id/ee/88d7a48833164e6b6eb708e7b85f28952f03e8
/usr/lib/debug/.build-id/ee/88d7a48833164e6b6eb708e7b85f28952f03e8.debug
/usr/lib/debug/.build-id/f0
/usr/lib/debug/.build-id/f0/659a51b413651d7e6dcb1de7ea1f88427eb52a
/usr/lib/debug/.build-id/f0/659a51b413651d7e6dcb1de7ea1f88427eb52a.debug
/usr/lib/debug/.build-id/f1
/usr/lib/debug/.build-id/f1/ce7cffe3790bfb8520dd5eaf1060c45ccd907f
/usr/lib/debug/.build-id/f1/ce7cffe3790bfb8520dd5eaf1060c45ccd907f.debug
/usr/lib/debug/.build-id/f4
/usr/lib/debug/.build-id/f4/b5a216d89cbe013c90464aa972bc43d7f1ff86
/usr/lib/debug/.build-id/f4/b5a216d89cbe013c90464aa972bc43d7f1ff86.debug
/usr/lib/debug/.build-id/f5
/usr/lib/debug/.build-id/f5/a536c5a28d8bf7e16483b51d648c0f163864c0
/usr/lib/debug/.build-id/f5/a536c5a28d8bf7e16483b51d648c0f163864c0.debug
/usr/lib/debug/.build-id/f8
/usr/lib/debug/.build-id/f8/595568ec6f7261c09ffaefd1b67feee0329cd7
/usr/lib/debug/.build-id/f8/595568ec6f7261c09ffaefd1b67feee0329cd7.debug
/usr/lib/debug/.build-id/fc
/usr/lib/debug/.build-id/fc/89085b753ea15e86782a5662376f40817691b6
/usr/lib/debug/.build-id/fc/89085b753ea15e86782a5662376f40817691b6.debug
/usr/lib/debug/.build-id/fc/c0ce42d357de0907668557c6a8172433bfb505
/usr/lib/debug/.build-id/fc/c0ce42d357de0907668557c6a8172433bfb505.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/coq-tex-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/bin/coq_makefile-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/bin/coqc-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/bin/coqchk-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/bin/coqdep-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/bin/coqdoc-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/bin/coqnative-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/bin/coqpp-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/bin/coqtop-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/bin/coqtop.opt-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/bin/coqwc-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/bin/coqworker.opt-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/bin/coqworkmgr-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/bin/csdpcert-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/bin/ocamllibdep-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/bin/votour-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64
/usr/lib/debug/usr/lib64/ocaml
/usr/lib/debug/usr/lib64/ocaml/coq-core
/usr/lib/debug/usr/lib64/ocaml/coq-core/boot
/usr/lib/debug/usr/lib64/ocaml/coq-core/boot/boot.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/clib
/usr/lib/debug/usr/lib64/ocaml/coq-core/clib/clib.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/config
/usr/lib/debug/usr/lib64/ocaml/coq-core/config/config.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/coqworkmgrapi
/usr/lib/debug/usr/lib64/ocaml/coq-core/coqworkmgrapi/coqworkmgrlib.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/engine
/usr/lib/debug/usr/lib64/ocaml/coq-core/engine/engine.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/gramlib
/usr/lib/debug/usr/lib64/ocaml/coq-core/gramlib/gramlib.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/interp
/usr/lib/debug/usr/lib64/ocaml/coq-core/interp/interp.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/kernel
/usr/lib/debug/usr/lib64/ocaml/coq-core/kernel/kernel.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/lib
/usr/lib/debug/usr/lib64/ocaml/coq-core/lib/lib.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/library
/usr/lib/debug/usr/lib64/ocaml/coq-core/library/library.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/parsing
/usr/lib/debug/usr/lib64/ocaml/coq-core/parsing/parsing.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/btauto
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/btauto/btauto_plugin.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/cc
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/cc/cc_plugin.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/derive
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/derive/derive_plugin.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/extraction
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/extraction/extraction_plugin.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/firstorder
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/firstorder/firstorder_plugin.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/funind
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/funind/funind_plugin.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/ltac
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/ltac/ltac_plugin.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/ltac2
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/ltac2/ltac2_plugin.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/micromega
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/micromega/micromega_plugin.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/nsatz
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/nsatz/nsatz_plugin.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/number_string_notation
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/number_string_notation/number_string_notation_plugin.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/ring
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/ring/ring_plugin.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/rtauto
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/rtauto/rtauto_plugin.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/ssreflect
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/ssreflect/ssreflect_plugin.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/ssrmatching
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/ssrmatching/ssrmatching_plugin.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/tauto
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/tauto/tauto_plugin.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/tutorial
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/tutorial/p0
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/tutorial/p0/tuto0_plugin.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/tutorial/p1
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/tutorial/p1/tuto1_plugin.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/tutorial/p2
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/tutorial/p2/tuto2_plugin.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/tutorial/p3
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/tutorial/p3/tuto3_plugin.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/zify
/usr/lib/debug/usr/lib64/ocaml/coq-core/plugins/zify/zify_plugin.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/pretyping
/usr/lib/debug/usr/lib64/ocaml/coq-core/pretyping/pretyping.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/printing
/usr/lib/debug/usr/lib64/ocaml/coq-core/printing/printing.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/proofs
/usr/lib/debug/usr/lib64/ocaml/coq-core/proofs/proofs.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/stm
/usr/lib/debug/usr/lib64/ocaml/coq-core/stm/stm.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/sysinit
/usr/lib/debug/usr/lib64/ocaml/coq-core/sysinit/sysinit.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/tactics
/usr/lib/debug/usr/lib64/ocaml/coq-core/tactics/tactics.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/top_printers
/usr/lib/debug/usr/lib64/ocaml/coq-core/top_printers/top_printers.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/toplevel
/usr/lib/debug/usr/lib64/ocaml/coq-core/toplevel/toplevel.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/vernac
/usr/lib/debug/usr/lib64/ocaml/coq-core/vernac/vernac.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/vm
/usr/lib/debug/usr/lib64/ocaml/coq-core/vm/coqrun.cmxs-8.17.1-5.fc39.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqrun_stubs.so-8.17.1-5.fc39.x86_64.debug