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.

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory   -
[ ]coq-elpi_1.16.0-2.de..>2023-01-25 14:56 3.3K
[TXT]coq-elpi_1.16.0-2.dsc 2023-01-25 14:56 2.0K
[ ]coq-elpi_1.16.0.orig..>2022-11-20 23:35 416K
[ ]coq-elpi_1.19.3-2.de..>2024-01-03 16:01 3.6K
[TXT]coq-elpi_1.19.3-2.dsc 2024-01-03 16:01 1.8K
[ ]coq-elpi_1.19.3.orig..>2023-12-22 18:16 558K
[ ]coq-elpi_2.1.0-1.deb..>2024-04-26 21:46 3.6K
[TXT]coq-elpi_2.1.0-1.dsc 2024-04-26 21:46 2.0K
[ ]coq-elpi_2.1.0.orig...>2024-04-26 21:46 699K
[ ]coq-elpi_2.3.0-1.deb..>2024-12-19 00:07 3.7K
[TXT]coq-elpi_2.3.0-1.dsc 2024-12-19 00:07 2.0K
[ ]coq-elpi_2.3.0.orig...>2024-12-19 00:07 717K
[ ]coq-elpi_2.4.0-1.deb..>2025-02-18 00:37 3.7K
[TXT]coq-elpi_2.4.0-1.dsc 2025-02-18 00:37 2.0K
[ ]coq-elpi_2.4.0.orig...>2025-02-18 00:37 718K
[ ]libcoq-elpi_1.16.0-2..>2023-02-14 17:59 2.3M
[ ]libcoq-elpi_1.16.0-2..>2023-02-14 17:59 2.4M
[ ]libcoq-elpi_1.16.0-2..>2023-02-14 17:49 2.2M
[ ]libcoq-elpi_1.16.0-2..>2023-02-14 18:44 2.3M
[ ]libcoq-elpi_1.19.3-2..>2024-01-03 17:16 2.5M
[ ]libcoq-elpi_1.19.3-2..>2024-01-03 17:11 2.5M
[ ]libcoq-elpi_1.19.3-2..>2024-01-03 17:16 2.4M
[ ]libcoq-elpi_1.19.3-2..>2024-01-03 17:11 2.4M
[ ]libcoq-elpi_1.19.3-2..>2024-01-03 17:16 2.5M
[ ]libcoq-elpi_1.19.3-2..>2024-01-03 17:46 2.5M
[ ]libcoq-elpi_1.19.3-2..>2024-01-03 17:11 2.5M
[ ]libcoq-elpi_2.1.0-1+..>2024-10-12 15:22 2.7M
[ ]libcoq-elpi_2.1.0-1+..>2024-10-12 15:07 2.7M
[ ]libcoq-elpi_2.1.0-1+..>2024-10-12 15:22 2.8M
[ ]libcoq-elpi_2.1.0-1+..>2024-10-12 15:22 2.7M
[ ]libcoq-elpi_2.1.0-1+..>2024-10-12 18:45 2.7M
[ ]libcoq-elpi_2.3.0-1+..>2025-01-15 12:09 11M
[ ]libcoq-elpi_2.3.0-1+..>2025-01-15 12:14 11M
[ ]libcoq-elpi_2.3.0-1+..>2025-01-15 12:09 11M
[ ]libcoq-elpi_2.3.0-1+..>2025-01-15 14:47 12M
[ ]libcoq-elpi_2.3.0-1+..>2025-01-15 15:17 11M
[ ]libcoq-elpi_2.3.0-1+..>2025-01-29 01:31 11M
[ ]libcoq-elpi_2.3.0-1+..>2025-01-29 05:57 11M
[ ]libcoq-elpi_2.3.0-1+..>2025-01-29 00:34 11M
[ ]libcoq-elpi_2.3.0-1+..>2025-01-29 06:48 12M
[ ]libcoq-elpi_2.3.0-1+..>2025-01-30 14:51 11M
[ ]libcoq-elpi_2.3.0-1_..>2024-12-19 03:20 11M
[ ]libcoq-elpi_2.3.0-1_..>2024-12-19 03:35 11M
[ ]libcoq-elpi_2.3.0-1_..>2024-12-19 03:35 11M
[ ]libcoq-elpi_2.3.0-1_..>2024-12-19 04:16 12M
[ ]libcoq-elpi_2.3.0-1_..>2024-12-19 03:35 11M
[ ]libcoq-elpi_2.4.0-1+..>2025-02-18 21:36 12M
[ ]libcoq-elpi_2.4.0-1_..>2025-02-18 08:20 12M
[ ]libcoq-elpi_2.4.0-1_..>2025-02-18 08:51 12M
[ ]libcoq-elpi_2.4.0-1_..>2025-02-18 06:12 12M
[ ]libcoq-elpi_2.4.0-1_..>2025-02-18 08:46 13M