../ minisat2_2.2.1-5build2.debian.tar.xz 25-Aug-2023 23:53 9528 minisat2_2.2.1-5build2.dsc 25-Aug-2023 23:53 1978 minisat2_2.2.1-5build2_amd64.deb 25-Aug-2023 23:53 2032 minisat2_2.2.1-8build1.debian.tar.xz 03-Apr-2024 15:15 9976 minisat2_2.2.1-8build1.dsc 03-Apr-2024 15:15 1811 minisat2_2.2.1.orig.tar.gz 25-Aug-2023 23:53 44229 minisat_2.2.1-5build2_amd64.deb 25-Aug-2023 23:53 81944 minisat_2.2.1-8build1_amd64.deb 03-Apr-2024 15:15 88062