Skip To Content

Home - Residential - Entertainment - File Download Mirror - Directory Listing

File Download Mirror

The Internode Mirror contains a wide selection of software for download by Internode customers.

File Download Mirror Directory Listing

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

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

File NameFile SizeDate
Parent directory/--
minisat+_1.0-4+b1_riscv64.deb 14668811-Feb-2024 13:30
minisat+_1.0-4.debian.tar.xz 417622-Feb-2017 20:22
minisat+_1.0-4.dsc 198422-Feb-2017 20:22
minisat+_1.0-4_amd64.deb 15836822-Feb-2017 21:12
minisat+_1.0-4_arm64.deb 13391422-Feb-2017 21:12
minisat+_1.0-4_armel.deb 12992022-Feb-2017 21:12
minisat+_1.0-4_armhf.deb 13373622-Feb-2017 21:12
minisat+_1.0-4_i386.deb 16007622-Feb-2017 21:12
minisat+_1.0-4_mips64el.deb 14788822-Feb-2017 21:28
minisat+_1.0-4_mipsel.deb 14472422-Feb-2017 21:43
minisat+_1.0-4_ppc64el.deb 14848822-Feb-2017 21:12
minisat+_1.0-4_s390x.deb 14670222-Feb-2017 21:12
minisat+_1.0.orig.tar.gz 7999014-May-2011 12:02