Index of /debian/pool/main/m/minisat2/
../
minisat2_2.2.1-5+b3_amd64.deb 07-Mar-2017 11:27 5258
minisat2_2.2.1-5+b3_arm64.deb 07-Mar-2017 11:11 5250
minisat2_2.2.1-5+b3_i386.deb 07-Mar-2017 11:27 5258
minisat2_2.2.1-5+b3_mips64el.deb 07-Mar-2017 12:13 5260
minisat2_2.2.1-5+b3_ppc64el.deb 07-Mar-2017 11:27 5264
minisat_2.2.1-5+b3_amd64.deb 07-Mar-2017 11:27 84904
minisat_2.2.1-5+b3_arm64.deb 07-Mar-2017 11:11 81934
minisat_2.2.1-5+b3_i386.deb 07-Mar-2017 11:27 93386
minisat_2.2.1-5+b3_mips64el.deb 07-Mar-2017 12:13 90918
minisat_2.2.1-5+b3_ppc64el.deb 07-Mar-2017 11:27 88496
minisat_2.2.1-8+b1_arm64.deb 01-Nov-2024 20:51 84592
minisat_2.2.1-8_amd64.deb 26-Feb-2024 17:23 83108
minisat_2.2.1-8_i386.deb 26-Feb-2024 17:23 92384
minisat_2.2.1-8_mips64el.deb 26-Feb-2024 18:29 87864
minisat_2.2.1-8_ppc64el.deb 26-Feb-2024 17:23 89224
minisat_2.2.1-8_riscv64.deb 26-Feb-2024 19:39 150916