libmsolve-dev_0.10.1-1+b1_amd64.deb
libmsolve3_0.10.1-1+b1_amd64.deb
msolve_0.10.1-1+b1_amd64.deb
msolve_0.10.1-1.debian.tar.xz
msolve_0.10.1-1.dsc
msolve_0.10.1.orig.tar.gz