Content of RPM coq-core-debuginfo-8.18.0-10.fc41.x86_64.rpm :
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/09
/usr/lib/debug/.build-id/09/401596be6a8ee0d61eb5d2c3ed80debfbb7ecc
/usr/lib/debug/.build-id/09/401596be6a8ee0d61eb5d2c3ed80debfbb7ecc.debug
/usr/lib/debug/.build-id/0b
/usr/lib/debug/.build-id/0b/d77cc4685cc5df947ff1d84595cb6042aa9a50
/usr/lib/debug/.build-id/0b/d77cc4685cc5df947ff1d84595cb6042aa9a50.debug
/usr/lib/debug/.build-id/13
/usr/lib/debug/.build-id/13/30c5409c0fc12bca2ca267fc614e23a557829d
/usr/lib/debug/.build-id/13/30c5409c0fc12bca2ca267fc614e23a557829d.debug
/usr/lib/debug/.build-id/13/57f922f8ef7a169e98ccaf743b6529d6ab9da2
/usr/lib/debug/.build-id/13/57f922f8ef7a169e98ccaf743b6529d6ab9da2.debug
/usr/lib/debug/.build-id/15
/usr/lib/debug/.build-id/15/b480a3b38d61b1d03acddf1931980736b3ffc8
/usr/lib/debug/.build-id/15/b480a3b38d61b1d03acddf1931980736b3ffc8.debug
/usr/lib/debug/.build-id/18
/usr/lib/debug/.build-id/18/7d5c346b372d0274344e308bd02326d5d7976b
/usr/lib/debug/.build-id/18/7d5c346b372d0274344e308bd02326d5d7976b.debug
/usr/lib/debug/.build-id/27
/usr/lib/debug/.build-id/27/757b275637c94eaa1561d41face8589a1d5a91
/usr/lib/debug/.build-id/27/757b275637c94eaa1561d41face8589a1d5a91.debug
/usr/lib/debug/.build-id/29
/usr/lib/debug/.build-id/29/45491a3b743dd37d22274ba610c8bae5fbd450
/usr/lib/debug/.build-id/29/45491a3b743dd37d22274ba610c8bae5fbd450.debug
/usr/lib/debug/.build-id/2a
/usr/lib/debug/.build-id/2a/636d7ca01a8e6e330a8110bab5e3445af743b8
/usr/lib/debug/.build-id/2a/636d7ca01a8e6e330a8110bab5e3445af743b8.debug
/usr/lib/debug/.build-id/34
/usr/lib/debug/.build-id/34/f1a8c7de928c6cd1ba1e0abcb199d17c07f2cb
/usr/lib/debug/.build-id/34/f1a8c7de928c6cd1ba1e0abcb199d17c07f2cb.debug
/usr/lib/debug/.build-id/35
/usr/lib/debug/.build-id/35/93ff973e86c91586bf5138df70159d66258e42
/usr/lib/debug/.build-id/35/93ff973e86c91586bf5138df70159d66258e42.debug
/usr/lib/debug/.build-id/36
/usr/lib/debug/.build-id/36/14ff38745c93e20e9c0a683d650cee2c722934
/usr/lib/debug/.build-id/36/14ff38745c93e20e9c0a683d650cee2c722934.debug
/usr/lib/debug/.build-id/3a
/usr/lib/debug/.build-id/3a/187d1daa707e16585e7da255e83376db7847ec
/usr/lib/debug/.build-id/3a/187d1daa707e16585e7da255e83376db7847ec.debug
/usr/lib/debug/.build-id/3b
/usr/lib/debug/.build-id/3b/34536808c0a320bf3e024941c5b21c13f0a478
/usr/lib/debug/.build-id/3b/34536808c0a320bf3e024941c5b21c13f0a478.debug
/usr/lib/debug/.build-id/44
/usr/lib/debug/.build-id/44/5f30f8c76f3aea617dd82541093656a83aea1d
/usr/lib/debug/.build-id/44/5f30f8c76f3aea617dd82541093656a83aea1d.debug
/usr/lib/debug/.build-id/48
/usr/lib/debug/.build-id/48/99e040e695e34f2d3963d513af437965eb9bc6
/usr/lib/debug/.build-id/48/99e040e695e34f2d3963d513af437965eb9bc6.debug
/usr/lib/debug/.build-id/4b
/usr/lib/debug/.build-id/4b/e7b61776dffacbc74f08525bd22ba4f0706e97
/usr/lib/debug/.build-id/4b/e7b61776dffacbc74f08525bd22ba4f0706e97.debug
/usr/lib/debug/.build-id/4c
/usr/lib/debug/.build-id/4c/badbd6d1d6e88069cfa223e2ab89440ef394f2
/usr/lib/debug/.build-id/4c/badbd6d1d6e88069cfa223e2ab89440ef394f2.debug
/usr/lib/debug/.build-id/4d
/usr/lib/debug/.build-id/4d/53437a3392eedbdcea2ed6854b613821b4f1f9
/usr/lib/debug/.build-id/4d/53437a3392eedbdcea2ed6854b613821b4f1f9.debug
/usr/lib/debug/.build-id/4f
/usr/lib/debug/.build-id/4f/b2e659b3496c29bbbfaf04f5be1b2af481a4c5
/usr/lib/debug/.build-id/4f/b2e659b3496c29bbbfaf04f5be1b2af481a4c5.debug
/usr/lib/debug/.build-id/50
/usr/lib/debug/.build-id/50/4caa21fb3dcd9e100f668fa3a14324a217a363
/usr/lib/debug/.build-id/50/4caa21fb3dcd9e100f668fa3a14324a217a363.debug
/usr/lib/debug/.build-id/51
/usr/lib/debug/.build-id/51/28b4652af76a438bf2a65936cf8ba36a93180d
/usr/lib/debug/.build-id/51/28b4652af76a438bf2a65936cf8ba36a93180d.debug
/usr/lib/debug/.build-id/5d
/usr/lib/debug/.build-id/5d/2e0354328236db561a8263752e0ccf4639fe0f
/usr/lib/debug/.build-id/5d/2e0354328236db561a8263752e0ccf4639fe0f.debug
/usr/lib/debug/.build-id/5f
/usr/lib/debug/.build-id/5f/76c8ead694a9479f2e99570d298decb5290168
/usr/lib/debug/.build-id/5f/76c8ead694a9479f2e99570d298decb5290168.debug
/usr/lib/debug/.build-id/65
/usr/lib/debug/.build-id/65/86bce11a8a5589dbf195cd95e6f18a96721d70
/usr/lib/debug/.build-id/65/86bce11a8a5589dbf195cd95e6f18a96721d70.debug
/usr/lib/debug/.build-id/6e
/usr/lib/debug/.build-id/6e/c986aa44d1d5789ac966ce750c02bacfceaa84
/usr/lib/debug/.build-id/6e/c986aa44d1d5789ac966ce750c02bacfceaa84.debug
/usr/lib/debug/.build-id/76
/usr/lib/debug/.build-id/76/566d69146cf89ede2a52f694ded3a2aa476e4c
/usr/lib/debug/.build-id/76/566d69146cf89ede2a52f694ded3a2aa476e4c.debug
/usr/lib/debug/.build-id/7d
/usr/lib/debug/.build-id/7d/a0af735d667038fea6d0dbe4d075e4fc64ba71
/usr/lib/debug/.build-id/7d/a0af735d667038fea6d0dbe4d075e4fc64ba71.debug
/usr/lib/debug/.build-id/7e
/usr/lib/debug/.build-id/7e/f1bb0579d159acf1d1c5d69a2592af156363c1
/usr/lib/debug/.build-id/7e/f1bb0579d159acf1d1c5d69a2592af156363c1.debug
/usr/lib/debug/.build-id/84
/usr/lib/debug/.build-id/84/4f9a45f5c4ebab5ed6e19a049d325be5df9e04
/usr/lib/debug/.build-id/84/4f9a45f5c4ebab5ed6e19a049d325be5df9e04.debug
/usr/lib/debug/.build-id/85
/usr/lib/debug/.build-id/85/73b6ecd12de029a560094f778c2b130ddf84e0
/usr/lib/debug/.build-id/85/73b6ecd12de029a560094f778c2b130ddf84e0.debug
/usr/lib/debug/.build-id/86
/usr/lib/debug/.build-id/86/8b1d15c04aa22ae3ceca4bcc2165feb0947855
/usr/lib/debug/.build-id/86/8b1d15c04aa22ae3ceca4bcc2165feb0947855.debug
/usr/lib/debug/.build-id/87
/usr/lib/debug/.build-id/87/0a2ff3b9c827eb4b575702fd0bb967ddffe4c1
/usr/lib/debug/.build-id/87/0a2ff3b9c827eb4b575702fd0bb967ddffe4c1.debug
/usr/lib/debug/.build-id/90
/usr/lib/debug/.build-id/90/9799a02e046492c501eaccbd6118901bde5ea6
/usr/lib/debug/.build-id/90/9799a02e046492c501eaccbd6118901bde5ea6.debug
/usr/lib/debug/.build-id/92
/usr/lib/debug/.build-id/92/b5b7a0ad434ca3799da1006d07a2d773853ab6
/usr/lib/debug/.build-id/92/b5b7a0ad434ca3799da1006d07a2d773853ab6.debug
/usr/lib/debug/.build-id/9b
/usr/lib/debug/.build-id/9b/c24af1c8ad7b1c0e450a2ee2a782365e9a510c
/usr/lib/debug/.build-id/9b/c24af1c8ad7b1c0e450a2ee2a782365e9a510c.1
/usr/lib/debug/.build-id/9b/c24af1c8ad7b1c0e450a2ee2a782365e9a510c.1.debug
/usr/lib/debug/.build-id/9b/c24af1c8ad7b1c0e450a2ee2a782365e9a510c.debug
/usr/lib/debug/.build-id/9c
/usr/lib/debug/.build-id/9c/a0e93021ad48c683fddf6d35e033bbe67d4333
/usr/lib/debug/.build-id/9c/a0e93021ad48c683fddf6d35e033bbe67d4333.debug
/usr/lib/debug/.build-id/a0
/usr/lib/debug/.build-id/a0/b1f6c045b83e47d181c1507c4a8ea459c0c014
/usr/lib/debug/.build-id/a0/b1f6c045b83e47d181c1507c4a8ea459c0c014.debug
/usr/lib/debug/.build-id/a6
/usr/lib/debug/.build-id/a6/a4e72332e42eb694f0c83c868de5431fe6c69f
/usr/lib/debug/.build-id/a6/a4e72332e42eb694f0c83c868de5431fe6c69f.debug
/usr/lib/debug/.build-id/a7
/usr/lib/debug/.build-id/a7/df11cbbe8c47ae45f5ac6b5e3dc7da36eb8052
/usr/lib/debug/.build-id/a7/df11cbbe8c47ae45f5ac6b5e3dc7da36eb8052.debug
/usr/lib/debug/.build-id/b3
/usr/lib/debug/.build-id/b3/b95889102c14902e1f47695222bb624318c593
/usr/lib/debug/.build-id/b3/b95889102c14902e1f47695222bb624318c593.debug
/usr/lib/debug/.build-id/c4
/usr/lib/debug/.build-id/c4/c500f58cc3f11e237e1a4349904e27bdc9d9af
/usr/lib/debug/.build-id/c4/c500f58cc3f11e237e1a4349904e27bdc9d9af.debug
/usr/lib/debug/.build-id/d5
/usr/lib/debug/.build-id/d5/953ecf40d577ed9affc55ada1fc84700ad437a
/usr/lib/debug/.build-id/d5/953ecf40d577ed9affc55ada1fc84700ad437a.debug
/usr/lib/debug/.build-id/d6
/usr/lib/debug/.build-id/d6/c91950703f98036437b7fee591cff4d5e9e4f0
/usr/lib/debug/.build-id/d6/c91950703f98036437b7fee591cff4d5e9e4f0.debug
/usr/lib/debug/.build-id/d8
/usr/lib/debug/.build-id/d8/a36920ffc91d48f4bf46c2378f099174763394
/usr/lib/debug/.build-id/d8/a36920ffc91d48f4bf46c2378f099174763394.debug
/usr/lib/debug/.build-id/df
/usr/lib/debug/.build-id/df/7bb9a7bf59036d65887f54435d8f79f29e6167
/usr/lib/debug/.build-id/df/7bb9a7bf59036d65887f54435d8f79f29e6167.debug
/usr/lib/debug/.build-id/e0
/usr/lib/debug/.build-id/e0/372eccb557573296e5957639a8e0ef73e7e6a2
/usr/lib/debug/.build-id/e0/372eccb557573296e5957639a8e0ef73e7e6a2.debug
/usr/lib/debug/.build-id/e3
/usr/lib/debug/.build-id/e3/0f56d75589797ff4493728533bd804669129b9
/usr/lib/debug/.build-id/e3/0f56d75589797ff4493728533bd804669129b9.debug
/usr/lib/debug/.build-id/e6
/usr/lib/debug/.build-id/e6/6a635db5f36f7c75d578e428e8e6c7eddc8e7b
/usr/lib/debug/.build-id/e6/6a635db5f36f7c75d578e428e8e6c7eddc8e7b.debug
/usr/lib/debug/.build-id/e8
/usr/lib/debug/.build-id/e8/0d6a5b6e83f93a741916e3e9db021d020d596e
/usr/lib/debug/.build-id/e8/0d6a5b6e83f93a741916e3e9db021d020d596e.debug
/usr/lib/debug/.build-id/e8/79a3fbb9102b7cc0a426a3c2d64af94fc1fc01
/usr/lib/debug/.build-id/e8/79a3fbb9102b7cc0a426a3c2d64af94fc1fc01.debug
/usr/lib/debug/.build-id/eb
/usr/lib/debug/.build-id/eb/88eefb68723ce08f02ea66bf2955a590280267
/usr/lib/debug/.build-id/eb/88eefb68723ce08f02ea66bf2955a590280267.debug
/usr/lib/debug/.build-id/ed
/usr/lib/debug/.build-id/ed/14d711094d57b3ca259200ac6b564b8c973c9a
/usr/lib/debug/.build-id/ed/14d711094d57b3ca259200ac6b564b8c973c9a.debug
/usr/lib/debug/.build-id/f3
/usr/lib/debug/.build-id/f3/6f3f8d24e2e9a210d38d8193405b4f90b40d8d
/usr/lib/debug/.build-id/f3/6f3f8d24e2e9a210d38d8193405b4f90b40d8d.debug
/usr/lib/debug/.build-id/f4
/usr/lib/debug/.build-id/f4/f44ebb55505581b446ae19b3309d0c5eb42900
/usr/lib/debug/.build-id/f4/f44ebb55505581b446ae19b3309d0c5eb42900.debug
/usr/lib/debug/.build-id/fb
/usr/lib/debug/.build-id/fb/41f459148093723e073192fba5a8a500a070f8
/usr/lib/debug/.build-id/fb/41f459148093723e073192fba5a8a500a070f8.debug
/usr/lib/debug/.build-id/fb/757741ed31294b7925d04ce6314ce07e97ff19
/usr/lib/debug/.build-id/fb/757741ed31294b7925d04ce6314ce07e97ff19.debug
/usr/lib/debug/.build-id/fe
/usr/lib/debug/.build-id/fe/c338e70495a445134a870f0d1f10c493608f75
/usr/lib/debug/.build-id/fe/c338e70495a445134a870f0d1f10c493608f75.debug
/usr/lib/debug/.build-id/fe/d05b209173ce9c9c851b5c420def9cf93420d1
/usr/lib/debug/.build-id/fe/d05b209173ce9c9c851b5c420def9cf93420d1.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/coq-tex-8.18.0-10.fc41.x86_64.debug
/usr/lib/debug/usr/bin/coq_makefile-8.18.0-10.fc41.x86_64.debug
/usr/lib/debug/usr/bin/coqc-8.18.0-10.fc41.x86_64.debug
/usr/lib/debug/usr/bin/coqchk-8.18.0-10.fc41.x86_64.debug
/usr/lib/debug/usr/bin/coqdep-8.18.0-10.fc41.x86_64.debug
/usr/lib/debug/usr/bin/coqdoc-8.18.0-10.fc41.x86_64.debug
/usr/lib/debug/usr/bin/coqnative-8.18.0-10.fc41.x86_64.debug
/usr/lib/debug/usr/bin/coqpp-8.18.0-10.fc41.x86_64.debug
/usr/lib/debug/usr/bin/coqtimelog2html-8.18.0-10.fc41.x86_64.debug
/usr/lib/debug/usr/bin/coqtop-8.18.0-10.fc41.x86_64.debug
/usr/lib/debug/usr/bin/coqtop.opt-8.18.0-10.fc41.x86_64.debug
/usr/lib/debug/usr/bin/coqwc-8.18.0-10.fc41.x86_64.debug
/usr/lib/debug/usr/bin/coqworker.opt-8.18.0-10.fc41.x86_64.debug
/usr/lib/debug/usr/bin/coqworkmgr-8.18.0-10.fc41.x86_64.debug
/usr/lib/debug/usr/bin/csdpcert-8.18.0-10.fc41.x86_64.debug
/usr/lib/debug/usr/bin/ocamllibdep-8.18.0-10.fc41.x86_64.debug
/usr/lib/debug/usr/bin/votour-8.18.0-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.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-10.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/ocaml/stublibs
/usr/lib/debug/usr/lib64/ocaml/stublibs/dllcoqrun_stubs.so-8.18.0-10.fc41.x86_64.debug