Content of RPM ghc-minisat-solver-devel-0.1-3.8.x86_64.rpm :
/usr/lib64/ghc-8.4.4/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT
/usr/lib64/ghc-8.4.4/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat
/usr/lib64/ghc-8.4.4/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat.dyn_hi
/usr/lib64/ghc-8.4.4/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat.hi
/usr/lib64/ghc-8.4.4/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat.p_hi
/usr/lib64/ghc-8.4.4/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Formula.dyn_hi
/usr/lib64/ghc-8.4.4/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Formula.hi
/usr/lib64/ghc-8.4.4/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Formula.p_hi
/usr/lib64/ghc-8.4.4/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Functional.dyn_hi
/usr/lib64/ghc-8.4.4/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Functional.hi
/usr/lib64/ghc-8.4.4/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Functional.p_hi
/usr/lib64/ghc-8.4.4/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Literals.dyn_hi
/usr/lib64/ghc-8.4.4/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Literals.hi
/usr/lib64/ghc-8.4.4/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Literals.p_hi
/usr/lib64/ghc-8.4.4/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/LowLevel.dyn_hi
/usr/lib64/ghc-8.4.4/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/LowLevel.hi
/usr/lib64/ghc-8.4.4/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/LowLevel.p_hi
/usr/lib64/ghc-8.4.4/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Monadic.dyn_hi
/usr/lib64/ghc-8.4.4/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Monadic.hi
/usr/lib64/ghc-8.4.4/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Monadic.p_hi
/usr/lib64/ghc-8.4.4/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Variable.dyn_hi
/usr/lib64/ghc-8.4.4/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Variable.hi
/usr/lib64/ghc-8.4.4/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/SAT/MiniSat/Variable.p_hi
/usr/lib64/ghc-8.4.4/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/libHSminisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN.a
/usr/lib64/ghc-8.4.4/minisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN/libHSminisat-solver-0.1-CuwYUuteMo7JOJYjgwPizN_p.a
/usr/lib64/ghc-8.4.4/package.conf.d/minisat-solver-0.1.conf
/usr/share/doc/ghc-8.4.4/html/libraries/minisat-solver-0.1
/usr/share/doc/ghc-8.4.4/html/libraries/minisat-solver-0.1/SAT-MiniSat.html
/usr/share/doc/ghc-8.4.4/html/libraries/minisat-solver-0.1/doc-index.html
/usr/share/doc/ghc-8.4.4/html/libraries/minisat-solver-0.1/haddock-bundle.min.js
/usr/share/doc/ghc-8.4.4/html/libraries/minisat-solver-0.1/hslogo-16.png
/usr/share/doc/ghc-8.4.4/html/libraries/minisat-solver-0.1/index.html
/usr/share/doc/ghc-8.4.4/html/libraries/minisat-solver-0.1/meta.json
/usr/share/doc/ghc-8.4.4/html/libraries/minisat-solver-0.1/minisat-solver.haddock
/usr/share/doc/ghc-8.4.4/html/libraries/minisat-solver-0.1/minisat-solver.txt
/usr/share/doc/ghc-8.4.4/html/libraries/minisat-solver-0.1/minus.gif
/usr/share/doc/ghc-8.4.4/html/libraries/minisat-solver-0.1/ocean.css
/usr/share/doc/ghc-8.4.4/html/libraries/minisat-solver-0.1/plus.gif
/usr/share/doc/ghc-8.4.4/html/libraries/minisat-solver-0.1/quick-jump.css
/usr/share/doc/ghc-8.4.4/html/libraries/minisat-solver-0.1/synopsis.png
/usr/share/doc/packages/ghc-minisat-solver-devel
/usr/share/doc/packages/ghc-minisat-solver-devel/ChangeLog