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

	Name	Last modified	Size	Description
	Parent Directory		-
	minisat2_2.2.1-4.debian.tar.gz	2013-07-15 00:43	9.2K
	minisat2_2.2.1-4.dsc	2013-07-15 00:43	1.8K
	minisat2_2.2.1-4_arm64.deb	2013-10-20 08:28	1.9K
	minisat2_2.2.1-4_armhf.deb	2013-07-15 00:58	1.9K
	minisat2_2.2.1-4_powerpc.deb	2013-07-15 01:13	1.9K
	minisat2_2.2.1-4_ppc64el.deb	2014-02-19 11:28	1.9K
	minisat2_2.2.1-5.debian.tar.xz	2014-07-30 19:44	9.1K
	minisat2_2.2.1-5.dsc	2014-07-30 19:44	1.8K
	minisat2_2.2.1-5_arm64.deb	2014-07-30 20:39	1.9K
	minisat2_2.2.1-5_armhf.deb	2014-07-30 19:45	1.9K
	minisat2_2.2.1-5_powerpc.deb	2014-07-30 20:40	2.0K
	minisat2_2.2.1-5_ppc64el.deb	2014-07-30 20:41	2.0K
	minisat2_2.2.1-5_s390x.deb	2015-12-05 02:47	1.9K
	minisat2_2.2.1-5build1.debian.tar.xz	2018-04-05 10:01	9.3K
	minisat2_2.2.1-5build1.dsc	2018-04-05 10:01	1.9K
	minisat2_2.2.1-5build1_arm64.deb	2018-04-05 10:04	2.0K
	minisat2_2.2.1-5build1_armhf.deb	2018-04-05 10:04	2.0K
	minisat2_2.2.1-5build1_ppc64el.deb	2018-04-05 10:04	2.0K
	minisat2_2.2.1-5build1_s390x.deb	2018-04-05 10:04	2.0K
	minisat2_2.2.1-5build2.debian.tar.xz	2020-03-22 18:10	9.3K
	minisat2_2.2.1-5build2.dsc	2020-03-22 18:10	1.9K
	minisat2_2.2.1-5build2_arm64.deb	2020-03-22 21:56	2.0K
	minisat2_2.2.1-5build2_armhf.deb	2020-03-22 21:56	2.0K
	minisat2_2.2.1-5build2_ppc64el.deb	2020-03-22 22:23	2.0K
	minisat2_2.2.1-5build2_riscv64.deb	2020-04-03 12:14	2.0K
	minisat2_2.2.1-5build2_s390x.deb	2020-03-22 21:31	2.0K
	minisat2_2.2.1-8build1.debian.tar.xz	2024-04-01 10:00	9.7K
	minisat2_2.2.1-8build1.dsc	2024-04-01 10:00	1.8K
	minisat2_2.2.1.orig.tar.gz	2011-04-30 19:05	43K
	minisat_2.2.1-4_arm64.deb	2013-10-20 08:28	126K
	minisat_2.2.1-4_armhf.deb	2013-07-15 00:58	119K
	minisat_2.2.1-4_powerpc.deb	2013-07-15 01:13	133K
	minisat_2.2.1-4_ppc64el.deb	2014-02-19 11:28	91K
	minisat_2.2.1-5_arm64.deb	2014-07-30 20:39	80K
	minisat_2.2.1-5_armhf.deb	2014-07-30 19:45	76K
	minisat_2.2.1-5_powerpc.deb	2014-07-30 20:40	86K
	minisat_2.2.1-5_ppc64el.deb	2014-07-30 20:41	92K
	minisat_2.2.1-5_s390x.deb	2015-12-05 02:47	78K
	minisat_2.2.1-5build1_arm64.deb	2018-04-05 10:04	78K
	minisat_2.2.1-5build1_armhf.deb	2018-04-05 10:04	73K
	minisat_2.2.1-5build1_ppc64el.deb	2018-04-05 10:04	99K
	minisat_2.2.1-5build1_s390x.deb	2018-04-05 10:04	77K
	minisat_2.2.1-5build2_arm64.deb	2020-03-22 21:56	77K
	minisat_2.2.1-5build2_armhf.deb	2020-03-22 21:56	74K
	minisat_2.2.1-5build2_ppc64el.deb	2020-03-22 22:23	89K
	minisat_2.2.1-5build2_riscv64.deb	2020-04-03 12:14	145K
	minisat_2.2.1-5build2_s390x.deb	2020-03-22 21:31	76K
	minisat_2.2.1-8build1_arm64.deb	2024-04-02 13:01	90K
	minisat_2.2.1-8build1_armhf.deb	2024-04-01 21:53	79K
	minisat_2.2.1-8build1_ppc64el.deb	2024-04-02 04:14	101K
	minisat_2.2.1-8build1_riscv64.deb	2024-04-02 03:09	172K
	minisat_2.2.1-8build1_s390x.deb	2024-04-02 07:03	92K