../ libmsolve-0.6.5_0.6.5-1build2_amd64.deb 03-Apr-2024 15:15 210548 libmsolve-dev_0.6.5-1build2_amd64.deb 03-Apr-2024 15:15 231398 msolve_0.6.5-1build2.debian.tar.xz 03-Apr-2024 15:15 6496 msolve_0.6.5-1build2.dsc 03-Apr-2024 15:15 2375 msolve_0.6.5-1build2_amd64.deb 03-Apr-2024 15:15 581602 msolve_0.6.5.orig.tar.gz 29-Mar-2024 07:50 983188