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		-
	elpi_1.14.1-1.dsc	2022-02-09 13:35	2.1K
	elpi_1.17.4-3build1.dsc	2024-02-17 08:37	2.3K
	elpi_2.0.7-1build2.dsc	2025-08-31 20:37	2.4K
	elpi_2.0.7-1.dsc	2025-02-18 09:39	2.4K
	elpi_1.14.1-1.debian..>	2022-02-09 13:35	4.0K
	elpi_1.17.4-3build1...>	2024-02-17 08:37	4.5K
	elpi_2.0.7-1.debian...>	2025-02-18 09:39	5.0K
	elpi_2.0.7-1build2.d..>	2025-08-31 20:37	5.1K
	elpi_1.14.1-1_amd64.deb	2022-02-09 13:37	1.2M
	elpi_1.14.1.orig.tar.gz	2022-02-09 13:35	1.5M
	elpi_1.17.4-3build1_..>	2024-02-17 14:33	1.6M
	elpi_2.0.7-1build2_a..>	2025-09-01 07:39	2.0M
	elpi_2.0.7-1_amd64.deb	2025-02-18 09:40	2.0M
	libelpi-ocaml_1.14.1..>	2022-02-09 13:37	2.3M
	elpi_1.17.4.orig.tar.gz	2023-12-22 07:52	2.5M
	elpi_2.0.7.orig.tar.gz	2025-02-18 09:39	2.5M
	libelpi-ocaml_2.0.7-..>	2025-09-01 07:39	3.8M
	libelpi-ocaml_2.0.7-..>	2025-02-18 09:40	3.8M
	libelpi-ocaml_1.17.4..>	2024-02-17 14:33	4.6M
	libelpi-ocaml-dev_1...>	2022-02-09 13:37	8.0M
	libelpi-ocaml-dev_1...>	2024-02-17 14:33	11M
	libelpi-ocaml-dev_2...>	2025-09-01 07:39	15M
	libelpi-ocaml-dev_2...>	2025-02-18 09:40	15M