Studenten Net Twente Mirror service

Index of /pub/os/linux/debian/pool/main/m/minisat+/

Filename Modification time Size
minisat+_1.0-4.debian.tar.xz 4176 B
minisat+_1.0-4.dsc 1984 B
minisat+_1.0-4_amd64.deb 155 KiB
minisat+_1.0-4_arm64.deb 131 KiB
minisat+_1.0-4_armel.deb 127 KiB
minisat+_1.0-4_armhf.deb 131 KiB
minisat+_1.0-4_i386.deb 156 KiB
minisat+_1.0-4_mips64el.deb 144 KiB
minisat+_1.0-4_mipsel.deb 141 KiB
minisat+_1.0-4_ppc64el.deb 145 KiB
minisat+_1.0-4_s390x.deb 143 KiB
minisat+_1.0-5.debian.tar.xz 4448 B
minisat+_1.0-5.dsc 1979 B
minisat+_1.0-5_amd64.deb 146 KiB
minisat+_1.0-5_arm64.deb 130 KiB
minisat+_1.0-5_armel.deb 122 KiB
minisat+_1.0-5_armhf.deb 126 KiB
minisat+_1.0-5_i386.deb 145 KiB
minisat+_1.0-5_mips64el.deb 140 KiB
minisat+_1.0-5_ppc64el.deb 149 KiB
minisat+_1.0-5_riscv64.deb 148 KiB
minisat+_1.0-5_s390x.deb 164 KiB
minisat+_1.0.orig.tar.gz 78 KiB