Index of /pool/universe/m/minisat2

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