../ libmsolve-0.6.5_0.6.5-1build2_amd64.deb 06-May-2024 22:58 206K libmsolve-dev_0.6.5-1build2_amd64.deb 06-May-2024 22:58 226K msolve_0.6.5-1build2.debian.tar.xz 06-May-2024 22:58 6496 msolve_0.6.5-1build2.dsc 06-May-2024 22:58 2375 msolve_0.6.5-1build2_amd64.deb 06-May-2024 22:58 568K msolve_0.6.5.orig.tar.gz 06-May-2024 22:58 960K