../ libmsolve-dev_0.7.4-1_armhf.deb 06-Mar-2025 10:08 191936 libmsolve0_0.7.4-1_armhf.deb 06-Mar-2025 10:08 174960 msolve_0.7.4-1.debian.tar.xz 28-Feb-2025 19:06 6740 msolve_0.7.4-1.dsc 28-Feb-2025 19:06 2261 msolve_0.7.4-1_armhf.deb 06-Mar-2025 10:08 581960 msolve_0.7.4.orig.tar.gz 28-Feb-2025 19:06 1180110