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   -
[TXT]eprover_2.6+ds-3.dsc 2022-07-14 06:03 1.9K
[TXT]eprover_3.2.5+ds-1.dsc 2024-10-19 05:19 1.9K
[TXT]eprover_3.0.03+ds-1.dsc2023-12-12 22:25 1.9K
[ ]eprover_3.2.5+ds-1.d..>2024-10-19 05:19 4.3K
[ ]eprover_3.0.03+ds-1...>2023-12-12 22:25 4.8K
[ ]eprover_2.6+ds-3.deb..>2022-07-14 06:03 10K
[ ]eprover_2.6+ds-3_arm..>2022-07-14 06:59 690K
[ ]eprover_3.2.5+ds-1_a..>2024-10-19 05:47 698K
[ ]eprover_3.2.5+ds-1_a..>2024-10-19 05:47 713K
[ ]eprover_2.6+ds-3_arm..>2022-07-14 06:59 719K
[ ]eprover_2.6+ds-3_arm..>2022-07-14 06:43 879K
[ ]eprover_2.6+ds-3_s39..>2022-07-14 07:15 889K
[ ]eprover_3.2.5+ds-1_a..>2024-10-19 05:47 904K
[ ]eprover_3.2.5+ds-1_s..>2024-10-19 05:47 926K
[ ]eprover_3.2.5+ds-1_m..>2024-10-19 07:54 953K
[ ]eprover_2.6+ds-3_amd..>2022-07-14 06:28 956K
[ ]eprover_2.6+ds-3_i38..>2022-07-14 06:44 960K
[ ]eprover_3.2.5+ds-1_r..>2024-10-19 09:55 972K
[ ]eprover_2.6+ds-3_mip..>2022-07-14 07:25 1.0M
[ ]eprover_2.6+ds-3_mip..>2022-07-14 07:25 1.0M
[ ]eprover_2.6+ds-3_ppc..>2022-07-14 06:59 1.0M
[ ]eprover_3.0.03+ds.or..>2023-12-12 22:25 1.0M
[ ]eprover_3.2.5+ds.ori..>2024-10-19 05:19 1.0M
[ ]eprover_3.0.03+ds-1_..>2023-12-12 23:51 1.0M
[ ]eprover_3.2.5+ds-1_p..>2024-10-19 05:47 1.0M
[ ]eprover_3.2.5+ds-1_i..>2024-10-19 05:47 1.0M
[ ]eprover_3.2.5+ds-1_a..>2024-10-19 05:47 1.0M
[ ]eprover_3.0.03+ds-1_..>2023-12-12 23:50 1.0M
[ ]eprover_2.6+ds.orig...>2022-07-11 05:22 1.0M
[ ]eprover_3.0.03+ds-1_..>2023-12-17 06:52 1.2M
[ ]eprover_3.0.03+ds-1_..>2023-12-12 23:50 1.2M
[ ]eprover_3.0.03+ds-1_..>2023-12-12 23:45 1.2M
[ ]eprover_3.0.03+ds-1_..>2023-12-12 23:45 1.3M
[ ]eprover_3.0.03+ds-1_..>2023-12-12 23:45 1.3M
[ ]eprover_3.0.03+ds-1+..>2024-01-04 04:26 1.4M
[ ]eprover_3.0.03+ds-1_..>2023-12-12 23:51 1.4M