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-hott_8.16-2.debi..>2023-01-25 15:12 2.5K
[TXT]coq-hott_8.16-2.dsc 2023-01-25 15:12 2.0K
[   ]coq-hott_8.16.orig.t..>2022-09-06 17:09 848K
[   ]coq-hott_8.18-3.debi..>2023-12-22 18:16 2.8K
[TXT]coq-hott_8.18-3.dsc 2023-12-22 18:16 2.0K
[   ]coq-hott_8.18.orig.t..>2023-09-01 20:20 888K
[   ]coq-hott_8.19-2.debi..>2024-08-03 23:44 2.9K
[TXT]coq-hott_8.19-2.dsc 2024-08-03 23:44 1.8K
[   ]coq-hott_8.19.orig.t..>2024-04-26 21:51 961K
[   ]coq-hott_8.20-1.debi..>2024-11-20 17:57 2.9K
[TXT]coq-hott_8.20-1.dsc 2024-11-20 17:57 2.0K
[   ]coq-hott_8.20.orig.t..>2024-11-20 17:57 1.0M
[   ]coq-hott_9.0-1.debia..>2025-02-18 00:37 2.9K
[TXT]coq-hott_9.0-1.dsc 2025-02-18 00:37 2.0K
[   ]coq-hott_9.0.orig.ta..>2025-02-18 00:37 1.1M
[   ]libcoq-hott_8.16-2+b..>2023-02-13 13:27 13M
[   ]libcoq-hott_8.16-2+b..>2023-02-13 13:26 13M
[   ]libcoq-hott_8.16-2+b..>2023-02-13 13:27 13M
[   ]libcoq-hott_8.16-2+b..>2023-02-13 13:26 13M
[   ]libcoq-hott_8.16-2+b..>2023-02-13 13:26 13M
[   ]libcoq-hott_8.16-2+b..>2023-02-13 13:26 13M
[   ]libcoq-hott_8.18-3_a..>2023-12-22 19:07 12M
[   ]libcoq-hott_8.18-3_a..>2023-12-22 18:57 12M
[   ]libcoq-hott_8.18-3_a..>2023-12-22 18:57 12M
[   ]libcoq-hott_8.18-3_i..>2023-12-22 19:07 12M
[   ]libcoq-hott_8.18-3_p..>2023-12-22 18:57 12M
[   ]libcoq-hott_8.18-3_r..>2023-12-23 00:03 12M
[   ]libcoq-hott_8.18-3_s..>2023-12-22 18:57 12M
[   ]libcoq-hott_8.19-2+b..>2024-08-21 11:48 14M
[   ]libcoq-hott_8.19-2+b..>2024-08-21 11:54 14M
[   ]libcoq-hott_8.19-2+b..>2024-08-21 13:36 14M
[   ]libcoq-hott_8.19-2+b..>2024-08-30 23:10 14M
[   ]libcoq-hott_8.19-2+b..>2024-08-21 12:04 14M
[   ]libcoq-hott_8.20-1+b..>2024-11-21 00:40 14M
[   ]libcoq-hott_8.20-1+b..>2024-11-21 00:40 14M
[   ]libcoq-hott_8.20-1+b..>2025-01-30 22:43 14M
[   ]libcoq-hott_8.20-1+b..>2024-11-21 11:56 14M
[   ]libcoq-hott_8.20-1+b..>2024-11-21 00:41 14M
[   ]libcoq-hott_8.20-1+b..>2025-01-30 15:21 14M
[   ]libcoq-hott_8.20-1+b..>2025-01-30 15:16 14M
[   ]libcoq-hott_8.20-1+b..>2025-01-30 15:42 14M
[   ]libcoq-hott_8.20-1+b..>2025-01-30 15:22 14M
[   ]libcoq-hott_8.20-1_r..>2024-11-20 23:17 14M
[   ]libcoq-hott_9.0-1+b1..>2025-02-18 08:15 14M
[   ]libcoq-hott_9.0-1+b1..>2025-02-18 08:35 14M
[   ]libcoq-hott_9.0-1+b1..>2025-02-18 08:20 14M
[   ]libcoq-hott_9.0-1+b1..>2025-02-18 10:17 14M
[   ]libcoq-hott_9.0-1+b1..>2025-02-18 23:55 14M