Index of /ubuntu-ports/pool/universe/m/minisat2/
../ minisat2_2.2.1-4.debian.tar.gz 15-Jul-2013 05:43 9388 minisat2_2.2.1-4.dsc 15-Jul-2013 05:43 1879 minisat2_2.2.1-4_arm64.deb 20-Oct-2013 13:28 1898 minisat2_2.2.1-4_armhf.deb 15-Jul-2013 05:58 1898 minisat2_2.2.1-4_powerpc.deb 15-Jul-2013 06:13 1898 minisat2_2.2.1-4_ppc64el.deb 19-Feb-2014 17:28 1932 minisat2_2.2.1-5.debian.tar.xz 31-Jul-2014 00:44 9348 minisat2_2.2.1-5.dsc 31-Jul-2014 00:44 1893 minisat2_2.2.1-5_arm64.deb 31-Jul-2014 01:39 1996 minisat2_2.2.1-5_armhf.deb 31-Jul-2014 00:45 1990 minisat2_2.2.1-5_powerpc.deb 31-Jul-2014 01:40 2010 minisat2_2.2.1-5_ppc64el.deb 31-Jul-2014 01:41 1998 minisat2_2.2.1-5_s390x.deb 05-Dec-2015 08:47 1938 minisat2_2.2.1-5build1.debian.tar.xz 05-Apr-2018 15:01 9480 minisat2_2.2.1-5build1.dsc 05-Apr-2018 15:01 1982 minisat2_2.2.1-5build1_arm64.deb 05-Apr-2018 15:04 2028 minisat2_2.2.1-5build1_armhf.deb 05-Apr-2018 15:04 2028 minisat2_2.2.1-5build1_ppc64el.deb 05-Apr-2018 15:04 2032 minisat2_2.2.1-5build1_s390x.deb 05-Apr-2018 15:04 2032 minisat2_2.2.1-5build2.debian.tar.xz 23-Mar-2020 00:10 9528 minisat2_2.2.1-5build2.dsc 23-Mar-2020 00:10 1978 minisat2_2.2.1-5build2_arm64.deb 23-Mar-2020 03:56 2032 minisat2_2.2.1-5build2_armhf.deb 23-Mar-2020 03:56 2032 minisat2_2.2.1-5build2_ppc64el.deb 23-Mar-2020 04:23 2032 minisat2_2.2.1-5build2_riscv64.deb 03-Apr-2020 17:14 2032 minisat2_2.2.1-5build2_s390x.deb 23-Mar-2020 03:31 2032 minisat2_2.2.1.orig.tar.gz 01-May-2011 00:05 43K minisat_2.2.1-4_arm64.deb 20-Oct-2013 13:28 126K minisat_2.2.1-4_armhf.deb 15-Jul-2013 05:58 119K minisat_2.2.1-4_powerpc.deb 15-Jul-2013 06:13 133K minisat_2.2.1-4_ppc64el.deb 19-Feb-2014 17:28 91K minisat_2.2.1-5_arm64.deb 31-Jul-2014 01:39 80K minisat_2.2.1-5_armhf.deb 31-Jul-2014 00:45 76K minisat_2.2.1-5_powerpc.deb 31-Jul-2014 01:40 86K minisat_2.2.1-5_ppc64el.deb 31-Jul-2014 01:41 92K minisat_2.2.1-5_s390x.deb 05-Dec-2015 08:47 78K minisat_2.2.1-5build1_arm64.deb 05-Apr-2018 15:04 78K minisat_2.2.1-5build1_armhf.deb 05-Apr-2018 15:04 73K minisat_2.2.1-5build1_ppc64el.deb 05-Apr-2018 15:04 99K minisat_2.2.1-5build1_s390x.deb 05-Apr-2018 15:04 77K minisat_2.2.1-5build2_arm64.deb 23-Mar-2020 03:56 77K minisat_2.2.1-5build2_armhf.deb 23-Mar-2020 03:56 74K minisat_2.2.1-5build2_ppc64el.deb 23-Mar-2020 04:23 89K minisat_2.2.1-5build2_riscv64.deb 03-Apr-2020 17:14 145K minisat_2.2.1-5build2_s390x.deb 23-Mar-2020 03:31 76K