Index of /pool/universe/m/minisat2

	Name	Last modified	Size	Description
	Parent Directory		-
	minisat-dbgsym_2.2.1-8build1_s390x.ddeb	2024-04-02 05:56	202K
	minisat-dbgsym_2.2.1-8build1_riscv64.ddeb	2024-04-02 01:47	172K
	minisat-dbgsym_2.2.1-8build1_ppc64el.ddeb	2024-04-02 02:40	209K
	minisat-dbgsym_2.2.1-8build1_armhf.ddeb	2024-04-01 21:59	202K
	minisat-dbgsym_2.2.1-8build1_arm64.ddeb	2024-04-02 11:43	196K
	minisat-dbgsym_2.2.1-8build1_amd64.ddeb	2024-04-01 11:13	198K
	minisat-dbgsym_2.2.1-5build2_s390x.ddeb	2020-03-23 00:43	247K
	minisat-dbgsym_2.2.1-5build2_riscv64.ddeb	2020-04-18 19:10	201K
	minisat-dbgsym_2.2.1-5build2_ppc64el.ddeb	2020-03-22 23:58	247K
	minisat-dbgsym_2.2.1-5build2_armhf.ddeb	2020-03-23 00:19	233K
	minisat-dbgsym_2.2.1-5build2_arm64.ddeb	2020-03-23 00:19	240K
	minisat-dbgsym_2.2.1-5build2_amd64.ddeb	2020-03-22 19:29	243K
	minisat-dbgsym_2.2.1-5build1_s390x.ddeb	2018-04-05 08:47	176K
	minisat-dbgsym_2.2.1-5build1_ppc64el.ddeb	2018-04-05 08:49	188K
	minisat-dbgsym_2.2.1-5build1_i386.ddeb	2018-04-05 08:48	161K
	minisat-dbgsym_2.2.1-5build1_armhf.ddeb	2018-04-05 08:53	162K
	minisat-dbgsym_2.2.1-5build1_arm64.ddeb	2018-04-05 08:53	167K
	minisat-dbgsym_2.2.1-5build1_amd64.ddeb	2018-04-05 08:48	172K
	minisat-dbgsym_2.2.1-5_s390x.ddeb	2015-12-05 02:53	109K
	minisat-dbgsym_2.2.1-5_ppc64el.ddeb	2014-07-30 17:20	141K
	minisat-dbgsym_2.2.1-5_powerpc.ddeb	2014-07-30 17:57	115K
	minisat-dbgsym_2.2.1-5_i386.ddeb	2015-02-17 04:38	118K
	minisat-dbgsym_2.2.1-5_armhf.ddeb	2014-07-30 17:15	120K
	minisat-dbgsym_2.2.1-5_arm64.ddeb	2014-07-30 17:45	125K
	minisat-dbgsym_2.2.1-5_amd64.ddeb	2015-02-17 04:37	124K