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-theories_8.9.0-1..>2019-02-07 02:49 28M
[ ]coq-theories_8.9.0-1..>2019-02-07 04:26 19M
[ ]coq-theories_8.9.0-1..>2019-02-07 09:44 19M
[ ]coq-theories_8.9.0-1..>2019-02-08 05:15 19M
[ ]coq-theories_8.9.0-1..>2019-02-07 04:21 27M
[ ]coq-theories_8.9.0-1..>2019-02-07 11:15 19M
[ ]coq-theories_8.9.0-1..>2019-02-09 16:29 19M
[ ]coq-theories_8.9.0-1..>2019-02-07 08:59 19M
[ ]coq-theories_8.9.0-1..>2019-02-07 04:00 19M
[ ]coq-theories_8.9.0-1..>2019-02-07 04:00 19M
[ ]coq-theories_8.12.0-..>2020-11-25 15:28 35M
[ ]coq-theories_8.12.0-..>2020-11-25 15:58 23M
[ ]coq-theories_8.12.0-..>2020-11-26 01:44 23M
[ ]coq-theories_8.12.0-..>2020-11-25 15:43 23M
[ ]coq-theories_8.12.0-..>2020-11-25 15:18 34M
[ ]coq-theories_8.12.0-..>2020-11-26 00:41 23M
[ ]coq-theories_8.12.0-..>2020-11-26 08:43 23M
[ ]coq-theories_8.12.0-..>2020-11-25 15:28 23M
[ ]coq_8.9.0-1.debian.t..>2019-02-07 02:49 27K
[TXT]coq_8.9.0-1.dsc 2019-02-07 02:49 2.4K
[ ]coq_8.9.0-1_amd64.deb 2019-02-07 02:49 56M
[ ]coq_8.9.0-1_arm64.deb 2019-02-07 04:26 60M
[ ]coq_8.9.0-1_armel.deb 2019-02-07 09:44 48M
[ ]coq_8.9.0-1_armhf.deb 2019-02-08 05:15 55M
[ ]coq_8.9.0-1_i386.deb 2019-02-07 04:21 54M
[ ]coq_8.9.0-1_mips.deb 2019-02-07 11:15 48M
[ ]coq_8.9.0-1_mips64el..>2019-02-09 16:29 48M
[ ]coq_8.9.0-1_mipsel.deb 2019-02-07 08:59 48M
[ ]coq_8.9.0-1_ppc64el.deb2019-02-07 04:00 58M
[ ]coq_8.9.0-1_s390x.deb 2019-02-07 04:00 56M
[ ]coq_8.9.0.orig.tar.gz 2019-02-07 02:49 5.1M
[ ]coq_8.12.0-3+b3_amd6..>2020-11-25 15:28 86M
[ ]coq_8.12.0-3+b3_arm6..>2020-11-25 15:58 92M
[ ]coq_8.12.0-3+b3_arme..>2020-11-26 01:44 101M
[ ]coq_8.12.0-3+b3_armh..>2020-11-25 15:43 84M
[ ]coq_8.12.0-3+b3_i386..>2020-11-25 15:18 84M
[ ]coq_8.12.0-3+b3_mips..>2020-11-26 00:41 101M
[ ]coq_8.12.0-3+b3_mips..>2020-11-26 08:43 101M
[ ]coq_8.12.0-3+b3_ppc6..>2020-11-25 15:28 87M
[ ]coq_8.12.0-3.debian...>2020-09-10 14:38 37K
[TXT]coq_8.12.0-3.dsc 2020-09-10 14:38 2.4K
[ ]coq_8.12.0.orig.tar.gz 2020-08-22 17:26 5.7M
[ ]coq_8.16.1+dfsg-1+b2..>2023-02-13 09:14 89M
[ ]coq_8.16.1+dfsg-1+b2..>2023-02-13 09:55 97M
[ ]coq_8.16.1+dfsg-1+b2..>2023-02-13 09:55 86M
[ ]coq_8.16.1+dfsg-1+b2..>2023-02-13 09:29 83M
[ ]coq_8.16.1+dfsg-1+b2..>2023-02-13 11:13 90M
[ ]coq_8.16.1+dfsg-1+b2..>2023-02-13 09:45 89M
[ ]coq_8.16.1+dfsg-1.de..>2022-11-29 16:35 32K
[TXT]coq_8.16.1+dfsg-1.dsc 2022-11-29 16:35 2.6K
[ ]coq_8.16.1+dfsg.orig..>2022-11-29 16:35 4.5M
[ ]coq_8.18.0+dfsg-1.de..>2023-12-21 21:58 32K
[TXT]coq_8.18.0+dfsg-1.dsc 2023-12-21 21:58 2.5K
[ ]coq_8.18.0+dfsg-1_am..>2023-12-22 01:16 78M
[ ]coq_8.18.0+dfsg-1_ar..>2023-12-21 23:19 84M
[ ]coq_8.18.0+dfsg-1_ar..>2023-12-21 23:24 75M
[ ]coq_8.18.0+dfsg-1_i3..>2023-12-22 02:21 74M
[ ]coq_8.18.0+dfsg-1_pp..>2023-12-22 00:50 78M
[ ]coq_8.18.0+dfsg-1_ri..>2023-12-22 08:09 77M
[ ]coq_8.18.0+dfsg-1_s3..>2023-12-21 23:14 77M
[ ]coq_8.18.0+dfsg.orig..>2023-12-21 21:58 4.6M
[ ]coq_8.19.1+dfsg-3+b2..>2024-08-21 02:10 83M
[ ]coq_8.19.1+dfsg-3+b2..>2024-08-21 02:16 88M
[ ]coq_8.19.1+dfsg-3+b2..>2024-08-21 03:44 84M
[ ]coq_8.19.1+dfsg-3+b2..>2024-08-21 02:47 83M
[ ]coq_8.19.1+dfsg-3+b3..>2024-08-30 14:07 83M
[ ]coq_8.19.1+dfsg-3.de..>2024-08-03 15:53 32K
[TXT]coq_8.19.1+dfsg-3.dsc 2024-08-03 15:53 2.3K
[ ]coq_8.19.1+dfsg.orig..>2024-04-26 21:46 5.3M
[ ]coq_8.20.0+dfsg-1+b1..>2025-01-29 01:00 67M
[ ]coq_8.20.0+dfsg-1+b1..>2025-01-29 04:47 71M
[ ]coq_8.20.0+dfsg-1+b1..>2025-01-29 00:09 67M
[ ]coq_8.20.0+dfsg-1+b1..>2025-01-29 04:57 68M
[ ]coq_8.20.0+dfsg-1+b1..>2025-01-30 13:46 68M
[ ]coq_8.20.0+dfsg-1.de..>2024-11-20 17:52 29K
[TXT]coq_8.20.0+dfsg-1.dsc 2024-11-20 17:52 2.5K
[ ]coq_8.20.0+dfsg-1_am..>2024-11-20 18:33 73M
[ ]coq_8.20.0+dfsg-1_ar..>2024-11-20 18:58 77M
[ ]coq_8.20.0+dfsg-1_pp..>2024-11-20 19:00 74M
[ ]coq_8.20.0+dfsg-1_ri..>2024-11-20 21:10 74M
[ ]coq_8.20.0+dfsg-1_s3..>2024-11-20 23:02 74M
[ ]coq_8.20.0+dfsg.orig..>2024-11-20 17:52 4.8M
[ ]coq_8.20.1+dfsg-1.de..>2025-02-18 00:37 30K
[TXT]coq_8.20.1+dfsg-1.dsc 2025-02-18 00:37 2.5K
[ ]coq_8.20.1+dfsg-1_am..>2025-02-18 01:12 67M
[ ]coq_8.20.1+dfsg-1_ar..>2025-02-18 01:33 71M
[ ]coq_8.20.1+dfsg-1_pp..>2025-02-18 01:28 68M
[ ]coq_8.20.1+dfsg-1_ri..>2025-02-18 07:39 68M
[ ]coq_8.20.1+dfsg-1_s3..>2025-02-18 12:34 68M
[ ]coq_8.20.1+dfsg.orig..>2025-02-18 00:37 4.8M
[ ]coqide_8.12.0-3+b3_a..>2020-11-25 15:28 1.8M
[ ]coqide_8.12.0-3+b3_a..>2020-11-25 15:58 2.1M
[ ]coqide_8.12.0-3+b3_a..>2020-11-26 01:44 46K
[ ]coqide_8.12.0-3+b3_a..>2020-11-25 15:43 1.7M
[ ]coqide_8.12.0-3+b3_i..>2020-11-25 15:18 1.6M
[ ]coqide_8.12.0-3+b3_m..>2020-11-26 00:41 46K
[ ]coqide_8.12.0-3+b3_m..>2020-11-26 08:43 46K
[ ]coqide_8.12.0-3+b3_p..>2020-11-25 15:28 1.9M
[ ]coqide_8.16.1+dfsg-1..>2023-02-13 09:14 1.9M
[ ]coqide_8.16.1+dfsg-1..>2023-02-13 09:55 2.2M
[ ]coqide_8.16.1+dfsg-1..>2023-02-13 09:55 1.7M
[ ]coqide_8.16.1+dfsg-1..>2023-02-13 09:29 1.7M
[ ]coqide_8.16.1+dfsg-1..>2023-02-13 11:13 2.0M
[ ]coqide_8.16.1+dfsg-1..>2023-02-13 09:45 1.9M
[ ]coqide_8.18.0+dfsg-1..>2023-12-22 01:16 1.9M
[ ]coqide_8.18.0+dfsg-1..>2023-12-21 23:19 2.2M
[ ]coqide_8.18.0+dfsg-1..>2023-12-21 23:24 1.8M
[ ]coqide_8.18.0+dfsg-1..>2023-12-22 02:21 1.7M
[ ]coqide_8.18.0+dfsg-1..>2023-12-22 00:50 2.0M
[ ]coqide_8.18.0+dfsg-1..>2023-12-22 08:09 1.9M
[ ]coqide_8.18.0+dfsg-1..>2023-12-21 23:14 1.9M
[ ]coqide_8.19.1+dfsg-3..>2024-08-21 02:10 2.1M
[ ]coqide_8.19.1+dfsg-3..>2024-08-21 02:16 2.4M
[ ]coqide_8.19.1+dfsg-3..>2024-08-21 03:44 2.1M
[ ]coqide_8.19.1+dfsg-3..>2024-08-21 02:47 2.1M
[ ]coqide_8.19.1+dfsg-3..>2024-08-30 14:07 2.1M
[ ]coqide_8.20.0+dfsg-1..>2025-01-29 01:00 1.8M
[ ]coqide_8.20.0+dfsg-1..>2025-01-29 04:47 2.1M
[ ]coqide_8.20.0+dfsg-1..>2025-01-29 00:09 1.9M
[ ]coqide_8.20.0+dfsg-1..>2025-01-29 04:57 1.9M
[ ]coqide_8.20.0+dfsg-1..>2025-01-30 13:46 1.9M
[ ]coqide_8.20.0+dfsg-1..>2024-11-20 18:33 1.8M
[ ]coqide_8.20.0+dfsg-1..>2024-11-20 18:58 2.1M
[ ]coqide_8.20.0+dfsg-1..>2024-11-20 19:00 1.9M
[ ]coqide_8.20.0+dfsg-1..>2024-11-20 21:10 1.9M
[ ]coqide_8.20.0+dfsg-1..>2024-11-20 23:02 1.9M
[ ]coqide_8.20.1+dfsg-1..>2025-02-18 01:12 1.8M
[ ]coqide_8.20.1+dfsg-1..>2025-02-18 01:33 2.1M
[ ]coqide_8.20.1+dfsg-1..>2025-02-18 01:28 1.9M
[ ]coqide_8.20.1+dfsg-1..>2025-02-18 07:39 1.9M
[ ]coqide_8.20.1+dfsg-1..>2025-02-18 12:34 1.9M
[ ]libcoq-core-ocaml-de..>2023-02-13 09:14 41M
[ ]libcoq-core-ocaml-de..>2023-02-13 09:55 41M
[ ]libcoq-core-ocaml-de..>2023-02-13 09:55 41M
[ ]libcoq-core-ocaml-de..>2023-02-13 09:29 40M
[ ]libcoq-core-ocaml-de..>2023-02-13 11:13 42M
[ ]libcoq-core-ocaml-de..>2023-02-13 09:45 40M
[ ]libcoq-core-ocaml-de..>2023-12-22 01:16 42M
[ ]libcoq-core-ocaml-de..>2023-12-21 23:19 42M
[ ]libcoq-core-ocaml-de..>2023-12-21 23:24 43M
[ ]libcoq-core-ocaml-de..>2023-12-22 02:21 42M
[ ]libcoq-core-ocaml-de..>2023-12-22 00:50 43M
[ ]libcoq-core-ocaml-de..>2023-12-22 08:09 47M
[ ]libcoq-core-ocaml-de..>2023-12-21 23:14 42M
[ ]libcoq-core-ocaml-de..>2024-08-21 02:10 64M
[ ]libcoq-core-ocaml-de..>2024-08-21 02:16 64M
[ ]libcoq-core-ocaml-de..>2024-08-21 03:44 69M
[ ]libcoq-core-ocaml-de..>2024-08-21 02:47 64M
[ ]libcoq-core-ocaml-de..>2024-08-30 14:07 65M
[ ]libcoq-core-ocaml-de..>2025-01-29 01:00 66M
[ ]libcoq-core-ocaml-de..>2025-01-29 04:47 65M
[ ]libcoq-core-ocaml-de..>2025-01-29 00:09 66M
[ ]libcoq-core-ocaml-de..>2025-01-29 04:57 70M
[ ]libcoq-core-ocaml-de..>2025-01-30 13:46 65M
[ ]libcoq-core-ocaml-de..>2024-11-20 18:33 66M
[ ]libcoq-core-ocaml-de..>2024-11-20 18:58 66M
[ ]libcoq-core-ocaml-de..>2024-11-20 19:00 67M
[ ]libcoq-core-ocaml-de..>2024-11-20 21:10 71M
[ ]libcoq-core-ocaml-de..>2024-11-20 23:02 66M
[ ]libcoq-core-ocaml-de..>2025-02-18 01:12 66M
[ ]libcoq-core-ocaml-de..>2025-02-18 01:33 65M
[ ]libcoq-core-ocaml-de..>2025-02-18 01:28 66M
[ ]libcoq-core-ocaml-de..>2025-02-18 07:39 70M
[ ]libcoq-core-ocaml-de..>2025-02-18 12:34 65M
[ ]libcoq-core-ocaml_8...>2023-02-13 09:14 22M
[ ]libcoq-core-ocaml_8...>2023-02-13 09:55 22M
[ ]libcoq-core-ocaml_8...>2023-02-13 09:55 21M
[ ]libcoq-core-ocaml_8...>2023-02-13 09:29 21M
[ ]libcoq-core-ocaml_8...>2023-02-13 11:13 22M
[ ]libcoq-core-ocaml_8...>2023-02-13 09:45 22M
[ ]libcoq-core-ocaml_8...>2023-12-22 01:16 22M
[ ]libcoq-core-ocaml_8...>2023-12-21 23:19 23M
[ ]libcoq-core-ocaml_8...>2023-12-21 23:24 22M
[ ]libcoq-core-ocaml_8...>2023-12-22 02:21 21M
[ ]libcoq-core-ocaml_8...>2023-12-22 00:50 22M
[ ]libcoq-core-ocaml_8...>2023-12-22 08:09 22M
[ ]libcoq-core-ocaml_8...>2023-12-21 23:14 22M
[ ]libcoq-core-ocaml_8...>2024-08-21 02:10 24M
[ ]libcoq-core-ocaml_8...>2024-08-21 02:16 24M
[ ]libcoq-core-ocaml_8...>2024-08-21 03:44 24M
[ ]libcoq-core-ocaml_8...>2024-08-21 02:47 24M
[ ]libcoq-core-ocaml_8...>2024-08-30 14:07 24M
[ ]libcoq-core-ocaml_8...>2025-01-29 01:00 25M
[ ]libcoq-core-ocaml_8...>2025-01-29 04:47 25M
[ ]libcoq-core-ocaml_8...>2025-01-29 00:09 25M
[ ]libcoq-core-ocaml_8...>2025-01-29 04:57 25M
[ ]libcoq-core-ocaml_8...>2025-01-30 13:46 25M
[ ]libcoq-core-ocaml_8...>2024-11-20 18:33 25M
[ ]libcoq-core-ocaml_8...>2024-11-20 18:58 25M
[ ]libcoq-core-ocaml_8...>2024-11-20 19:00 25M
[ ]libcoq-core-ocaml_8...>2024-11-20 21:10 25M
[ ]libcoq-core-ocaml_8...>2024-11-20 23:02 25M
[ ]libcoq-core-ocaml_8...>2025-02-18 01:12 25M
[ ]libcoq-core-ocaml_8...>2025-02-18 01:33 25M
[ ]libcoq-core-ocaml_8...>2025-02-18 01:28 25M
[ ]libcoq-core-ocaml_8...>2025-02-18 07:39 25M
[ ]libcoq-core-ocaml_8...>2025-02-18 12:34 25M
[ ]libcoq-ocaml-dev_8.9..>2019-02-07 02:49 13M
[ ]libcoq-ocaml-dev_8.9..>2019-02-07 04:26 13M
[ ]libcoq-ocaml-dev_8.9..>2019-02-07 09:44 7.6M
[ ]libcoq-ocaml-dev_8.9..>2019-02-08 05:15 14M
[ ]libcoq-ocaml-dev_8.9..>2019-02-07 04:21 13M
[ ]libcoq-ocaml-dev_8.9..>2019-02-07 11:15 7.6M
[ ]libcoq-ocaml-dev_8.9..>2019-02-09 16:29 7.6M
[ ]libcoq-ocaml-dev_8.9..>2019-02-07 08:59 7.6M
[ ]libcoq-ocaml-dev_8.9..>2019-02-07 04:00 13M
[ ]libcoq-ocaml-dev_8.9..>2019-02-07 04:00 13M
[ ]libcoq-ocaml-dev_8.1..>2020-11-25 15:28 18M
[ ]libcoq-ocaml-dev_8.1..>2020-11-25 15:58 18M
[ ]libcoq-ocaml-dev_8.1..>2020-11-26 01:44 11M
[ ]libcoq-ocaml-dev_8.1..>2020-11-25 15:43 18M
[ ]libcoq-ocaml-dev_8.1..>2020-11-25 15:18 18M
[ ]libcoq-ocaml-dev_8.1..>2020-11-26 00:41 11M
[ ]libcoq-ocaml-dev_8.1..>2020-11-26 08:43 11M
[ ]libcoq-ocaml-dev_8.1..>2020-11-25 15:28 19M
[ ]libcoq-ocaml_8.9.0-1..>2019-02-07 02:49 5.2M
[ ]libcoq-ocaml_8.9.0-1..>2019-02-07 04:26 5.5M
[ ]libcoq-ocaml_8.9.0-1..>2019-02-07 09:44 3.4M
[ ]libcoq-ocaml_8.9.0-1..>2019-02-08 05:15 5.1M
[ ]libcoq-ocaml_8.9.0-1..>2019-02-07 04:21 4.9M
[ ]libcoq-ocaml_8.9.0-1..>2019-02-07 11:15 3.4M
[ ]libcoq-ocaml_8.9.0-1..>2019-02-09 16:29 3.4M
[ ]libcoq-ocaml_8.9.0-1..>2019-02-07 08:59 3.4M
[ ]libcoq-ocaml_8.9.0-1..>2019-02-07 04:00 5.3M
[ ]libcoq-ocaml_8.9.0-1..>2019-02-07 04:00 5.3M
[ ]libcoq-ocaml_8.12.0-..>2020-11-25 15:28 7.4M
[ ]libcoq-ocaml_8.12.0-..>2020-11-25 15:58 7.6M
[ ]libcoq-ocaml_8.12.0-..>2020-11-26 01:44 5.2M
[ ]libcoq-ocaml_8.12.0-..>2020-11-25 15:43 7.4M
[ ]libcoq-ocaml_8.12.0-..>2020-11-25 15:18 7.2M
[ ]libcoq-ocaml_8.12.0-..>2020-11-26 00:41 5.2M
[ ]libcoq-ocaml_8.12.0-..>2020-11-26 08:43 5.2M
[ ]libcoq-ocaml_8.12.0-..>2020-11-25 15:28 7.5M
[ ]libcoq-stdlib_8.16.1..>2023-02-13 09:14 21M
[ ]libcoq-stdlib_8.16.1..>2023-02-13 09:55 21M
[ ]libcoq-stdlib_8.16.1..>2023-02-13 09:55 21M
[ ]libcoq-stdlib_8.16.1..>2023-02-13 09:29 21M
[ ]libcoq-stdlib_8.16.1..>2023-02-13 11:13 21M
[ ]libcoq-stdlib_8.16.1..>2023-02-13 09:45 21M
[ ]libcoq-stdlib_8.18.0..>2023-12-22 01:16 22M
[ ]libcoq-stdlib_8.18.0..>2023-12-21 23:19 22M
[ ]libcoq-stdlib_8.18.0..>2023-12-21 23:24 22M
[ ]libcoq-stdlib_8.18.0..>2023-12-22 02:21 22M
[ ]libcoq-stdlib_8.18.0..>2023-12-22 00:50 22M
[ ]libcoq-stdlib_8.18.0..>2023-12-22 08:09 22M
[ ]libcoq-stdlib_8.18.0..>2023-12-21 23:14 22M
[ ]libcoq-stdlib_8.19.1..>2024-08-21 02:10 23M
[ ]libcoq-stdlib_8.19.1..>2024-08-21 02:16 23M
[ ]libcoq-stdlib_8.19.1..>2024-08-21 03:44 23M
[ ]libcoq-stdlib_8.19.1..>2024-08-21 02:47 23M
[ ]libcoq-stdlib_8.19.1..>2024-08-30 14:07 23M
[ ]libcoq-stdlib_8.20.0..>2025-01-29 01:00 22M
[ ]libcoq-stdlib_8.20.0..>2025-01-29 04:47 22M
[ ]libcoq-stdlib_8.20.0..>2025-01-29 00:09 22M
[ ]libcoq-stdlib_8.20.0..>2025-01-29 04:57 22M
[ ]libcoq-stdlib_8.20.0..>2025-01-30 13:46 22M
[ ]libcoq-stdlib_8.20.0..>2024-11-20 18:33 22M
[ ]libcoq-stdlib_8.20.0..>2024-11-20 18:58 22M
[ ]libcoq-stdlib_8.20.0..>2024-11-20 19:00 22M
[ ]libcoq-stdlib_8.20.0..>2024-11-20 21:10 22M
[ ]libcoq-stdlib_8.20.0..>2024-11-20 23:02 22M
[ ]libcoq-stdlib_8.20.1..>2025-02-18 01:12 22M
[ ]libcoq-stdlib_8.20.1..>2025-02-18 01:33 22M
[ ]libcoq-stdlib_8.20.1..>2025-02-18 01:28 22M
[ ]libcoq-stdlib_8.20.1..>2025-02-18 07:39 22M
[ ]libcoq-stdlib_8.20.1..>2025-02-18 12:34 22M