Content of RPM why3-debuginfo-1.7.2-10.fc41.x86_64.rpm :
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/05
/usr/lib/debug/.build-id/05/ce7bcabf6fc64503e8fb8bdfa5b994db4bbc61
/usr/lib/debug/.build-id/05/ce7bcabf6fc64503e8fb8bdfa5b994db4bbc61.debug
/usr/lib/debug/.build-id/30
/usr/lib/debug/.build-id/30/72c69ced277a079645dfd4faf483339916a7aa
/usr/lib/debug/.build-id/30/72c69ced277a079645dfd4faf483339916a7aa.debug
/usr/lib/debug/.build-id/35
/usr/lib/debug/.build-id/35/a9f6513b596f35743d7496679ca1e14127a1c6
/usr/lib/debug/.build-id/35/a9f6513b596f35743d7496679ca1e14127a1c6.debug
/usr/lib/debug/.build-id/48
/usr/lib/debug/.build-id/48/3c4534fbd3ed50a2db1f79d9f2a89f358f21a0
/usr/lib/debug/.build-id/48/3c4534fbd3ed50a2db1f79d9f2a89f358f21a0.debug
/usr/lib/debug/.build-id/49
/usr/lib/debug/.build-id/49/c9f078395022c0ab33746d91cb719355b97266
/usr/lib/debug/.build-id/49/c9f078395022c0ab33746d91cb719355b97266.debug
/usr/lib/debug/.build-id/58
/usr/lib/debug/.build-id/58/0a84964ce26a4d634bcf30e635e1da127d565b
/usr/lib/debug/.build-id/58/0a84964ce26a4d634bcf30e635e1da127d565b.debug
/usr/lib/debug/.build-id/6c
/usr/lib/debug/.build-id/6c/8e7f1c54e72eb792e97d3e9c8ef874be2623ff
/usr/lib/debug/.build-id/6c/8e7f1c54e72eb792e97d3e9c8ef874be2623ff.debug
/usr/lib/debug/.build-id/72
/usr/lib/debug/.build-id/72/11d8c746a01e0540b20c8258501a0d38ff6f1c
/usr/lib/debug/.build-id/72/11d8c746a01e0540b20c8258501a0d38ff6f1c.debug
/usr/lib/debug/.build-id/73
/usr/lib/debug/.build-id/73/a0379be3b91a1ce69399c0da92707daf31798c
/usr/lib/debug/.build-id/73/a0379be3b91a1ce69399c0da92707daf31798c.debug
/usr/lib/debug/.build-id/7a
/usr/lib/debug/.build-id/7a/5972d5b04e5b3fa5a42dadf524385928152c9b
/usr/lib/debug/.build-id/7a/5972d5b04e5b3fa5a42dadf524385928152c9b.debug
/usr/lib/debug/.build-id/83
/usr/lib/debug/.build-id/83/95b37ca6221f3af114621b17ff5e083d34c150
/usr/lib/debug/.build-id/83/95b37ca6221f3af114621b17ff5e083d34c150.debug
/usr/lib/debug/.build-id/84
/usr/lib/debug/.build-id/84/52b9d3c78405f3fae2dc3f73b6e3de379b972c
/usr/lib/debug/.build-id/84/52b9d3c78405f3fae2dc3f73b6e3de379b972c.debug
/usr/lib/debug/.build-id/84/e84976016685ad8653bb7ae6fd80286d25b49e
/usr/lib/debug/.build-id/84/e84976016685ad8653bb7ae6fd80286d25b49e.debug
/usr/lib/debug/.build-id/87
/usr/lib/debug/.build-id/87/a6712fc9c88aaaacd645de677fbddbb1a16763
/usr/lib/debug/.build-id/87/a6712fc9c88aaaacd645de677fbddbb1a16763.debug
/usr/lib/debug/.build-id/88
/usr/lib/debug/.build-id/88/4fe9e6f4623e863c26c79f1f3140d5d03fa662
/usr/lib/debug/.build-id/88/4fe9e6f4623e863c26c79f1f3140d5d03fa662.debug
/usr/lib/debug/.build-id/8e
/usr/lib/debug/.build-id/8e/82691b9133f0f22a3847c405abb73575ab5ba3
/usr/lib/debug/.build-id/8e/82691b9133f0f22a3847c405abb73575ab5ba3.debug
/usr/lib/debug/.build-id/9b
/usr/lib/debug/.build-id/9b/93b7895daceea9d696bf357ab644e061caec26
/usr/lib/debug/.build-id/9b/93b7895daceea9d696bf357ab644e061caec26.debug
/usr/lib/debug/.build-id/a9
/usr/lib/debug/.build-id/a9/18e80b00c94a4f32abf742a550416d9f8e25a9
/usr/lib/debug/.build-id/a9/18e80b00c94a4f32abf742a550416d9f8e25a9.debug
/usr/lib/debug/.build-id/ab
/usr/lib/debug/.build-id/ab/64492cae2a180b881ebffaa614318aa9d1c374
/usr/lib/debug/.build-id/ab/64492cae2a180b881ebffaa614318aa9d1c374.debug
/usr/lib/debug/.build-id/b1
/usr/lib/debug/.build-id/b1/aa47c4188a60350511db67a874fad1f32dd806
/usr/lib/debug/.build-id/b1/aa47c4188a60350511db67a874fad1f32dd806.debug
/usr/lib/debug/.build-id/b9
/usr/lib/debug/.build-id/b9/c8223e40f44fd4ced9f2a7e41918144e5e281a
/usr/lib/debug/.build-id/b9/c8223e40f44fd4ced9f2a7e41918144e5e281a.debug
/usr/lib/debug/.build-id/c6
/usr/lib/debug/.build-id/c6/ae05ec6a9adacffd4ebc7776332799fd4d3b79
/usr/lib/debug/.build-id/c6/ae05ec6a9adacffd4ebc7776332799fd4d3b79.debug
/usr/lib/debug/.build-id/d1
/usr/lib/debug/.build-id/d1/7774a99692f2a635dd5be4d01423aae72218f5
/usr/lib/debug/.build-id/d1/7774a99692f2a635dd5be4d01423aae72218f5.debug
/usr/lib/debug/.build-id/dc
/usr/lib/debug/.build-id/dc/2c179ca8b2b4b97ac7f84dfe588c73fe3df35a
/usr/lib/debug/.build-id/dc/2c179ca8b2b4b97ac7f84dfe588c73fe3df35a.debug
/usr/lib/debug/.build-id/e0
/usr/lib/debug/.build-id/e0/e0e821cb1e1fcc999706a5a3829d2e7443550d
/usr/lib/debug/.build-id/e0/e0e821cb1e1fcc999706a5a3829d2e7443550d.debug
/usr/lib/debug/.build-id/eb
/usr/lib/debug/.build-id/eb/0d5c5f7d2c7c6df9c834a13aa7fb5091680baa
/usr/lib/debug/.build-id/eb/0d5c5f7d2c7c6df9c834a13aa7fb5091680baa.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/why3-1.7.2-10.fc41.x86_64
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/isabelle_client-1.7.2-10.fc41.x86_64.debug
/usr/lib/debug/usr/bin/why3-1.7.2-10.fc41.x86_64.debug
/usr/lib/debug/usr/lib64
/usr/lib/debug/usr/lib64/why3
/usr/lib/debug/usr/lib64/why3/commands
/usr/lib/debug/usr/lib64/why3/commands/why3bench.cmxs-1.7.2-10.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/why3/commands/why3config.cmxs-1.7.2-10.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/why3/commands/why3doc.cmxs-1.7.2-10.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/why3/commands/why3execute.cmxs-1.7.2-10.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/why3/commands/why3extract.cmxs-1.7.2-10.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/why3/commands/why3ide.cmxs-1.7.2-10.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/why3/commands/why3pp.cmxs-1.7.2-10.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/why3/commands/why3prove.cmxs-1.7.2-10.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/why3/commands/why3realize.cmxs-1.7.2-10.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/why3/commands/why3replay.cmxs-1.7.2-10.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/why3/commands/why3session.cmxs-1.7.2-10.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/why3/commands/why3shell.cmxs-1.7.2-10.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/why3/commands/why3show.cmxs-1.7.2-10.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/why3/commands/why3wc.cmxs-1.7.2-10.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/why3/commands/why3webserver.cmxs-1.7.2-10.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/why3/plugins
/usr/lib/debug/usr/lib64/why3/plugins/cfg.cmxs-1.7.2-10.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/why3/plugins/dimacs.cmxs-1.7.2-10.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/why3/plugins/genequlin.cmxs-1.7.2-10.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/why3/plugins/hypothesis_selection.cmxs-1.7.2-10.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/why3/plugins/microc.cmxs-1.7.2-10.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/why3/plugins/python.cmxs-1.7.2-10.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/why3/plugins/tptp.cmxs-1.7.2-10.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/why3/why3cpulimit-1.7.2-10.fc41.x86_64.debug
/usr/lib/debug/usr/lib64/why3/why3server-1.7.2-10.fc41.x86_64.debug