File list of package libmsolve-dev in sid of architecture amd64
/usr/include/msolve/fglm/fglm.h /usr/include/msolve/msolve/msolve-data.h /usr/include/msolve/msolve/msolve.h /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/libusolve.h /usr/lib/x86_64-linux-gnu/libmsolve.a /usr/lib/x86_64-linux-gnu/libmsolve.so /usr/lib/x86_64-linux-gnu/libneogb.a /usr/lib/x86_64-linux-gnu/libneogb.so /usr/lib/x86_64-linux-gnu/pkgconfig/msolve.pc /usr/share/doc/libmsolve-dev/changelog.Debian.gz /usr/share/doc/libmsolve-dev/copyright
