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.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-3bu..>	2024-09-17 23:51	2.3K
	coquelicot_3.4.1-3bu..>	2024-09-17 23:51	2.0K
	coquelicot_3.4.1.ori..>	2024-01-21 07:35	275K
	coquelicot_3.4.2-1bu..>	2024-12-20 22:16	2.3K
	coquelicot_3.4.2-1bu..>	2024-12-20 22:16	2.0K
	coquelicot_3.4.2.ori..>	2024-11-21 02:47	225K
	libcoq-coquelicot_3...>	2024-04-08 22:36	3.6M
	libcoq-coquelicot_3...>	2024-09-20 07:39	3.7M
	libcoq-coquelicot_3...>	2024-12-20 22:16	3.7M