Content of RPM msolve-devel-0.7.2-1.fc41.x86_64.rpm :
/usr/include/msolve
/usr/include/msolve/fglm
/usr/include/msolve/fglm/fglm.h
/usr/include/msolve/msolve
/usr/include/msolve/msolve-data.h
/usr/include/msolve/msolve.h
/usr/include/msolve/msolve/msolve-data.h
/usr/include/msolve/msolve/msolve.h
/usr/include/msolve/neogb
/usr/include/msolve/neogb/basis.h
/usr/include/msolve/neogb/data.h
/usr/include/msolve/neogb/engine.h
/usr/include/msolve/neogb/f4.h
/usr/include/msolve/neogb/f4sat.h
/usr/include/msolve/neogb/hash.h
/usr/include/msolve/neogb/io.h
/usr/include/msolve/neogb/libneogb.h
/usr/include/msolve/neogb/meta_data.h
/usr/include/msolve/neogb/modular.h
/usr/include/msolve/neogb/nf.h
/usr/include/msolve/neogb/sba.h
/usr/include/msolve/neogb/sort_r.h
/usr/include/msolve/neogb/tools.h
/usr/include/msolve/neogb/update.h
/usr/include/msolve/usolve
/usr/include/msolve/usolve/libusolve.h
/usr/include/neogb
/usr/include/neogb/basis.h
/usr/include/neogb/data.h
/usr/include/neogb/engine.h
/usr/include/neogb/f4.h
/usr/include/neogb/f4sat.h
/usr/include/neogb/hash.h
/usr/include/neogb/io.h
/usr/include/neogb/la.h
/usr/include/neogb/libneogb.h
/usr/include/neogb/meta_data.h
/usr/include/neogb/modular.h
/usr/include/neogb/nf.h
/usr/include/neogb/sba.h
/usr/include/neogb/sort_r.h
/usr/include/neogb/tools.h
/usr/include/neogb/update.h
/usr/lib64/libmsolve.so
/usr/lib64/libneogb.so
/usr/lib64/pkgconfig/msolve.pc