Content of RPM coq-debuginfo-8.19.1-bp156.1.14.x86_64.rpm :
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/00
/usr/lib/debug/.build-id/00/c22b73eef653bd3aac8036abb605cc1a069227
/usr/lib/debug/.build-id/00/c22b73eef653bd3aac8036abb605cc1a069227.debug
/usr/lib/debug/.build-id/02
/usr/lib/debug/.build-id/02/b8d932cf1820adbc7bbb5d955902598b3f3cf7
/usr/lib/debug/.build-id/02/b8d932cf1820adbc7bbb5d955902598b3f3cf7.debug
/usr/lib/debug/.build-id/0b
/usr/lib/debug/.build-id/0b/bce6d7768eae6354957fdf28af0d9edae5c690
/usr/lib/debug/.build-id/0b/bce6d7768eae6354957fdf28af0d9edae5c690.debug
/usr/lib/debug/.build-id/0f
/usr/lib/debug/.build-id/0f/c8c72b49c9b32b575fc6de96fc376af6b73bb3
/usr/lib/debug/.build-id/0f/c8c72b49c9b32b575fc6de96fc376af6b73bb3.debug
/usr/lib/debug/.build-id/11
/usr/lib/debug/.build-id/11/ca0b22ee9379766b5668313a1f148cabc754f4
/usr/lib/debug/.build-id/11/ca0b22ee9379766b5668313a1f148cabc754f4.debug
/usr/lib/debug/.build-id/14
/usr/lib/debug/.build-id/14/e65699299a78f8228987c2d1e53eb84db4ec00
/usr/lib/debug/.build-id/14/e65699299a78f8228987c2d1e53eb84db4ec00.debug
/usr/lib/debug/.build-id/21
/usr/lib/debug/.build-id/21/9182504161f77a478ab8368178ce32dcd8d6e9
/usr/lib/debug/.build-id/21/9182504161f77a478ab8368178ce32dcd8d6e9.debug
/usr/lib/debug/.build-id/2d
/usr/lib/debug/.build-id/2d/deb7ce2eb17e289742f902dd4950a009dce04b
/usr/lib/debug/.build-id/2d/deb7ce2eb17e289742f902dd4950a009dce04b.debug
/usr/lib/debug/.build-id/2e
/usr/lib/debug/.build-id/2e/c69f35ee2bcf99a276e29e98c5096e476507a0
/usr/lib/debug/.build-id/2e/c69f35ee2bcf99a276e29e98c5096e476507a0.debug
/usr/lib/debug/.build-id/2f
/usr/lib/debug/.build-id/2f/2bae6b22e596a68d3aa79a33a4e31f247c0032
/usr/lib/debug/.build-id/2f/2bae6b22e596a68d3aa79a33a4e31f247c0032.debug
/usr/lib/debug/.build-id/37
/usr/lib/debug/.build-id/37/293adf3c6f433ec57b6e8a8097aca9cadc6e9e
/usr/lib/debug/.build-id/37/293adf3c6f433ec57b6e8a8097aca9cadc6e9e.debug
/usr/lib/debug/.build-id/39
/usr/lib/debug/.build-id/39/b1ecb7ff52b5872bb85eff1ca12b662269941a
/usr/lib/debug/.build-id/39/b1ecb7ff52b5872bb85eff1ca12b662269941a.debug
/usr/lib/debug/.build-id/39/f2de64fe5cfa60c8c7cbdb6b19e3db6c551f96
/usr/lib/debug/.build-id/39/f2de64fe5cfa60c8c7cbdb6b19e3db6c551f96.debug
/usr/lib/debug/.build-id/3d
/usr/lib/debug/.build-id/3d/390ee2ddc24dd15f0b72c3f9aae39e23c023d9
/usr/lib/debug/.build-id/3d/390ee2ddc24dd15f0b72c3f9aae39e23c023d9.debug
/usr/lib/debug/.build-id/3e
/usr/lib/debug/.build-id/3e/4783ce8df290c339b0b3b11c41ce6a64409014
/usr/lib/debug/.build-id/3e/4783ce8df290c339b0b3b11c41ce6a64409014.debug
/usr/lib/debug/.build-id/53
/usr/lib/debug/.build-id/53/72536fd48b8e47606d10b103c6a7a1fd2f6d31
/usr/lib/debug/.build-id/53/72536fd48b8e47606d10b103c6a7a1fd2f6d31.debug
/usr/lib/debug/.build-id/5b
/usr/lib/debug/.build-id/5b/b1db2f76f314896f0c2501c7b42632497d7b6d
/usr/lib/debug/.build-id/5b/b1db2f76f314896f0c2501c7b42632497d7b6d.debug
/usr/lib/debug/.build-id/5c
/usr/lib/debug/.build-id/5c/4c2b75d3257a87d35cd4ef92f6e35965bea428
/usr/lib/debug/.build-id/5c/4c2b75d3257a87d35cd4ef92f6e35965bea428.debug
/usr/lib/debug/.build-id/5c/bcc1975c24cff1e16d58b2a54c61a1c3d8ef74
/usr/lib/debug/.build-id/5c/bcc1975c24cff1e16d58b2a54c61a1c3d8ef74.debug
/usr/lib/debug/.build-id/66
/usr/lib/debug/.build-id/66/12cafd0c86520be5501cf9c5aca0c8ba53e8cc
/usr/lib/debug/.build-id/66/12cafd0c86520be5501cf9c5aca0c8ba53e8cc.debug
/usr/lib/debug/.build-id/6e
/usr/lib/debug/.build-id/6e/3c7853b07bb0e21d3858c5f84e823fe73e1467
/usr/lib/debug/.build-id/6e/3c7853b07bb0e21d3858c5f84e823fe73e1467.debug
/usr/lib/debug/.build-id/6e/caa2e58db2eb6d50e105b11cc559affdad0cd2
/usr/lib/debug/.build-id/6e/caa2e58db2eb6d50e105b11cc559affdad0cd2.debug
/usr/lib/debug/.build-id/73
/usr/lib/debug/.build-id/73/00e0a940c1686a785925beb99cfc33960be529
/usr/lib/debug/.build-id/73/00e0a940c1686a785925beb99cfc33960be529.debug
/usr/lib/debug/.build-id/7c
/usr/lib/debug/.build-id/7c/10e635695554f831130b4a015eb619b0ea3962
/usr/lib/debug/.build-id/7c/10e635695554f831130b4a015eb619b0ea3962.debug
/usr/lib/debug/.build-id/85
/usr/lib/debug/.build-id/85/20eb883698a9caf65986824536d6218bbcd1b5
/usr/lib/debug/.build-id/85/20eb883698a9caf65986824536d6218bbcd1b5.debug
/usr/lib/debug/.build-id/88
/usr/lib/debug/.build-id/88/9b12af1fa7fec132c6acd56dc28fc2dffb096e
/usr/lib/debug/.build-id/88/9b12af1fa7fec132c6acd56dc28fc2dffb096e.debug
/usr/lib/debug/.build-id/8b
/usr/lib/debug/.build-id/8b/76cdfe0a7e9644ff400ca6fa9f19105707d47a
/usr/lib/debug/.build-id/8b/76cdfe0a7e9644ff400ca6fa9f19105707d47a.debug
/usr/lib/debug/.build-id/8d
/usr/lib/debug/.build-id/8d/7658caa11bd690948d347931f3224c1bff64bb
/usr/lib/debug/.build-id/8d/7658caa11bd690948d347931f3224c1bff64bb.debug
/usr/lib/debug/.build-id/8e
/usr/lib/debug/.build-id/8e/4a0008fa6c569722891e60ed89eb9f20b3ec85
/usr/lib/debug/.build-id/8e/4a0008fa6c569722891e60ed89eb9f20b3ec85.debug
/usr/lib/debug/.build-id/8f
/usr/lib/debug/.build-id/8f/686d7b2e6155a71c78f4df2b40409f165338b5
/usr/lib/debug/.build-id/8f/686d7b2e6155a71c78f4df2b40409f165338b5.debug
/usr/lib/debug/.build-id/90
/usr/lib/debug/.build-id/90/b3f77b766d32a59fd8e9aee126784ee08dd00b
/usr/lib/debug/.build-id/90/b3f77b766d32a59fd8e9aee126784ee08dd00b.debug
/usr/lib/debug/.build-id/92
/usr/lib/debug/.build-id/92/b6728052cefe6c639b1ae7df0bfcc36a4ab0ec
/usr/lib/debug/.build-id/92/b6728052cefe6c639b1ae7df0bfcc36a4ab0ec.debug
/usr/lib/debug/.build-id/93
/usr/lib/debug/.build-id/93/f4e3b6db65eff95950b5a35a32833a66fb2dff
/usr/lib/debug/.build-id/93/f4e3b6db65eff95950b5a35a32833a66fb2dff.debug
/usr/lib/debug/.build-id/95
/usr/lib/debug/.build-id/95/651b7da24de7b66a15e46ea155d39a182bfcd2
/usr/lib/debug/.build-id/95/651b7da24de7b66a15e46ea155d39a182bfcd2.debug
/usr/lib/debug/.build-id/96
/usr/lib/debug/.build-id/96/161876aca9de7a05136f3edc0e934490b056f5
/usr/lib/debug/.build-id/96/161876aca9de7a05136f3edc0e934490b056f5.debug
/usr/lib/debug/.build-id/96/2ad5a9002429302e0f8542befde8fda7bd0a23
/usr/lib/debug/.build-id/96/2ad5a9002429302e0f8542befde8fda7bd0a23.debug
/usr/lib/debug/.build-id/98
/usr/lib/debug/.build-id/98/9faac65acb418e12e052955e6bf0ded33e015a
/usr/lib/debug/.build-id/98/9faac65acb418e12e052955e6bf0ded33e015a.debug
/usr/lib/debug/.build-id/9c
/usr/lib/debug/.build-id/9c/7a7041c53314d2cd4c2af2f3bea0ff52e3b94d
/usr/lib/debug/.build-id/9c/7a7041c53314d2cd4c2af2f3bea0ff52e3b94d.debug
/usr/lib/debug/.build-id/a1
/usr/lib/debug/.build-id/a1/8638e43941a076f9058888d8ab87e27d346ec6
/usr/lib/debug/.build-id/a1/8638e43941a076f9058888d8ab87e27d346ec6.debug
/usr/lib/debug/.build-id/a7
/usr/lib/debug/.build-id/a7/25d8ec00915dd7901b11c2464292e4b191cff1
/usr/lib/debug/.build-id/a7/25d8ec00915dd7901b11c2464292e4b191cff1.debug
/usr/lib/debug/.build-id/b0
/usr/lib/debug/.build-id/b0/9eabbf2975fa093a5af3398cb596877cd2ff25
/usr/lib/debug/.build-id/b0/9eabbf2975fa093a5af3398cb596877cd2ff25.debug
/usr/lib/debug/.build-id/b4
/usr/lib/debug/.build-id/b4/a1d952757932268ac415c83010ca6ae4e49463
/usr/lib/debug/.build-id/b4/a1d952757932268ac415c83010ca6ae4e49463.debug
/usr/lib/debug/.build-id/b8
/usr/lib/debug/.build-id/b8/f362b1d241bb29eb844d1f19c75861c5d33e67
/usr/lib/debug/.build-id/b8/f362b1d241bb29eb844d1f19c75861c5d33e67.debug
/usr/lib/debug/.build-id/b9
/usr/lib/debug/.build-id/b9/f964b96c652064c11184c9233183ef9135e787
/usr/lib/debug/.build-id/b9/f964b96c652064c11184c9233183ef9135e787.debug
/usr/lib/debug/.build-id/bc
/usr/lib/debug/.build-id/bc/9ad9dc784f8243e070150e48788e05acb18fa4
/usr/lib/debug/.build-id/bc/9ad9dc784f8243e070150e48788e05acb18fa4.debug
/usr/lib/debug/.build-id/c3
/usr/lib/debug/.build-id/c3/2be833ae046920107c1e34b601bad68dc2c12d
/usr/lib/debug/.build-id/c3/2be833ae046920107c1e34b601bad68dc2c12d.debug
/usr/lib/debug/.build-id/c5
/usr/lib/debug/.build-id/c5/56b7435a3cc950942d51d376c137ec99ab5f17
/usr/lib/debug/.build-id/c5/56b7435a3cc950942d51d376c137ec99ab5f17.debug
/usr/lib/debug/.build-id/c7
/usr/lib/debug/.build-id/c7/35503ffea1e7885c10cc111581f79b0529eb3a
/usr/lib/debug/.build-id/c7/35503ffea1e7885c10cc111581f79b0529eb3a.debug
/usr/lib/debug/.build-id/d1
/usr/lib/debug/.build-id/d1/269b7e470b8384cac2b2392dea3b9f2e0e79fe
/usr/lib/debug/.build-id/d1/269b7e470b8384cac2b2392dea3b9f2e0e79fe.debug
/usr/lib/debug/.build-id/d4
/usr/lib/debug/.build-id/d4/9ede929d2224c7d168cb7360f68c3fa7614d4d
/usr/lib/debug/.build-id/d4/9ede929d2224c7d168cb7360f68c3fa7614d4d.debug
/usr/lib/debug/.build-id/d5
/usr/lib/debug/.build-id/d5/04911d5083ea4be2d40c88d96d611558ee72e0
/usr/lib/debug/.build-id/d5/04911d5083ea4be2d40c88d96d611558ee72e0.debug
/usr/lib/debug/.build-id/d5/bd39528057eab4a574a8dffa3cffeed90cef4e
/usr/lib/debug/.build-id/d5/bd39528057eab4a574a8dffa3cffeed90cef4e.debug
/usr/lib/debug/.build-id/d8
/usr/lib/debug/.build-id/d8/b5911be819e8ecfae80fcfa3932cee47e62b0f
/usr/lib/debug/.build-id/d8/b5911be819e8ecfae80fcfa3932cee47e62b0f.debug
/usr/lib/debug/.build-id/d9
/usr/lib/debug/.build-id/d9/476c446d6c04a016e91381aa2434dafbfba254
/usr/lib/debug/.build-id/d9/476c446d6c04a016e91381aa2434dafbfba254.debug
/usr/lib/debug/.build-id/db
/usr/lib/debug/.build-id/db/3de4c69b76453c22d5fe7e16dc8f67a94f21fa
/usr/lib/debug/.build-id/db/3de4c69b76453c22d5fe7e16dc8f67a94f21fa.debug
/usr/lib/debug/.build-id/dd
/usr/lib/debug/.build-id/dd/02df514dff73d85d761d535d5d60a8c76cd354
/usr/lib/debug/.build-id/dd/02df514dff73d85d761d535d5d60a8c76cd354.debug
/usr/lib/debug/.build-id/e3
/usr/lib/debug/.build-id/e3/bfaf21b6f988c671b9ad4faf0621cbbef6e4cc
/usr/lib/debug/.build-id/e3/bfaf21b6f988c671b9ad4faf0621cbbef6e4cc.debug
/usr/lib/debug/.build-id/e4
/usr/lib/debug/.build-id/e4/14510e6490c94c695a32d73da25e0a20361475
/usr/lib/debug/.build-id/e4/14510e6490c94c695a32d73da25e0a20361475.debug
/usr/lib/debug/.build-id/e5
/usr/lib/debug/.build-id/e5/b929a2ed0cca6ec68e1a07a5b085acd7e276a0
/usr/lib/debug/.build-id/e5/b929a2ed0cca6ec68e1a07a5b085acd7e276a0.debug
/usr/lib/debug/.build-id/f5
/usr/lib/debug/.build-id/f5/cd41180f9d0e9c764fd577c36d66ea0b604970
/usr/lib/debug/.build-id/f5/cd41180f9d0e9c764fd577c36d66ea0b604970.debug
/usr/lib/debug/.build-id/f8
/usr/lib/debug/.build-id/f8/fbb4a3d968e8a15f086cbd7949e95897e9add2
/usr/lib/debug/.build-id/f8/fbb4a3d968e8a15f086cbd7949e95897e9add2.debug
/usr/lib/debug/.build-id/f9
/usr/lib/debug/.build-id/f9/c4e0a05b6f232643bec974947f6b0810fc49c8
/usr/lib/debug/.build-id/f9/c4e0a05b6f232643bec974947f6b0810fc49c8.debug
/usr/lib/debug/.build-id/ff
/usr/lib/debug/.build-id/ff/28c36cbbf5c62a2bad6ee22b6ec53acccc2e9c
/usr/lib/debug/.build-id/ff/28c36cbbf5c62a2bad6ee22b6ec53acccc2e9c.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/coq-tex-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/bin/coq_makefile-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/bin/coqc-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/bin/coqchk-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/bin/coqdep-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/bin/coqdoc-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/bin/coqnative-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/bin/coqpp-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/bin/coqtimelog2html-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/bin/coqtop.opt-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/bin/coqwc-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/bin/coqworker.opt-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/bin/coqworkmgr-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/bin/csdpcert-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/bin/ocamllibdep-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/bin/votour-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64
/usr/lib/debug/usr/lib64/coq-core
/usr/lib/debug/usr/lib64/coq-core/boot
/usr/lib/debug/usr/lib64/coq-core/boot/boot.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/clib
/usr/lib/debug/usr/lib64/coq-core/clib/clib.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/config
/usr/lib/debug/usr/lib64/coq-core/config/config.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/coqworkmgrapi
/usr/lib/debug/usr/lib64/coq-core/coqworkmgrapi/coqworkmgrlib.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/engine
/usr/lib/debug/usr/lib64/coq-core/engine/engine.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/gramlib
/usr/lib/debug/usr/lib64/coq-core/gramlib/gramlib.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/interp
/usr/lib/debug/usr/lib64/coq-core/interp/interp.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/kernel
/usr/lib/debug/usr/lib64/coq-core/kernel/kernel.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/lib
/usr/lib/debug/usr/lib64/coq-core/lib/lib.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/library
/usr/lib/debug/usr/lib64/coq-core/library/library.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/parsing
/usr/lib/debug/usr/lib64/coq-core/parsing/parsing.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/perf
/usr/lib/debug/usr/lib64/coq-core/perf/coqperf.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/plugins
/usr/lib/debug/usr/lib64/coq-core/plugins/btauto
/usr/lib/debug/usr/lib64/coq-core/plugins/btauto/btauto_plugin.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/plugins/cc
/usr/lib/debug/usr/lib64/coq-core/plugins/cc/cc_plugin.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/plugins/derive
/usr/lib/debug/usr/lib64/coq-core/plugins/derive/derive_plugin.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/plugins/extraction
/usr/lib/debug/usr/lib64/coq-core/plugins/extraction/extraction_plugin.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/plugins/firstorder
/usr/lib/debug/usr/lib64/coq-core/plugins/firstorder/firstorder_plugin.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/plugins/funind
/usr/lib/debug/usr/lib64/coq-core/plugins/funind/funind_plugin.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/plugins/ltac
/usr/lib/debug/usr/lib64/coq-core/plugins/ltac/ltac_plugin.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/plugins/ltac2
/usr/lib/debug/usr/lib64/coq-core/plugins/ltac2/ltac2_plugin.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/plugins/micromega
/usr/lib/debug/usr/lib64/coq-core/plugins/micromega/micromega_plugin.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/plugins/nsatz
/usr/lib/debug/usr/lib64/coq-core/plugins/nsatz/nsatz_plugin.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/plugins/number_string_notation
/usr/lib/debug/usr/lib64/coq-core/plugins/number_string_notation/number_string_notation_plugin.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/plugins/ring
/usr/lib/debug/usr/lib64/coq-core/plugins/ring/ring_plugin.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/plugins/rtauto
/usr/lib/debug/usr/lib64/coq-core/plugins/rtauto/rtauto_plugin.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/plugins/ssreflect
/usr/lib/debug/usr/lib64/coq-core/plugins/ssreflect/ssreflect_plugin.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/plugins/ssrmatching
/usr/lib/debug/usr/lib64/coq-core/plugins/ssrmatching/ssrmatching_plugin.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/plugins/tauto
/usr/lib/debug/usr/lib64/coq-core/plugins/tauto/tauto_plugin.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/plugins/tutorial
/usr/lib/debug/usr/lib64/coq-core/plugins/tutorial/p0
/usr/lib/debug/usr/lib64/coq-core/plugins/tutorial/p0/tuto0_plugin.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/plugins/tutorial/p1
/usr/lib/debug/usr/lib64/coq-core/plugins/tutorial/p1/tuto1_plugin.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/plugins/tutorial/p2
/usr/lib/debug/usr/lib64/coq-core/plugins/tutorial/p2/tuto2_plugin.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/plugins/tutorial/p3
/usr/lib/debug/usr/lib64/coq-core/plugins/tutorial/p3/tuto3_plugin.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/plugins/zify
/usr/lib/debug/usr/lib64/coq-core/plugins/zify/zify_plugin.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/pretyping
/usr/lib/debug/usr/lib64/coq-core/pretyping/pretyping.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/printing
/usr/lib/debug/usr/lib64/coq-core/printing/printing.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/proofs
/usr/lib/debug/usr/lib64/coq-core/proofs/proofs.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/stm
/usr/lib/debug/usr/lib64/coq-core/stm/stm.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/sysinit
/usr/lib/debug/usr/lib64/coq-core/sysinit/sysinit.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/tactics
/usr/lib/debug/usr/lib64/coq-core/tactics/tactics.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/top_printers
/usr/lib/debug/usr/lib64/coq-core/top_printers/top_printers.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/toplevel
/usr/lib/debug/usr/lib64/coq-core/toplevel/toplevel.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/vernac
/usr/lib/debug/usr/lib64/coq-core/vernac/vernac.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coq-core/vm
/usr/lib/debug/usr/lib64/coq-core/vm/coqrun.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coqide-server
/usr/lib/debug/usr/lib64/coqide-server/core
/usr/lib/debug/usr/lib64/coqide-server/core/core.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/coqide-server/protocol
/usr/lib/debug/usr/lib64/coqide-server/protocol/protocol.cmxs-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/stublibs
/usr/lib/debug/usr/lib64/stublibs/dllcoqperf_stubs.so-8.19.1-bp156.1.14.x86_64.debug
/usr/lib/debug/usr/lib64/stublibs/dllcoqrun_stubs.so-8.19.1-bp156.1.14.x86_64.debug