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		-
	minisat2_2.2.1-5+b3_..>	2017-03-07 19:27	5.1K
	minisat2_2.2.1-5+b3_..>	2017-03-07 19:11	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:57	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 20:13	5.1K
	minisat2_2.2.1-5+b3_..>	2017-03-07 20:44	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.deb..>	2014-07-30 18:01	9.1K
	minisat2_2.2.1-5.dsc	2014-07-30 18:01	1.8K
	minisat2_2.2.1-5_ris..>	2023-07-29 01:38	4.1K
	minisat2_2.2.1.orig...>	2011-03-29 22:07	43K
	minisat_2.2.1-5+b3_a..>	2017-03-07 19:27	83K
	minisat_2.2.1-5+b3_a..>	2017-03-07 19:11	80K
	minisat_2.2.1-5+b3_a..>	2017-03-07 20:13	77K
	minisat_2.2.1-5+b3_a..>	2017-03-07 19:57	76K
	minisat_2.2.1-5+b3_i..>	2017-03-07 19:27	91K
	minisat_2.2.1-5+b3_m..>	2017-03-07 19:27	88K
	minisat_2.2.1-5+b3_m..>	2017-03-07 20:13	89K
	minisat_2.2.1-5+b3_m..>	2017-03-07 20:44	89K
	minisat_2.2.1-5+b3_p..>	2017-03-07 19:27	86K
	minisat_2.2.1-5+b3_s..>	2017-03-07 19:27	81K
	minisat_2.2.1-5_risc..>	2023-07-29 01:38	147K