../ libmsolve-0.6.5_0.6.5-1build2_amd64.deb 01-Apr-2024 04:33 206K libmsolve-dev_0.6.5-1build2_amd64.deb 01-Apr-2024 04:33 226K msolve_0.6.5-1build2.debian.tar.xz 01-Apr-2024 04:32 6496 msolve_0.6.5-1build2.dsc 01-Apr-2024 04:32 2375 msolve_0.6.5-1build2_amd64.deb 01-Apr-2024 04:33 568K msolve_0.6.5.orig.tar.gz 28-Feb-2024 13:28 960K