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-quickchick_1.6.4..>2023-01-27 14:18 2.7K
[TXT]coq-quickchick_1.6.4..>2023-01-27 14:18 2.2K
[ ]coq-quickchick_1.6.4..>2022-08-15 14:38 379K
[ ]coq-quickchick_2.0.2..>2024-01-21 03:21 3.0K
[TXT]coq-quickchick_2.0.2..>2024-01-21 03:21 2.2K
[ ]coq-quickchick_2.0.2..>2024-01-21 03:21 406K
[ ]coq-quickchick_2.0.3..>2024-08-04 14:22 2.8K
[TXT]coq-quickchick_2.0.3..>2024-08-04 14:22 2.0K
[ ]coq-quickchick_2.0.3..>2024-05-01 05:09 402K
[ ]coq-quickchick_2.0.5..>2024-12-19 00:08 2.8K
[TXT]coq-quickchick_2.0.5..>2024-12-19 00:08 2.2K
[ ]coq-quickchick_2.0.5..>2024-12-19 00:08 403K
[ ]libcoq-quickchick_1...>2023-02-14 14:11 1.5M
[ ]libcoq-quickchick_1...>2023-02-14 14:11 1.5M
[ ]libcoq-quickchick_1...>2023-02-14 14:11 1.5M
[ ]libcoq-quickchick_1...>2023-02-14 14:16 1.5M
[ ]libcoq-quickchick_1...>2023-02-14 21:13 1.5M
[ ]libcoq-quickchick_1...>2023-02-14 14:26 1.5M
[ ]libcoq-quickchick_2...>2024-01-21 04:28 1.6M
[ ]libcoq-quickchick_2...>2024-01-21 04:33 1.7M
[ ]libcoq-quickchick_2...>2024-01-21 04:33 1.6M
[ ]libcoq-quickchick_2...>2024-01-21 04:23 1.6M
[ ]libcoq-quickchick_2...>2024-01-21 04:28 1.6M
[ ]libcoq-quickchick_2...>2024-01-21 04:38 1.6M
[ ]libcoq-quickchick_2...>2024-01-21 05:40 1.6M
[ ]libcoq-quickchick_2...>2024-10-13 19:49 4.1M
[ ]libcoq-quickchick_2...>2024-10-13 20:25 4.1M
[ ]libcoq-quickchick_2...>2024-10-13 20:45 4.1M
[ ]libcoq-quickchick_2...>2024-10-14 09:40 4.2M
[ ]libcoq-quickchick_2...>2024-10-13 19:59 4.1M
[ ]libcoq-quickchick_2...>2024-12-20 03:49 4.1M
[ ]libcoq-quickchick_2...>2024-12-20 05:31 4.1M
[ ]libcoq-quickchick_2...>2024-12-20 02:56 4.1M
[ ]libcoq-quickchick_2...>2024-12-20 03:49 4.2M
[ ]libcoq-quickchick_2...>2024-12-22 10:04 4.0M
[ ]libcoq-quickchick_2...>2025-01-15 14:42 4.1M
[ ]libcoq-quickchick_2...>2025-01-15 16:14 4.1M
[ ]libcoq-quickchick_2...>2025-01-15 15:17 4.1M
[ ]libcoq-quickchick_2...>2025-01-16 05:12 4.2M
[ ]libcoq-quickchick_2...>2025-01-15 19:06 4.0M
[ ]libcoq-quickchick_2...>2025-01-30 16:08 4.0M
[ ]libcoq-quickchick_2...>2025-01-30 17:08 4.0M
[ ]libcoq-quickchick_2...>2025-01-30 15:52 4.0M
[ ]libcoq-quickchick_2...>2025-01-31 07:59 4.2M
[ ]libcoq-quickchick_2...>2025-01-30 18:09 4.0M
[ ]libcoq-quickchick_2...>2025-02-15 00:34 4.0M
[ ]libcoq-quickchick_2...>2025-02-18 10:57 4.0M
[ ]libcoq-quickchick_2...>2025-02-18 13:49 4.0M
[ ]libcoq-quickchick_2...>2025-02-18 09:37 4.0M
[ ]libcoq-quickchick_2...>2025-02-18 23:29 4.2M
[ ]libcoq-quickchick_2...>2025-02-19 04:05 4.0M
[ ]quickchick_1.6.4-3+b..>2023-02-14 14:11 54K
[ ]quickchick_1.6.4-3+b..>2023-02-14 14:11 54K
[ ]quickchick_1.6.4-3+b..>2023-02-14 14:11 54K
[ ]quickchick_1.6.4-3+b..>2023-02-14 14:16 54K
[ ]quickchick_1.6.4-3+b..>2023-02-14 21:13 54K
[ ]quickchick_1.6.4-3+b..>2023-02-14 14:26 54K
[ ]quickchick_2.0.2-1_a..>2024-01-21 04:28 57K
[ ]quickchick_2.0.2-1_a..>2024-01-21 04:33 57K
[ ]quickchick_2.0.2-1_a..>2024-01-21 04:33 57K
[ ]quickchick_2.0.2-1_i..>2024-01-21 04:23 57K
[ ]quickchick_2.0.2-1_p..>2024-01-21 04:28 57K
[ ]quickchick_2.0.2-1_r..>2024-01-21 04:38 57K
[ ]quickchick_2.0.2-1_s..>2024-01-21 05:40 57K
[ ]quickchick_2.0.3-3+b..>2024-10-13 19:49 472K
[ ]quickchick_2.0.3-3+b..>2024-10-13 20:25 512K
[ ]quickchick_2.0.3-3+b..>2024-10-13 20:45 486K
[ ]quickchick_2.0.3-3+b..>2024-10-14 09:40 487K
[ ]quickchick_2.0.3-3+b..>2024-10-13 19:59 475K
[ ]quickchick_2.0.5-1+b..>2024-12-20 03:49 470K
[ ]quickchick_2.0.5-1+b..>2024-12-20 05:31 514K
[ ]quickchick_2.0.5-1+b..>2024-12-20 02:56 486K
[ ]quickchick_2.0.5-1+b..>2024-12-20 03:49 488K
[ ]quickchick_2.0.5-1+b..>2024-12-22 10:04 476K
[ ]quickchick_2.0.5-1+b..>2025-01-15 14:42 469K
[ ]quickchick_2.0.5-1+b..>2025-01-15 16:14 513K
[ ]quickchick_2.0.5-1+b..>2025-01-15 15:17 487K
[ ]quickchick_2.0.5-1+b..>2025-01-16 05:12 489K
[ ]quickchick_2.0.5-1+b..>2025-01-15 19:06 477K
[ ]quickchick_2.0.5-1+b..>2025-01-30 16:08 480K
[ ]quickchick_2.0.5-1+b..>2025-01-30 17:08 523K
[ ]quickchick_2.0.5-1+b..>2025-01-30 15:52 499K
[ ]quickchick_2.0.5-1+b..>2025-01-31 07:59 499K
[ ]quickchick_2.0.5-1+b..>2025-01-30 18:09 487K
[ ]quickchick_2.0.5-1+b..>2025-02-15 00:34 487K
[ ]quickchick_2.0.5-1+b..>2025-02-18 10:57 481K
[ ]quickchick_2.0.5-1+b..>2025-02-18 13:49 525K
[ ]quickchick_2.0.5-1+b..>2025-02-18 09:37 499K
[ ]quickchick_2.0.5-1+b..>2025-02-18 23:29 501K
[ ]quickchick_2.0.5-1+b..>2025-02-19 04:05 486K