Content of RPM zenon-debugsource-0.8.2-9.fc27.i686.rpm :
/usr/src/debug/zenon-0.8.2-9.fc27.i386
/usr/src/debug/zenon-0.8.2-9.fc27.i386/coqterm.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/enum.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/eqrel.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/error.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/expr.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/ext_equiv.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/ext_focal.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/ext_induct.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/ext_recfun.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/ext_tla.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/extension.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/globals.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/heap.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/index.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/isar_case.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/lexcoq.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/lexcoq.mll
/usr/src/debug/zenon-0.8.2-9.fc27.i386/lextptp.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/lextptp.mll
/usr/src/debug/zenon-0.8.2-9.fc27.i386/lexzen.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/lexzen.mll
/usr/src/debug/zenon-0.8.2-9.fc27.i386/llproof.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/lltocoq.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/lltoisar.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/main.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/misc.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/mlproof.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/mltoll.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/namespace.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/node.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/parsecoq.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/parsecoq.mly
/usr/src/debug/zenon-0.8.2-9.fc27.i386/parsetptp.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/parsetptp.mly
/usr/src/debug/zenon-0.8.2-9.fc27.i386/parsezen.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/parsezen.mly
/usr/src/debug/zenon-0.8.2-9.fc27.i386/phrase.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/print.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/progress.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/prove.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/step.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/tptp.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/version.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/versionnum.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/watch.ml
/usr/src/debug/zenon-0.8.2-9.fc27.i386/zenon.ml