Studenten Net Twente Mirror service

Index of /pub/linux/debian/pool/main/m/minisat2/

Filename Modification time Size
minisat2_2.2.1-5+b3_amd64.deb 5258 B
minisat2_2.2.1-5+b3_arm64.deb 5250 B
minisat2_2.2.1-5+b3_armel.deb 5244 B
minisat2_2.2.1-5+b3_armhf.deb 5254 B
minisat2_2.2.1-5+b3_i386.deb 5258 B
minisat2_2.2.1-5+b3_mips64el.deb 5260 B
minisat2_2.2.1-5+b3_mipsel.deb 5252 B
minisat2_2.2.1-5+b3_ppc64el.deb 5264 B
minisat2_2.2.1-5+b3_s390x.deb 5246 B
minisat2_2.2.1-5.debian.tar.xz 9348 B
minisat2_2.2.1-5.dsc 1893 B
minisat2_2.2.1-8.debian.tar.xz 9864 B
minisat2_2.2.1-8.dsc 1729 B
minisat2_2.2.1.orig.tar.gz 43 KiB
minisat_2.2.1-5+b3_amd64.deb 83 KiB
minisat_2.2.1-5+b3_arm64.deb 80 KiB
minisat_2.2.1-5+b3_armel.deb 77 KiB
minisat_2.2.1-5+b3_armhf.deb 76 KiB
minisat_2.2.1-5+b3_i386.deb 91 KiB
minisat_2.2.1-5+b3_mips64el.deb 89 KiB
minisat_2.2.1-5+b3_mipsel.deb 89 KiB
minisat_2.2.1-5+b3_ppc64el.deb 86 KiB
minisat_2.2.1-5+b3_s390x.deb 81 KiB
minisat_2.2.1-8+b1_arm64.deb 83 KiB
minisat_2.2.1-8_amd64.deb 81 KiB
minisat_2.2.1-8_armel.deb 76 KiB
minisat_2.2.1-8_armhf.deb 75 KiB
minisat_2.2.1-8_i386.deb 90 KiB
minisat_2.2.1-8_mips64el.deb 86 KiB
minisat_2.2.1-8_ppc64el.deb 87 KiB
minisat_2.2.1-8_riscv64.deb 147 KiB
minisat_2.2.1-8_s390x.deb 83 KiB