Content of RPM coq-core-debuginfo-8.18.0-11.fc41.x86_64.rpm :
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/07
/usr/lib/debug/.build-id/07/99affbd6ef5f1cc3d21e62ea3d07c04a0c086b
/usr/lib/debug/.build-id/07/99affbd6ef5f1cc3d21e62ea3d07c04a0c086b.debug
/usr/lib/debug/.build-id/09
/usr/lib/debug/.build-id/09/75f94778e56ff4bf2fe7afc13ce8f5803812fe
/usr/lib/debug/.build-id/09/75f94778e56ff4bf2fe7afc13ce8f5803812fe.debug
/usr/lib/debug/.build-id/0c
/usr/lib/debug/.build-id/0c/6e5b3655469c3bfad1aead759841ae18d78628
/usr/lib/debug/.build-id/0c/6e5b3655469c3bfad1aead759841ae18d78628.debug
/usr/lib/debug/.build-id/0d
/usr/lib/debug/.build-id/0d/9c67bcc2425b0029e387dbcd666f1c0ee07535
/usr/lib/debug/.build-id/0d/9c67bcc2425b0029e387dbcd666f1c0ee07535.debug
/usr/lib/debug/.build-id/0d/c1ce5a207605f0dadffa81f09c6e20eefde211
/usr/lib/debug/.build-id/0d/c1ce5a207605f0dadffa81f09c6e20eefde211.debug
/usr/lib/debug/.build-id/0e
/usr/lib/debug/.build-id/0e/e9ae2ce5aab8b5d18394dc887ad181079e59b7
/usr/lib/debug/.build-id/0e/e9ae2ce5aab8b5d18394dc887ad181079e59b7.debug
/usr/lib/debug/.build-id/10
/usr/lib/debug/.build-id/10/7e481b136d4c0d0264d787f3a8a111880cabde
/usr/lib/debug/.build-id/10/7e481b136d4c0d0264d787f3a8a111880cabde.debug
/usr/lib/debug/.build-id/15
/usr/lib/debug/.build-id/15/0c6216763eea2d66d8f1c3450b6bc52350e206
/usr/lib/debug/.build-id/15/0c6216763eea2d66d8f1c3450b6bc52350e206.debug
/usr/lib/debug/.build-id/18
/usr/lib/debug/.build-id/18/24da2d68d346f76fab4831f7acce580db9838d
/usr/lib/debug/.build-id/18/24da2d68d346f76fab4831f7acce580db9838d.debug
/usr/lib/debug/.build-id/1c
/usr/lib/debug/.build-id/1c/01ea460cec98848a1154d82b4550b1b5d315ff
/usr/lib/debug/.build-id/1c/01ea460cec98848a1154d82b4550b1b5d315ff.debug
/usr/lib/debug/.build-id/1c/37c19d70ddbefa3877da168c3a7f1a8a9bd75c
/usr/lib/debug/.build-id/1c/37c19d70ddbefa3877da168c3a7f1a8a9bd75c.debug
/usr/lib/debug/.build-id/26
/usr/lib/debug/.build-id/26/7d3126f7dfcf6cb4c3f1e2acef446e95f15775
/usr/lib/debug/.build-id/26/7d3126f7dfcf6cb4c3f1e2acef446e95f15775.debug
/usr/lib/debug/.build-id/28
/usr/lib/debug/.build-id/28/d9fc32a84c49d5f60582c53f1581e9a5dfe372
/usr/lib/debug/.build-id/28/d9fc32a84c49d5f60582c53f1581e9a5dfe372.debug
/usr/lib/debug/.build-id/2b
/usr/lib/debug/.build-id/2b/77bbb1a5d71a2fb6c82e4cc032df1f16e2bebf
/usr/lib/debug/.build-id/2b/77bbb1a5d71a2fb6c82e4cc032df1f16e2bebf.debug
/usr/lib/debug/.build-id/2e
/usr/lib/debug/.build-id/2e/57b0d12a512d286492c87b6c49fc91141e1f23
/usr/lib/debug/.build-id/2e/57b0d12a512d286492c87b6c49fc91141e1f23.debug
/usr/lib/debug/.build-id/31
/usr/lib/debug/.build-id/31/d9d572744620737ec0ac28eea63b8ad609e136
/usr/lib/debug/.build-id/31/d9d572744620737ec0ac28eea63b8ad609e136.debug
/usr/lib/debug/.build-id/32
/usr/lib/debug/.build-id/32/b2374abf1bdfe1a008cca74084e31e7be76301
/usr/lib/debug/.build-id/32/b2374abf1bdfe1a008cca74084e31e7be76301.1
/usr/lib/debug/.build-id/32/b2374abf1bdfe1a008cca74084e31e7be76301.1.debug
/usr/lib/debug/.build-id/32/b2374abf1bdfe1a008cca74084e31e7be76301.debug
/usr/lib/debug/.build-id/33
/usr/lib/debug/.build-id/33/3a0d631b0c3b0c391de391c686b790d7c45ac0
/usr/lib/debug/.build-id/33/3a0d631b0c3b0c391de391c686b790d7c45ac0.debug
/usr/lib/debug/.build-id/33/b999217ac7ffdcdbd0e64f0afb83172b9da665
/usr/lib/debug/.build-id/33/b999217ac7ffdcdbd0e64f0afb83172b9da665.debug
/usr/lib/debug/.build-id/35
/usr/lib/debug/.build-id/35/a1ef278a52aea19e7d043d9ce81d9ea362ba71
/usr/lib/debug/.build-id/35/a1ef278a52aea19e7d043d9ce81d9ea362ba71.debug
/usr/lib/debug/.build-id/37
/usr/lib/debug/.build-id/37/4cf11c3ac1c03f527c4faa45e10c3b9ccb9aca
/usr/lib/debug/.build-id/37/4cf11c3ac1c03f527c4faa45e10c3b9ccb9aca.debug
/usr/lib/debug/.build-id/3c
/usr/lib/debug/.build-id/3c/46dc6c2c7f1daac9949a209ded74bdb8382b55
/usr/lib/debug/.build-id/3c/46dc6c2c7f1daac9949a209ded74bdb8382b55.debug
/usr/lib/debug/.build-id/44
/usr/lib/debug/.build-id/44/a2042467740ab25f4b177053041c57e18fc682
/usr/lib/debug/.build-id/44/a2042467740ab25f4b177053041c57e18fc682.debug
/usr/lib/debug/.build-id/49
/usr/lib/debug/.build-id/49/8dc0f5887d763c010395daa6f0cd69e31ce95e
/usr/lib/debug/.build-id/49/8dc0f5887d763c010395daa6f0cd69e31ce95e.debug
/usr/lib/debug/.build-id/4a
/usr/lib/debug/.build-id/4a/90e604bfb89e7ec72e54e45973370d6c8fcc70
/usr/lib/debug/.build-id/4a/90e604bfb89e7ec72e54e45973370d6c8fcc70.debug
/usr/lib/debug/.build-id/54
/usr/lib/debug/.build-id/54/755d72b58086a614bc64ba723065ecce616262
/usr/lib/debug/.build-id/54/755d72b58086a614bc64ba723065ecce616262.debug
/usr/lib/debug/.build-id/61
/usr/lib/debug/.build-id/61/f54ef9e844caea707837ae43c07b7653971452
/usr/lib/debug/.build-id/61/f54ef9e844caea707837ae43c07b7653971452.debug
/usr/lib/debug/.build-id/62
/usr/lib/debug/.build-id/62/551273710e2dcdbaffe0304b0cedc1a8f915a6
/usr/lib/debug/.build-id/62/551273710e2dcdbaffe0304b0cedc1a8f915a6.debug
/usr/lib/debug/.build-id/63
/usr/lib/debug/.build-id/63/c626cc01e6fb7af61e85a83d5aa3598da12b93
/usr/lib/debug/.build-id/63/c626cc01e6fb7af61e85a83d5aa3598da12b93.debug
/usr/lib/debug/.build-id/67
/usr/lib/debug/.build-id/67/a3bd24559e2cd80d29b752da6a074e39d420c6
/usr/lib/debug/.build-id/67/a3bd24559e2cd80d29b752da6a074e39d420c6.debug
/usr/lib/debug/.build-id/6b
/usr/lib/debug/.build-id/6b/b420e82ca4fc5fd887518c9c8e296eb1050e99
/usr/lib/debug/.build-id/6b/b420e82ca4fc5fd887518c9c8e296eb1050e99.debug
/usr/lib/debug/.build-id/6e
/usr/lib/debug/.build-id/6e/ca0203dc87a95813a09bf734ef6f0e808eab92
/usr/lib/debug/.build-id/6e/ca0203dc87a95813a09bf734ef6f0e808eab92.debug
/usr/lib/debug/.build-id/6e/d79349bf0f43f0479dfae5a7d5e25f7f9866fb
/usr/lib/debug/.build-id/6e/d79349bf0f43f0479dfae5a7d5e25f7f9866fb.debug
/usr/lib/debug/.build-id/7b
/usr/lib/debug/.build-id/7b/4d392358919827bca702b34ef7f31f8af2e58a
/usr/lib/debug/.build-id/7b/4d392358919827bca702b34ef7f31f8af2e58a.debug
/usr/lib/debug/.build-id/81
/usr/lib/debug/.build-id/81/bb94ba4e89c59c5d923640dbdfdf88d1bad682
/usr/lib/debug/.build-id/81/bb94ba4e89c59c5d923640dbdfdf88d1bad682.debug
/usr/lib/debug/.build-id/81/dc3e408ed64458c2503bac6011af2bf84b0fc6
/usr/lib/debug/.build-id/81/dc3e408ed64458c2503bac6011af2bf84b0fc6.debug
/usr/lib/debug/.build-id/8e
/usr/lib/debug/.build-id/8e/cef437907a269cfbdbb5744ca06ddbe3319277
/usr/lib/debug/.build-id/8e/cef437907a269cfbdbb5744ca06ddbe3319277.debug
/usr/lib/debug/.build-id/90
/usr/lib/debug/.build-id/90/9b8511cf6f15c90c0833e849f14997233eed01
/usr/lib/debug/.build-id/90/9b8511cf6f15c90c0833e849f14997233eed01.debug
/usr/lib/debug/.build-id/92
/usr/lib/debug/.build-id/92/d34ea50058353a3eb761ae3a820982d2ed4f37
/usr/lib/debug/.build-id/92/d34ea50058353a3eb761ae3a820982d2ed4f37.debug
/usr/lib/debug/.build-id/96
/usr/lib/debug/.build-id/96/7e8cbaa1ea2e7a3c0be29c30cc6b2ccb233f71
/usr/lib/debug/.build-id/96/7e8cbaa1ea2e7a3c0be29c30cc6b2ccb233f71.debug
/usr/lib/debug/.build-id/9a
/usr/lib/debug/.build-id/9a/ed4d8549a9ce5c4dfc013ef7dcfb9c1eb876a8
/usr/lib/debug/.build-id/9a/ed4d8549a9ce5c4dfc013ef7dcfb9c1eb876a8.debug
/usr/lib/debug/.build-id/a7
/usr/lib/debug/.build-id/a7/b05ad6c9f1337984eca19becef62d2e2ff018d
/usr/lib/debug/.build-id/a7/b05ad6c9f1337984eca19becef62d2e2ff018d.debug
/usr/lib/debug/.build-id/a9
/usr/lib/debug/.build-id/a9/a8550c9dc649430583a10079867551bee45788
/usr/lib/debug/.build-id/a9/a8550c9dc649430583a10079867551bee45788.debug
/usr/lib/debug/.build-id/af
/usr/lib/debug/.build-id/af/97f9880674bf8d0f2c273ed3f3127e609fe4ec
/usr/lib/debug/.build-id/af/97f9880674bf8d0f2c273ed3f3127e609fe4ec.debug
/usr/lib/debug/.build-id/b3
/usr/lib/debug/.build-id/b3/6a1babd1d45c8740a8e9ba2f21876c4b1d2930
/usr/lib/debug/.build-id/b3/6a1babd1d45c8740a8e9ba2f21876c4b1d2930.debug
/usr/lib/debug/.build-id/c0
/usr/lib/debug/.build-id/c0/1efa2fef2dddc028f641e63deaee6ef9dade56
/usr/lib/debug/.build-id/c0/1efa2fef2dddc028f641e63deaee6ef9dade56.debug
/usr/lib/debug/.build-id/cd
/usr/lib/debug/.build-id/cd/2d775407e96d6936d84c7089266cdcc95997ac
/usr/lib/debug/.build-id/cd/2d775407e96d6936d84c7089266cdcc95997ac.debug
/usr/lib/debug/.build-id/d2
/usr/lib/debug/.build-id/d2/8cdbcedd4fdbf033c1e30d39000ce21082dad6
/usr/lib/debug/.build-id/d2/8cdbcedd4fdbf033c1e30d39000ce21082dad6.debug
/usr/lib/debug/.build-id/d3
/usr/lib/debug/.build-id/d3/8912deab1a8c1670d24697c319cccdcddbb52f
/usr/lib/debug/.build-id/d3/8912deab1a8c1670d24697c319cccdcddbb52f.debug
/usr/lib/debug/.build-id/d6
/usr/lib/debug/.build-id/d6/583fa20b0ecf65e637ac6ff130bd2e3dcf79ff
/usr/lib/debug/.build-id/d6/583fa20b0ecf65e637ac6ff130bd2e3dcf79ff.debug
/usr/lib/debug/.build-id/dd
/usr/lib/debug/.build-id/dd/949324b0b15a8e535dd4632304c62acaae2795
/usr/lib/debug/.build-id/dd/949324b0b15a8e535dd4632304c62acaae2795.debug
/usr/lib/debug/.build-id/df
/usr/lib/debug/.build-id/df/e11364efd26e69e8c499e368737bb0898c39ee
/usr/lib/debug/.build-id/df/e11364efd26e69e8c499e368737bb0898c39ee.debug
/usr/lib/debug/.build-id/ee
/usr/lib/debug/.build-id/ee/492d45fab24c42ed0f4b38cc42e92a120775c8
/usr/lib/debug/.build-id/ee/492d45fab24c42ed0f4b38cc42e92a120775c8.debug
/usr/lib/debug/.build-id/f4
/usr/lib/debug/.build-id/f4/7d00aa54057326ec2a2db538a07179e5d28e94
/usr/lib/debug/.build-id/f4/7d00aa54057326ec2a2db538a07179e5d28e94.debug
/usr/lib/debug/.build-id/f6
/usr/lib/debug/.build-id/f6/ec3190ca35b32eb31509b737c0dcc302965de5
/usr/lib/debug/.build-id/f6/ec3190ca35b32eb31509b737c0dcc302965de5.debug
/usr/lib/debug/.build-id/f8
/usr/lib/debug/.build-id/f8/f5aa5b803d9dd9f824785141049d4ca9948acc
/usr/lib/debug/.build-id/f8/f5aa5b803d9dd9f824785141049d4ca9948acc.debug
/usr/lib/debug/.build-id/fc
/usr/lib/debug/.build-id/fc/15fa9bb9c685329c8100251d439b2b7f18fa91
/usr/lib/debug/.build-id/fc/15fa9bb9c685329c8100251d439b2b7f18fa91.debug
/usr/lib/debug/.build-id/ff
/usr/lib/debug/.build-id/ff/426a4e44b4cb5244067faa7b8ff850e5d7022b
/usr/lib/debug/.build-id/ff/426a4e44b4cb5244067faa7b8ff850e5d7022b.debug
/usr/lib/debug/.build-id/ff/e51737c006b1ad9d403dae5e0f5068aac1e87e
/usr/lib/debug/.build-id/ff/e51737c006b1ad9d403dae5e0f5068aac1e87e.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/coq-tex-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/bin/coq_makefile-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/bin/coqc-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/bin/coqchk-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/bin/coqdep-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/bin/coqdoc-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/bin/coqnative-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/bin/coqpp-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/bin/coqtimelog2html-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/bin/coqtop-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/bin/coqtop.opt-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/bin/coqwc-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/bin/coqworker.opt-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/bin/coqworkmgr-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/bin/csdpcert-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/bin/ocamllibdep-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/bin/votour-8.18.0-11.fc41.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.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/clib
/usr/lib/debug/usr/lib64/ocaml/coq-core/clib/clib.cmxs-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/config
/usr/lib/debug/usr/lib64/ocaml/coq-core/config/config.cmxs-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/coqworkmgrapi
/usr/lib/debug/usr/lib64/ocaml/coq-core/coqworkmgrapi/coqworkmgrlib.cmxs-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/engine
/usr/lib/debug/usr/lib64/ocaml/coq-core/engine/engine.cmxs-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/gramlib
/usr/lib/debug/usr/lib64/ocaml/coq-core/gramlib/gramlib.cmxs-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/interp
/usr/lib/debug/usr/lib64/ocaml/coq-core/interp/interp.cmxs-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/kernel
/usr/lib/debug/usr/lib64/ocaml/coq-core/kernel/kernel.cmxs-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/lib
/usr/lib/debug/usr/lib64/ocaml/coq-core/lib/lib.cmxs-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/library
/usr/lib/debug/usr/lib64/ocaml/coq-core/library/library.cmxs-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/parsing
/usr/lib/debug/usr/lib64/ocaml/coq-core/parsing/parsing.cmxs-8.18.0-11.fc41.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.18.0-11.fc41.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.18.0-11.fc41.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.18.0-11.fc41.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.18.0-11.fc41.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.18.0-11.fc41.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.18.0-11.fc41.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.18.0-11.fc41.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.18.0-11.fc41.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.18.0-11.fc41.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.18.0-11.fc41.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.18.0-11.fc41.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.18.0-11.fc41.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.18.0-11.fc41.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.18.0-11.fc41.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.18.0-11.fc41.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.18.0-11.fc41.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.18.0-11.fc41.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.18.0-11.fc41.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.18.0-11.fc41.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.18.0-11.fc41.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.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/pretyping
/usr/lib/debug/usr/lib64/ocaml/coq-core/pretyping/pretyping.cmxs-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/printing
/usr/lib/debug/usr/lib64/ocaml/coq-core/printing/printing.cmxs-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/proofs
/usr/lib/debug/usr/lib64/ocaml/coq-core/proofs/proofs.cmxs-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/stm
/usr/lib/debug/usr/lib64/ocaml/coq-core/stm/stm.cmxs-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/sysinit
/usr/lib/debug/usr/lib64/ocaml/coq-core/sysinit/sysinit.cmxs-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/tactics
/usr/lib/debug/usr/lib64/ocaml/coq-core/tactics/tactics.cmxs-8.18.0-11.fc41.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.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/toplevel
/usr/lib/debug/usr/lib64/ocaml/coq-core/toplevel/toplevel.cmxs-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/vernac
/usr/lib/debug/usr/lib64/ocaml/coq-core/vernac/vernac.cmxs-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/coq-core/vm
/usr/lib/debug/usr/lib64/ocaml/coq-core/vm/coqrun.cmxs-8.18.0-11.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqrun_stubs.so-8.18.0-11.fc41.x86_64.debug