Content of RPM gappa-debugsource-1.4.2-4.fc41.x86_64.rpm :
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/arithmetic
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/arithmetic/fixed.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/arithmetic/float.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/arithmetic/homogen.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/arithmetic/relative.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/backends
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/backends/backend.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/backends/backend.hpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/backends/coq.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/backends/coq_common.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/backends/coq_common.hpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/backends/coq_lambda.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/backends/holl.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/backends/latex.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/main.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/numbers
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/numbers/interval.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/numbers/interval.hpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/numbers/interval_arith.hpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/numbers/interval_utility.hpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/numbers/io.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/numbers/real.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/numbers/real.hpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/numbers/round.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/numbers/round.hpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/parameters.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/parameters.hpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/parser
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/parser/ast.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/parser/ast.hpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/parser/ast_real.hpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/parser/lexer.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/parser/lexer.lpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/parser/parser.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/parser/parser.hpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/parser/parser.ypp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/parser/parser_aux.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/parser/pattern.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/parser/pattern.hpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/parser/ring.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/proofs
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/proofs/basic_proof.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/proofs/dichotomy.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/proofs/dichotomy.hpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/proofs/proof_graph.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/proofs/proof_graph.hpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/proofs/property.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/proofs/property.hpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/proofs/rewriting.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/proofs/rewriting.hpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/proofs/schemes.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/proofs/schemes.hpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/proofs/updater.cpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/proofs/updater.hpp
/usr/src/debug/gappa-1.4.2-4.fc41.x86_64/src/utils.hpp