../ libslvs1-dev_3.1+ds1-3_amd64.deb 10-Dec-2022 15:26 16888 libslvs1_3.1+ds1-3_amd64.deb 10-Dec-2022 15:26 176540 solvespace_3.1+ds1-3.debian.tar.xz 10-Dec-2022 13:55 27776 solvespace_3.1+ds1-3.dsc 10-Dec-2022 13:55 2212 solvespace_3.1+ds1-3_amd64.deb 10-Dec-2022 15:26 2085308 solvespace_3.1+ds1.orig.tar.xz 11-Jul-2022 20:39 2246744