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/pool/universe/m/minisat2/

Index of /pub/ubuntu/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_amd64.deb 189614-Jul-2013 22:58
minisat2_2.2.1-4_i386.deb 189614-Jul-2013 22:58
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_amd64.deb 199430-Jul-2014 18:38
minisat2_2.2.1-5_i386.deb 199630-Jul-2014 18:40
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_amd64.deb 203205-Apr-2018 08:03
minisat2_2.2.1-5build1_i386.deb 202805-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_amd64.deb 203222-Mar-2020 18:00
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_amd64.deb 13094414-Jul-2013 22:58
minisat_2.2.1-4_i386.deb 12729814-Jul-2013 22:58
minisat_2.2.1-5_amd64.deb 8298030-Jul-2014 18:38
minisat_2.2.1-5_i386.deb 9703830-Jul-2014 18:40
minisat_2.2.1-5build1_amd64.deb 8181605-Apr-2018 08:03
minisat_2.2.1-5build1_i386.deb 9069205-Apr-2018 08:04
minisat_2.2.1-5build2_amd64.deb 8194422-Mar-2020 18:00
minisat_2.2.1-8_amd64.deb 8809427-Feb-2024 00:03