Index of /pool/universe/m/minisat+

	Name	Last modified	Size	Description
	Parent Directory		-
	minisat+-dbgsym_1.0-5_s390x.ddeb	2024-10-31 21:46	925K
	minisat+-dbgsym_1.0-5_riscv64.ddeb	2024-11-21 21:03	725K
	minisat+-dbgsym_1.0-5_ppc64el.ddeb	2024-11-01 00:57	873K
	minisat+-dbgsym_1.0-5_armhf.ddeb	2024-10-31 21:59	826K
	minisat+-dbgsym_1.0-5_arm64.ddeb	2024-10-31 21:59	848K
	minisat+-dbgsym_1.0-5_amd64.ddeb	2024-10-31 21:48	853K
	minisat+-dbgsym_1.0-4build1_s390x.ddeb	2020-03-23 00:43	1.2M
	minisat+-dbgsym_1.0-4build1_riscv64.ddeb	2020-04-18 19:10	916K
	minisat+-dbgsym_1.0-4build1_ppc64el.ddeb	2020-03-23 00:04	1.0M
	minisat+-dbgsym_1.0-4build1_armhf.ddeb	2020-03-23 00:19	967K
	minisat+-dbgsym_1.0-4build1_arm64.ddeb	2020-03-23 00:19	1.0M
	minisat+-dbgsym_1.0-4build1_amd64.ddeb	2020-03-22 19:45	1.0M
	minisat+-dbgsym_1.0-4_s390x.ddeb	2017-04-30 03:23	900K
	minisat+-dbgsym_1.0-4_ppc64el.ddeb	2017-04-30 03:22	842K
	minisat+-dbgsym_1.0-4_i386.ddeb	2017-04-30 03:33	789K
	minisat+-dbgsym_1.0-4_armhf.ddeb	2017-04-30 03:07	792K
	minisat+-dbgsym_1.0-4_arm64.ddeb	2017-04-30 03:07	821K
	minisat+-dbgsym_1.0-4_amd64.ddeb	2017-04-30 03:33	835K
	minisat+-dbgsym_1.0-2_s390x.ddeb	2015-12-05 02:53	568K
	minisat+-dbgsym_1.0-2_ppc64el.ddeb	2014-02-19 10:25	654K
	minisat+-dbgsym_1.0-2_powerpc.ddeb	2015-03-03 00:04	564K
	minisat+-dbgsym_1.0-2_i386.ddeb	2011-11-12 08:25	729K
	minisat+-dbgsym_1.0-2_armhf.ddeb	2011-12-07 12:10	755K
	minisat+-dbgsym_1.0-2_arm64.ddeb	2013-10-20 06:22	674K
	minisat+-dbgsym_1.0-2_amd64.ddeb	2011-11-12 08:18	808K