Content of RPM drat2er-debugsource-0-0.12.20190307.521caf1.fc39.i686.rpm :
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/backward_file_reader.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/clause.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/deletion.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/drat2er.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/drat2er_options.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/drat_trim_interface.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/file_helper.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/file_reader.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/formula.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/formula_parser.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/forward_file_reader.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/instruction_serialization.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/lrat_parser.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/progress_bar.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/proof_reverser.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/proof_stat_collector.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/proof_step_renamer.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/proof_transformer.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/rat_clause.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/rat_eliminator.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/rup_clause.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/rup_to_resolution_transformer.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/unused_clause_eliminator.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/include/watch.h
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/redhat-linux-build
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/src
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/src/backward_file_reader.cc
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/src/clause.cc
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/src/deletion.cc
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/src/drat2er.cc
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/src/drat_trim_interface.cc
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/src/file_helper.cc
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/src/formula.cc
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/src/formula_parser.cc
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/src/forward_file_reader.cc
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/src/instruction_serialization.cc
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/src/lrat_parser.cc
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/src/main.cc
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/src/progress_bar.cc
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/src/proof_reverser.cc
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/src/proof_stat_collector.cc
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/src/proof_step_renamer.cc
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/src/proof_transformer.cc
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/src/rat_clause.cc
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/src/rat_eliminator.cc
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/src/rup_clause.cc
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/src/rup_to_resolution_transformer.cc
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/src/unused_clause_eliminator.cc
/usr/src/debug/drat2er-0-0.12.20190307.521caf1.fc39.i386/src/watch.cc