Content of RPM cryptominisat-debugsource-5.8.0-15.fc39.i686.rpm :
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/redhat-linux-build
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/redhat-linux-build/cmsat5-src
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/redhat-linux-build/cmsat5-src/GitSHA1.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/redhat-linux-build/cmsat5-src/cryptominisat5
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/redhat-linux-build/cmsat5-src/cryptominisat5/cryptominisat.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/redhat-linux-build/cmsat5-src/cryptominisat5/cryptominisat_c.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/redhat-linux-build/cmsat5-src/cryptominisat5/solvertypesmini.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/redhat-linux-build/cmsat5-src/sql_tablestructure.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/redhat-linux-build/pycryptosat
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/redhat-linux-build/pycryptosat/src
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/redhat-linux-build/pycryptosat/src/pycryptosat.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/GitSHA1.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/MersenneTwister.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/Vec.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/XAlloc.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/alg.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/avgcalc.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/boundedqueue.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/bva.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/bva.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/cardfinder.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/cardfinder.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/ccnr.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/ccnr.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/ccnr_cms.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/ccnr_cms.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/ccnr_mersenne.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/clabstraction.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/clause.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/clauseallocator.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/clauseallocator.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/clausecleaner.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/clausecleaner.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/clausedumper.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/clausedumper.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/cloffset.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/cnf.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/cnf.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/compfinder.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/compfinder.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/comphandler.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/comphandler.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/completedetachreattacher.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/completedetachreattacher.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/cryptominisat.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/cryptominisat_c.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/datasync.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/datasync.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/dimacsparser.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/distillerlong.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/distillerlong.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/distillerlongwithimpl.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/distillerlongwithimpl.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/drat.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/drat.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/gaussian.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/gaussian.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/gausswatched.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/gqueuedata.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/hasher.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/heap.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/hyperengine.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/hyperengine.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/intree.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/intree.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/lucky.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/lucky.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/main.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/main.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/main_common.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/main_common.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/main_exe.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/main_simple.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/matrixfinder.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/matrixfinder.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/mystack.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/occsimplifier.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/occsimplifier.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/packedmatrix.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/packedrow.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/packedrow.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/propby.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/propengine.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/propengine.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/reducedb.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/reducedb.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/satzilla_features.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/satzilla_features.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/satzilla_features_calc.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/satzilla_features_calc.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/satzilla_features_to_reconf.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/satzilla_features_to_reconf.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/sccfinder.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/sccfinder.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/searcher.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/searcher.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/searchhist.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/searchstats.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/searchstats.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/shareddata.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/signalcode.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/signalcode.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/simplefile.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/sls.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/sls.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/solutionextender.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/solutionextender.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/solver.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/solver.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/solverconf.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/solverconf.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/solvertypes.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/sql_tablestructure.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/sqlitestats.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/sqlitestats.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/sqlstats.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/str_impl_w_impl.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/str_impl_w_impl.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/streambuffer.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/subsumeimplicit.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/subsumeimplicit.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/subsumestrengthen.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/subsumestrengthen.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/time_mem.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/toplevelgauss.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/toplevelgauss.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/toplevelgaussabst.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/touchlist.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/trim.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/vardata.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/vardistgen.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/vardistgen.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/varreplacer.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/varreplacer.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/varupdatehelper.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/walksat.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/walksat.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/watchalgos.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/watcharray.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/watched.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/xor.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/xorfinder.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/xorfinder.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/yals.c
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/yals.h
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/yalsat.cpp
/usr/src/debug/cryptominisat-5.8.0-15.fc39.i386/src/yalsat.h