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		-
	coquelicot_0.9.2-2.d..>	2013-06-17 19:33	26K
	coquelicot_0.9.2-2.dsc	2013-06-17 19:33	2.2K
	coquelicot_0.9.2-2_a..>	2013-06-17 20:33	274K
	coquelicot_0.9.2.ori..>	2013-06-17 19:33	171K
	coquelicot_0.9.5-1.d..>	2015-10-24 05:36	34K
	coquelicot_0.9.5-1.dsc	2015-10-24 05:36	2.3K
	coquelicot_0.9.5-1_a..>	2015-10-24 08:51	315K
	coquelicot_0.9.5.ori..>	2015-10-24 05:36	183K
	coquelicot_0.9.6-1ub..>	2018-03-02 18:53	34K
	coquelicot_0.9.6-1ub..>	2018-03-02 18:53	2.2K
	coquelicot_0.9.6-1ub..>	2018-03-02 18:53	287K
	coquelicot_0.9.6.ori..>	2016-12-21 07:18	187K
	coquelicot_3.2.0-8bu..>	2023-02-17 02:50	2.4K
	coquelicot_3.2.0-8bu..>	2023-02-17 02:50	2.0K
	coquelicot_3.2.0.ori..>	2022-05-13 15:20	271K
	coquelicot_3.3.1-1bu..>	2023-07-25 01:37	1.9K
	coquelicot_3.3.1-1bu..>	2023-07-25 01:37	2.0K
	coquelicot_3.3.1.ori..>	2023-06-15 07:24	273K
	coquelicot_3.4.1-1bu..>	2024-04-08 15:57	2.3K
	coquelicot_3.4.1-1bu..>	2024-04-08 15:57	2.1K
	coquelicot_3.4.1-2bu..>	2024-05-14 02:39	2.1K
	coquelicot_3.4.1-2bu..>	2024-05-14 02:39	2.0K
	coquelicot_3.4.1.ori..>	2024-01-21 07:35	275K
	libcoq-coquelicot_3...>	2023-02-17 02:50	3.6M
	libcoq-coquelicot_3...>	2023-07-26 01:19	3.6M
	libcoq-coquelicot_3...>	2024-04-08 22:36	3.6M
	libcoq-coquelicot_3...>	2024-05-14 02:40	3.7M