Welcome to the Rise Mirror

Files can be downloaded using http://mirror.rise.ph and ftp://mirror.rise.ph
Please Note: Mirror is currently undergoing maintenance so you may find some repositories are not up to date.

	Name	Last modified	Size
	Parent Directory		-
	minisat_2.2.1-8_s390..>	2024-02-27 01:18	83K
	minisat_2.2.1-8_risc..>	2024-02-27 03:39	147K
	minisat_2.2.1-8_ppc6..>	2024-02-27 01:23	87K
	minisat_2.2.1-8_mips..>	2024-02-27 02:29	86K
	minisat_2.2.1-8_i386..>	2024-02-27 01:23	90K
	minisat_2.2.1-8_armh..>	2024-02-27 01:23	75K
	minisat_2.2.1-8_arme..>	2024-02-27 01:23	76K
	minisat_2.2.1-8_amd6..>	2024-02-27 01:23	81K
	minisat_2.2.1-8+b2_a..>	2025-04-08 02:41	83K
	minisat_2.2.1-5_risc..>	2023-07-29 01:38	147K
	minisat_2.2.1-5+b3_s..>	2017-03-07 19:27	81K
	minisat_2.2.1-5+b3_p..>	2017-03-07 19:27	86K
	minisat_2.2.1-5+b3_m..>	2017-03-07 20:44	89K
	minisat_2.2.1-5+b3_m..>	2017-03-07 20:13	89K
	minisat_2.2.1-5+b3_m..>	2017-03-07 19:27	88K
	minisat_2.2.1-5+b3_i..>	2017-03-07 19:27	91K
	minisat_2.2.1-5+b3_a..>	2017-03-07 19:57	76K
	minisat_2.2.1-5+b3_a..>	2017-03-07 20:13	77K
	minisat_2.2.1-5+b3_a..>	2017-03-07 19:11	80K
	minisat_2.2.1-5+b3_a..>	2017-03-07 19:27	83K
	minisat2_2.2.1.orig...>	2011-03-29 22:07	43K
	minisat2_2.2.1-8.dsc	2024-02-27 01:03	1.7K
	minisat2_2.2.1-8.deb..>	2024-02-27 01:03	9.6K
	minisat2_2.2.1-5_ris..>	2023-07-29 01:38	4.1K
	minisat2_2.2.1-5.dsc	2014-07-30 18:01	1.8K
	minisat2_2.2.1-5.deb..>	2014-07-30 18:01	9.1K
	minisat2_2.2.1-5+b3_..>	2017-03-07 19:27	5.1K
	minisat2_2.2.1-5+b3_..>	2017-03-07 19:27	5.1K
	minisat2_2.2.1-5+b3_..>	2017-03-07 20:44	5.1K
	minisat2_2.2.1-5+b3_..>	2017-03-07 20:13	5.1K
	minisat2_2.2.1-5+b3_..>	2017-03-07 19:27	5.1K
	minisat2_2.2.1-5+b3_..>	2017-03-07 19:27	5.1K
	minisat2_2.2.1-5+b3_..>	2017-03-07 19:57	5.1K
	minisat2_2.2.1-5+b3_..>	2017-03-07 20:13	5.1K
	minisat2_2.2.1-5+b3_..>	2017-03-07 19:11	5.1K
	minisat2_2.2.1-5+b3_..>	2017-03-07 19:27	5.1K