Content of RPM pvs-sbcl-debugsource-7.1-9.fc38.x86_64.rpm :
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/src
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/src/appl.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/src/appl.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/src/bdd.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/src/bdd.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/src/bdd_extern.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/src/bdd_factor.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/src/bdd_factor.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/src/bdd_fns.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/src/bdd_fns.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/src/bdd_quant.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/src/bdd_quant.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/src/bdd_vfns.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/utils
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/utils/alloc.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/utils/alloc.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/utils/double.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/utils/double.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/utils/general.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/utils/hash.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/utils/hash.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/utils/list.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd/utils/list.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/bdd_interface.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/ix86_64-Linux
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/mu
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/mu/src
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/mu/src/mu.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/mu/src/mu.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/BDD/mu_interface.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/ix86_64-Linux
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/BDD
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/BDD/bdd.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/BDD/bdd.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/BDD/bdd_cache.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/BDD/bdd_double.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/BDD/bdd_dump.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/BDD/bdd_external.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/BDD/bdd_external.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/BDD/bdd_internal.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/BDD/bdd_manager.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/BDD/bdd_trace.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/BDD/hash.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/BDD/hash.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/DFA
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/DFA/analyze.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/DFA/basic.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/DFA/dfa.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/DFA/dfa.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/DFA/external.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/DFA/makebasic.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/DFA/minimize.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/DFA/prefix.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/DFA/printdfa.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/DFA/product.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/DFA/project.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/DFA/quotient.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/Mem
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/Mem/dlmalloc.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/Mem/dlmalloc.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/Mem/mem.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/mona/Mem/mem.h
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/ws1s_extended_interface.c
/usr/src/debug/pvs-sbcl-7.1-9.fc38.x86_64/src/WS1S/ws1s_table.c