Content of RPM ghc-sbv-5.12-4.23.x86_64.rpm :
/usr/bin/SBVUnitTests
/usr/lib64/ghc-8.0.1/sbv-5.12-EcIxWUwcJds8cpvyqiHWIL
/usr/lib64/ghc-8.0.1/sbv-5.12-EcIxWUwcJds8cpvyqiHWIL/libHSsbv-5.12-EcIxWUwcJds8cpvyqiHWIL-ghc8.0.1.so
/usr/share/doc/packages/ghc-sbv
/usr/share/doc/packages/ghc-sbv/LICENSE
/usr/share/sbv-5.12
/usr/share/sbv-5.12/SBVUnitTest
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/U2Bridge.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/addSub.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/aes128Dec.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/aes128Enc.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/aes128Lib.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/auf-1.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/basic-1_1.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/basic-1_2.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/basic-1_3.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/basic-1_4.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/basic-1_5.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/basic-2_1.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/basic-2_2.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/basic-2_3.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/basic-2_4.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/basic-2_5.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/basic-3_1.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/basic-3_2.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/basic-3_3.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/basic-3_4.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/basic-3_5.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/basic-4_1.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/basic-4_2.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/basic-4_3.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/basic-4_4.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/basic-4_5.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/basic-5_1.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/basic-5_2.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/basic-5_3.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/basic-5_4.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/basic-5_5.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/ccitt.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/cgUninterpret.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/codeGen1.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/coins.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/counts.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/crcPolyExist.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/crcUSB5_1.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/crcUSB5_2.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/dogCatMouse.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/euler185.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/fib1.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/fib2.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/floats_cgen.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/gcd.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/higher-1.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/higher-2.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/higher-3.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/higher-4.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/higher-5.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/higher-6.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/higher-7.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/higher-8.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/higher-9.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/iteTest1.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/iteTest2.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/iteTest3.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/legato.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/legato_c.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/merge.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/popCount1.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/popCount2.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/selChecked.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/selUnchecked.gold
/usr/share/sbv-5.12/SBVUnitTest/GoldFiles/temperature.gold