Content of RPM gecode-5.1.0-5.fc30.x86_64.rpm :
/usr/lib/.build-id
/usr/lib/.build-id/36
/usr/lib/.build-id/36/0b916d616dcdbbeef25a12dc69cb7462c0de5a
/usr/lib/.build-id/44
/usr/lib/.build-id/44/93cffea1a0dd0d4c1b4beba716c8aad23592f2
/usr/lib/.build-id/47
/usr/lib/.build-id/47/670ee804f2f7ec9fa37b475058690aa21d888b
/usr/lib/.build-id/5c
/usr/lib/.build-id/5c/96c19ebf3d99cc2a1c8f9f587e0c7a274a1f31
/usr/lib/.build-id/94
/usr/lib/.build-id/94/dc7673dc2ca08a65685f5386de3df124e6f5a5
/usr/lib/.build-id/b2
/usr/lib/.build-id/b2/5495b1f902b77e6de1b16bf9a8953c51271b0a
/usr/lib/.build-id/b4
/usr/lib/.build-id/b4/bc72587bf8dde7e51c8351cff4fc3b3b9eb2e4
/usr/lib/.build-id/c0
/usr/lib/.build-id/c0/0e4ce0cf04e9cfa2643746ea2d593a91ba4b58
/usr/lib/.build-id/d7
/usr/lib/.build-id/d7/1d5457917fab54ba31a376192ee2287eb943a7
/usr/lib/.build-id/ea
/usr/lib/.build-id/ea/8157849432d237342cd434fe1ee36b45733d18
/usr/lib64/libgecodedriver.so.44
/usr/lib64/libgecodedriver.so.44.0
/usr/lib64/libgecodeflatzinc.so.44
/usr/lib64/libgecodeflatzinc.so.44.0
/usr/lib64/libgecodefloat.so.44
/usr/lib64/libgecodefloat.so.44.0
/usr/lib64/libgecodegist.so.44
/usr/lib64/libgecodegist.so.44.0
/usr/lib64/libgecodeint.so.44
/usr/lib64/libgecodeint.so.44.0
/usr/lib64/libgecodekernel.so.44
/usr/lib64/libgecodekernel.so.44.0
/usr/lib64/libgecodeminimodel.so.44
/usr/lib64/libgecodeminimodel.so.44.0
/usr/lib64/libgecodesearch.so.44
/usr/lib64/libgecodesearch.so.44.0
/usr/lib64/libgecodeset.so.44
/usr/lib64/libgecodeset.so.44.0
/usr/lib64/libgecodesupport.so.44
/usr/lib64/libgecodesupport.so.44.0
/usr/share/doc/gecode
/usr/share/doc/gecode/ChangeLog
/usr/share/licenses/gecode
/usr/share/licenses/gecode/LICENSE