../ libmsolve-dev_0.7.5-1_armhf.deb 22-Mar-2025 10:08 192044 libmsolve0_0.7.5-1_armhf.deb 22-Mar-2025 10:08 175116 msolve_0.7.5-1.debian.tar.xz 17-Mar-2025 12:33 7740 msolve_0.7.5-1.dsc 17-Mar-2025 12:33 2257 msolve_0.7.5-1_armhf.deb 22-Mar-2025 10:08 582076 msolve_0.7.5.orig.tar.gz 17-Mar-2025 12:33 1180118