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