Studenten Net Twente Mirror service

Index of /pub/os/linux/debian-archive/debian-debug/pool/main/m/minisat2/

Filename Modification time Size
minisat-dbgsym_2.2.1-5+b3_amd64.deb 163 KiB
minisat-dbgsym_2.2.1-5+b3_arm64.deb 160 KiB
minisat-dbgsym_2.2.1-5+b3_armel.deb 154 KiB
minisat-dbgsym_2.2.1-5+b3_armhf.deb 154 KiB
minisat-dbgsym_2.2.1-5+b3_i386.deb 151 KiB
minisat-dbgsym_2.2.1-5+b3_mips.deb 160 KiB
minisat-dbgsym_2.2.1-5+b3_mips64el.deb 162 KiB
minisat-dbgsym_2.2.1-5+b3_mipsel.deb 153 KiB
minisat-dbgsym_2.2.1-5+b3_ppc64el.deb 160 KiB
minisat-dbgsym_2.2.1-5+b3_s390x.deb 169 KiB
minisat2_2.2.1-5.debian.tar.xz 9348 B
minisat2_2.2.1-5.dsc 1893 B
minisat2_2.2.1.orig.tar.gz 43 KiB