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/minisat2/

Index of /pub/ubuntu-ports/pool/universe/m/minisat2/

File NameFile SizeDate
Parent directory/--
minisat2_2.2.1-4.debian.tar.gz 938814-Jul-2013 22:43
minisat2_2.2.1-4.dsc 187914-Jul-2013 22:43
minisat2_2.2.1-4_arm64.deb 189820-Oct-2013 06:28
minisat2_2.2.1-4_armhf.deb 189814-Jul-2013 22:58
minisat2_2.2.1-4_powerpc.deb 189814-Jul-2013 23:13
minisat2_2.2.1-4_ppc64el.deb 193219-Feb-2014 10:28
minisat2_2.2.1-5.debian.tar.xz 934830-Jul-2014 17:44
minisat2_2.2.1-5.dsc 189330-Jul-2014 17:44
minisat2_2.2.1-5_arm64.deb 199630-Jul-2014 18:39
minisat2_2.2.1-5_armhf.deb 199030-Jul-2014 17:45
minisat2_2.2.1-5_powerpc.deb 201030-Jul-2014 18:40
minisat2_2.2.1-5_ppc64el.deb 199830-Jul-2014 18:41
minisat2_2.2.1-5_s390x.deb 193805-Dec-2015 01:47
minisat2_2.2.1-5build1.debian.tar.xz 948005-Apr-2018 08:01
minisat2_2.2.1-5build1.dsc 198205-Apr-2018 08:01
minisat2_2.2.1-5build1_arm64.deb 202805-Apr-2018 08:04
minisat2_2.2.1-5build1_armhf.deb 202805-Apr-2018 08:04
minisat2_2.2.1-5build1_ppc64el.deb 203205-Apr-2018 08:04
minisat2_2.2.1-5build1_s390x.deb 203205-Apr-2018 08:04
minisat2_2.2.1-5build2.debian.tar.xz 952822-Mar-2020 17:10
minisat2_2.2.1-5build2.dsc 197822-Mar-2020 17:10
minisat2_2.2.1-5build2_arm64.deb 203222-Mar-2020 20:56
minisat2_2.2.1-5build2_armhf.deb 203222-Mar-2020 20:56
minisat2_2.2.1-5build2_ppc64el.deb 203222-Mar-2020 21:23
minisat2_2.2.1-5build2_riscv64.deb 203203-Apr-2020 10:14
minisat2_2.2.1-5build2_s390x.deb 203222-Mar-2020 20:31
minisat2_2.2.1-8.debian.tar.xz 986426-Feb-2024 23:17
minisat2_2.2.1-8.dsc 172926-Feb-2024 23:17
minisat2_2.2.1.orig.tar.gz 4422930-Apr-2011 17:05
minisat_2.2.1-4_arm64.deb 12885420-Oct-2013 06:28
minisat_2.2.1-4_armhf.deb 12179614-Jul-2013 22:58
minisat_2.2.1-4_powerpc.deb 13649814-Jul-2013 23:13
minisat_2.2.1-4_ppc64el.deb 9270619-Feb-2014 10:28
minisat_2.2.1-5_arm64.deb 8157630-Jul-2014 18:39
minisat_2.2.1-5_armhf.deb 7785430-Jul-2014 17:45
minisat_2.2.1-5_powerpc.deb 8803030-Jul-2014 18:40
minisat_2.2.1-5_ppc64el.deb 9392430-Jul-2014 18:41
minisat_2.2.1-5_s390x.deb 7991405-Dec-2015 01:47
minisat_2.2.1-5build1_arm64.deb 8036805-Apr-2018 08:04
minisat_2.2.1-5build1_armhf.deb 7499205-Apr-2018 08:04
minisat_2.2.1-5build1_ppc64el.deb 10185605-Apr-2018 08:04
minisat_2.2.1-5build1_s390x.deb 7898805-Apr-2018 08:04
minisat_2.2.1-5build2_arm64.deb 7906022-Mar-2020 20:56
minisat_2.2.1-5build2_armhf.deb 7527622-Mar-2020 20:56
minisat_2.2.1-5build2_ppc64el.deb 9131222-Mar-2020 21:23
minisat_2.2.1-5build2_riscv64.deb 14810403-Apr-2020 10:14
minisat_2.2.1-5build2_s390x.deb 7800022-Mar-2020 20:31
minisat_2.2.1-8_arm64.deb 9197027-Feb-2024 09:18
minisat_2.2.1-8_armhf.deb 8082227-Feb-2024 00:03
minisat_2.2.1-8_ppc64el.deb 10385227-Feb-2024 00:03
minisat_2.2.1-8_riscv64.deb 17647627-Feb-2024 00:04
minisat_2.2.1-8_s390x.deb 9425227-Feb-2024 00:04