../ libmsolve-dev_0.7.5-1_amd64.deb 17-Mar-2025 13:09 217K libmsolve0_0.7.5-1_amd64.deb 17-Mar-2025 13:09 200K 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_amd64.deb 17-Mar-2025 13:09 590K msolve_0.7.5.orig.tar.gz 17-Mar-2025 12:33 1M