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/ubuntu-ports/pool/universe/m/minisat+/

Index of /pub/ubuntu-ports/pool/universe/m/minisat+/

File NameFile SizeDate
Parent directory/--
minisat+_1.0-2.debian.tar.gz 396612-Nov-2011 09:20
minisat+_1.0-2.dsc 126212-Nov-2011 09:20
minisat+_1.0-2_arm64.deb 17611220-Oct-2013 06:28
minisat+_1.0-2_armhf.deb 14419007-Dec-2011 13:04
minisat+_1.0-2_powerpc.deb 17340613-Nov-2011 07:03
minisat+_1.0-2_ppc64el.deb 15080419-Feb-2014 10:28
minisat+_1.0-2_s390x.deb 15049005-Dec-2015 01:47
minisat+_1.0-4.debian.tar.xz 417629-Apr-2017 23:58
minisat+_1.0-4.dsc 198429-Apr-2017 23:58
minisat+_1.0-4_arm64.deb 13478630-Apr-2017 02:36
minisat+_1.0-4_armhf.deb 12526630-Apr-2017 02:37
minisat+_1.0-4_ppc64el.deb 14960430-Apr-2017 01:30
minisat+_1.0-4_s390x.deb 14970230-Apr-2017 01:32
minisat+_1.0-4build1.debian.tar.xz 425222-Mar-2020 17:10
minisat+_1.0-4build1.dsc 203322-Mar-2020 17:10
minisat+_1.0-4build1_arm64.deb 12654422-Mar-2020 20:56
minisat+_1.0-4build1_armhf.deb 11970422-Mar-2020 20:56
minisat+_1.0-4build1_ppc64el.deb 14990422-Mar-2020 21:18
minisat+_1.0-4build1_riscv64.deb 14032003-Apr-2020 10:14
minisat+_1.0-4build1_s390x.deb 15878022-Mar-2020 20:31
minisat+_1.0.orig.tar.gz 7999012-Nov-2011 09:20