Lista de arquivos do pacote libmsolve-dev em sid da arquitetura armhf

/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/arm-linux-gnueabihf/libmsolve.a
/usr/lib/arm-linux-gnueabihf/libmsolve.so
/usr/lib/arm-linux-gnueabihf/libneogb.a
/usr/lib/arm-linux-gnueabihf/libneogb.so
/usr/lib/arm-linux-gnueabihf/pkgconfig/msolve.pc
/usr/share/doc/libmsolve-dev/changelog.Debian.gz
/usr/share/doc/libmsolve-dev/copyright