Index of /mirror/ubuntu-ports/pool/universe/c/coq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-theories_8.11.0-1_arm64.deb 20M06-Mar-2020 09:13
coq-theories_8.11.0-1_ppc64el.deb 20M11-Mar-2020 10:53
coq-theories_8.4pl3dfsg-1_all.deb 30M19-Jan-2014 23:58
coq-theories_8.4pl4dfsg-3build2_all.deb 31M04-Nov-2015 14:04
coq-theories_8.6-5build1_arm64.deb 22M28-Oct-2017 16:20
coq-theories_8.6-5build1_armhf.deb 22M28-Oct-2017 16:20
coq-theories_8.6-5build1_ppc64el.deb 22M28-Oct-2017 15:34
coq-theories_8.6-5build1_s390x.deb 22M28-Oct-2017 15:34
coq_8.11.0-1.debian.tar.xz 31K06-Mar-2020 07:53
coq_8.11.0-1.dsc 249606-Mar-2020 07:53
coq_8.11.0-1_arm64.deb 80M06-Mar-2020 09:13
coq_8.11.0-1_ppc64el.deb 75M11-Mar-2020 10:53
coq_8.11.0.orig.tar.gz 6M06-Mar-2020 07:53
coq_8.15.0+dfsg-2.debian.tar.xz 39K05-Feb-2022 17:49
coq_8.15.0+dfsg-2.dsc 259905-Feb-2022 17:49
coq_8.15.0+dfsg-2_arm64.deb 102M06-Feb-2022 12:54
coq_8.15.0+dfsg-2_armhf.deb 89M05-Feb-2022 23:53
coq_8.15.0+dfsg-2_ppc64el.deb 94M05-Feb-2022 23:53
coq_8.15.0+dfsg-2_riscv64.deb 91M05-Feb-2022 23:53
coq_8.15.0+dfsg-2_s390x.deb 93M05-Feb-2022 23:53
coq_8.15.0+dfsg.orig.tar.xz 4M17-Jan-2022 23:14
coq_8.18.0+dfsg-1build2.debian.tar.xz 33K31-Mar-2024 18:36
coq_8.18.0+dfsg-1build2.dsc 268531-Mar-2024 18:36
coq_8.18.0+dfsg-1build2_arm64.deb 102M01-Apr-2024 01:55
coq_8.18.0+dfsg-1build2_armhf.deb 89M01-Apr-2024 01:55
coq_8.18.0+dfsg-1build2_ppc64el.deb 94M31-Mar-2024 21:34
coq_8.18.0+dfsg-1build2_riscv64.deb 93M01-Apr-2024 01:56
coq_8.18.0+dfsg-1build2_s390x.deb 93M31-Mar-2024 20:38
coq_8.18.0+dfsg.orig.tar.xz 5M22-Dec-2023 19:46
coq_8.19.1+dfsg-3build3.debian.tar.xz 32K07-Sep-2024 07:08
coq_8.19.1+dfsg-3build3.dsc 257207-Sep-2024 07:08
coq_8.19.1+dfsg-3build3_arm64.deb 103M07-Sep-2024 08:10
coq_8.19.1+dfsg-3build3_ppc64el.deb 98M07-Sep-2024 08:10
coq_8.19.1+dfsg-3build3_riscv64.deb 98M07-Sep-2024 09:48
coq_8.19.1+dfsg-3build3_s390x.deb 98M07-Sep-2024 08:10
coq_8.19.1+dfsg.orig.tar.bz2 5M02-May-2024 11:53
coq_8.20.1+dfsg-1.debian.tar.xz 30K18-Feb-2025 01:39
coq_8.20.1+dfsg-1.dsc 258218-Feb-2025 01:39
coq_8.20.1+dfsg-1_arm64.deb 83M18-Feb-2025 01:40
coq_8.20.1+dfsg-1_ppc64el.deb 79M18-Feb-2025 01:41
coq_8.20.1+dfsg-1_riscv64.deb 79M18-Feb-2025 03:45
coq_8.20.1+dfsg-1_s390x.deb 79M18-Feb-2025 06:00
coq_8.20.1+dfsg.orig.tar.xz 5M18-Feb-2025 01:39
coq_8.4pl3dfsg-1.debian.tar.xz 15K19-Jan-2014 23:18
coq_8.4pl3dfsg-1.dsc 235619-Jan-2014 23:18
coq_8.4pl3dfsg-1_arm64.deb 1M20-Jan-2014 03:43
coq_8.4pl3dfsg-1_armhf.deb 4M20-Jan-2014 01:03
coq_8.4pl3dfsg-1_powerpc.deb 3M20-Jan-2014 00:23
coq_8.4pl3dfsg-1_ppc64el.deb 1M18-Feb-2014 02:43
coq_8.4pl3dfsg.orig.tar.gz 3M19-Jan-2014 23:18
coq_8.4pl4dfsg-3build2.debian.tar.xz 16K04-Nov-2015 13:14
coq_8.4pl4dfsg-3build2.dsc 239804-Nov-2015 13:14
coq_8.4pl4dfsg-3build2_arm64.deb 4M04-Nov-2015 14:29
coq_8.4pl4dfsg-3build2_armhf.deb 4M04-Nov-2015 14:55
coq_8.4pl4dfsg-3build2_powerpc.deb 3M04-Nov-2015 13:39
coq_8.4pl4dfsg-3build2_ppc64el.deb 1016K04-Nov-2015 14:55
coq_8.4pl4dfsg-3build2_s390x.deb 1017K05-Jan-2016 16:35
coq_8.4pl4dfsg.orig.tar.gz 3M27-Jul-2014 23:13
coq_8.6-5build1.debian.tar.xz 21K28-Oct-2017 14:39
coq_8.6-5build1.dsc 240328-Oct-2017 14:39
coq_8.6-5build1_arm64.deb 18M28-Oct-2017 16:20
coq_8.6-5build1_armhf.deb 16M28-Oct-2017 16:20
coq_8.6-5build1_ppc64el.deb 17M28-Oct-2017 15:34
coq_8.6-5build1_s390x.deb 17M28-Oct-2017 15:35
coq_8.6.orig.tar.gz 5M28-Dec-2016 17:13
coqide_8.11.0-1_arm64.deb 2M06-Mar-2020 09:13
coqide_8.11.0-1_ppc64el.deb 2M11-Mar-2020 10:53
coqide_8.15.0+dfsg-2_arm64.deb 3M06-Feb-2022 12:54
coqide_8.15.0+dfsg-2_armhf.deb 2M05-Feb-2022 23:53
coqide_8.15.0+dfsg-2_ppc64el.deb 2M05-Feb-2022 23:53
coqide_8.15.0+dfsg-2_riscv64.deb 2M05-Feb-2022 23:53
coqide_8.15.0+dfsg-2_s390x.deb 2M05-Feb-2022 23:53
coqide_8.18.0+dfsg-1build2_arm64.deb 3M01-Apr-2024 01:55
coqide_8.18.0+dfsg-1build2_armhf.deb 2M01-Apr-2024 01:55
coqide_8.18.0+dfsg-1build2_ppc64el.deb 2M31-Mar-2024 21:34
coqide_8.18.0+dfsg-1build2_riscv64.deb 2M01-Apr-2024 01:56
coqide_8.18.0+dfsg-1build2_s390x.deb 2M31-Mar-2024 20:38
coqide_8.19.1+dfsg-3build3_arm64.deb 3M07-Sep-2024 08:10
coqide_8.19.1+dfsg-3build3_ppc64el.deb 2M07-Sep-2024 08:10
coqide_8.19.1+dfsg-3build3_riscv64.deb 2M07-Sep-2024 09:48
coqide_8.19.1+dfsg-3build3_s390x.deb 2M07-Sep-2024 08:10
coqide_8.20.1+dfsg-1_arm64.deb 3M18-Feb-2025 01:40
coqide_8.20.1+dfsg-1_ppc64el.deb 2M18-Feb-2025 01:41
coqide_8.20.1+dfsg-1_riscv64.deb 2M18-Feb-2025 03:45
coqide_8.20.1+dfsg-1_s390x.deb 2M18-Feb-2025 06:00
coqide_8.4pl3dfsg-1_arm64.deb 198K20-Jan-2014 03:43
coqide_8.4pl3dfsg-1_armhf.deb 758K20-Jan-2014 01:03
coqide_8.4pl3dfsg-1_powerpc.deb 627K20-Jan-2014 00:23
coqide_8.4pl3dfsg-1_ppc64el.deb 198K18-Feb-2014 02:43
coqide_8.4pl4dfsg-3build2_arm64.deb 754K04-Nov-2015 14:29
coqide_8.4pl4dfsg-3build2_armhf.deb 763K04-Nov-2015 14:55
coqide_8.4pl4dfsg-3build2_powerpc.deb 649K04-Nov-2015 13:39
coqide_8.4pl4dfsg-3build2_ppc64el.deb 208K04-Nov-2015 14:55
coqide_8.4pl4dfsg-3build2_s390x.deb 208K05-Jan-2016 16:35
coqide_8.6-5build1_arm64.deb 2M28-Oct-2017 16:20
coqide_8.6-5build1_armhf.deb 1M28-Oct-2017 16:20
coqide_8.6-5build1_ppc64el.deb 2M28-Oct-2017 15:34
coqide_8.6-5build1_s390x.deb 2M28-Oct-2017 15:34
libcoq-core-ocaml-dev_8.15.0+dfsg-2_arm64.deb 43M06-Feb-2022 12:53
libcoq-core-ocaml-dev_8.15.0+dfsg-2_armhf.deb 44M05-Feb-2022 23:53
libcoq-core-ocaml-dev_8.15.0+dfsg-2_ppc64el.deb 44M05-Feb-2022 23:53
libcoq-core-ocaml-dev_8.15.0+dfsg-2_riscv64.deb 43M05-Feb-2022 23:53
libcoq-core-ocaml-dev_8.15.0+dfsg-2_s390x.deb 43M05-Feb-2022 23:53
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_arm64..> 49M01-Apr-2024 01:55
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_armhf..> 50M01-Apr-2024 01:55
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_ppc64..> 50M31-Mar-2024 21:34
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_riscv..> 56M01-Apr-2024 01:56
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_s390x..> 49M31-Mar-2024 20:38
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_arm64..> 65M07-Sep-2024 08:10
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_ppc64..> 66M07-Sep-2024 08:10
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_riscv..> 72M07-Sep-2024 09:48
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_s390x..> 65M07-Sep-2024 08:10
libcoq-core-ocaml-dev_8.20.1+dfsg-1_arm64.deb 66M18-Feb-2025 01:40
libcoq-core-ocaml-dev_8.20.1+dfsg-1_ppc64el.deb 68M18-Feb-2025 01:41
libcoq-core-ocaml-dev_8.20.1+dfsg-1_riscv64.deb 73M18-Feb-2025 03:45
libcoq-core-ocaml-dev_8.20.1+dfsg-1_s390x.deb 66M18-Feb-2025 06:00
libcoq-core-ocaml_8.15.0+dfsg-2_arm64.deb 27M06-Feb-2022 12:53
libcoq-core-ocaml_8.15.0+dfsg-2_armhf.deb 26M05-Feb-2022 23:53
libcoq-core-ocaml_8.15.0+dfsg-2_ppc64el.deb 26M05-Feb-2022 23:53
libcoq-core-ocaml_8.15.0+dfsg-2_riscv64.deb 26M05-Feb-2022 23:53
libcoq-core-ocaml_8.15.0+dfsg-2_s390x.deb 26M05-Feb-2022 23:53
libcoq-core-ocaml_8.18.0+dfsg-1build2_arm64.deb 28M01-Apr-2024 01:55
libcoq-core-ocaml_8.18.0+dfsg-1build2_armhf.deb 26M01-Apr-2024 01:55
libcoq-core-ocaml_8.18.0+dfsg-1build2_ppc64el.deb 27M31-Mar-2024 21:34
libcoq-core-ocaml_8.18.0+dfsg-1build2_riscv64.deb 27M01-Apr-2024 01:56
libcoq-core-ocaml_8.18.0+dfsg-1build2_s390x.deb 27M31-Mar-2024 20:38
libcoq-core-ocaml_8.19.1+dfsg-3build3_arm64.deb 26M07-Sep-2024 08:10
libcoq-core-ocaml_8.19.1+dfsg-3build3_ppc64el.deb 25M07-Sep-2024 08:10
libcoq-core-ocaml_8.19.1+dfsg-3build3_riscv64.deb 25M07-Sep-2024 09:48
libcoq-core-ocaml_8.19.1+dfsg-3build3_s390x.deb 25M07-Sep-2024 08:10
libcoq-core-ocaml_8.20.1+dfsg-1_arm64.deb 27M18-Feb-2025 01:40
libcoq-core-ocaml_8.20.1+dfsg-1_ppc64el.deb 26M18-Feb-2025 01:41
libcoq-core-ocaml_8.20.1+dfsg-1_riscv64.deb 26M18-Feb-2025 03:45
libcoq-core-ocaml_8.20.1+dfsg-1_s390x.deb 26M18-Feb-2025 06:00
libcoq-ocaml-dev_8.11.0-1_arm64.deb 16M06-Mar-2020 09:13
libcoq-ocaml-dev_8.11.0-1_ppc64el.deb 16M11-Mar-2020 10:53
libcoq-ocaml-dev_8.4pl3dfsg-1_arm64.deb 1M20-Jan-2014 03:43
libcoq-ocaml-dev_8.4pl3dfsg-1_armhf.deb 4M20-Jan-2014 01:03
libcoq-ocaml-dev_8.4pl3dfsg-1_powerpc.deb 3M20-Jan-2014 00:23
libcoq-ocaml-dev_8.4pl3dfsg-1_ppc64el.deb 1M18-Feb-2014 02:43
libcoq-ocaml-dev_8.4pl4dfsg-3build2_arm64.deb 4M04-Nov-2015 14:29
libcoq-ocaml-dev_8.4pl4dfsg-3build2_armhf.deb 4M04-Nov-2015 14:55
libcoq-ocaml-dev_8.4pl4dfsg-3build2_powerpc.deb 4M04-Nov-2015 13:39
libcoq-ocaml-dev_8.4pl4dfsg-3build2_ppc64el.deb 1M04-Nov-2015 14:55
libcoq-ocaml-dev_8.4pl4dfsg-3build2_s390x.deb 1M05-Jan-2016 16:35
libcoq-ocaml-dev_8.6-5build1_arm64.deb 13M28-Oct-2017 16:20
libcoq-ocaml-dev_8.6-5build1_armhf.deb 14M28-Oct-2017 16:20
libcoq-ocaml-dev_8.6-5build1_ppc64el.deb 13M28-Oct-2017 15:34
libcoq-ocaml-dev_8.6-5build1_s390x.deb 13M28-Oct-2017 15:34
libcoq-ocaml_8.11.0-1_arm64.deb 7M06-Mar-2020 09:13
libcoq-ocaml_8.11.0-1_ppc64el.deb 6M11-Mar-2020 10:53
libcoq-ocaml_8.4pl3dfsg-1_arm64.deb 322K20-Jan-2014 03:43
libcoq-ocaml_8.4pl3dfsg-1_armhf.deb 1M20-Jan-2014 01:03
libcoq-ocaml_8.4pl3dfsg-1_powerpc.deb 1M20-Jan-2014 00:23
libcoq-ocaml_8.4pl3dfsg-1_ppc64el.deb 322K18-Feb-2014 02:43
libcoq-ocaml_8.4pl4dfsg-3build2_arm64.deb 1M04-Nov-2015 14:29
libcoq-ocaml_8.4pl4dfsg-3build2_armhf.deb 1M04-Nov-2015 14:55
libcoq-ocaml_8.4pl4dfsg-3build2_powerpc.deb 1M04-Nov-2015 13:39
libcoq-ocaml_8.4pl4dfsg-3build2_ppc64el.deb 328K04-Nov-2015 14:55
libcoq-ocaml_8.4pl4dfsg-3build2_s390x.deb 330K05-Jan-2016 16:35
libcoq-ocaml_8.6-5build1_arm64.deb 4M28-Oct-2017 16:20
libcoq-ocaml_8.6-5build1_armhf.deb 3M28-Oct-2017 16:20
libcoq-ocaml_8.6-5build1_ppc64el.deb 3M28-Oct-2017 15:34
libcoq-ocaml_8.6-5build1_s390x.deb 3M28-Oct-2017 15:34
libcoq-stdlib_8.15.0+dfsg-2_arm64.deb 24M06-Feb-2022 12:54
libcoq-stdlib_8.15.0+dfsg-2_armhf.deb 24M05-Feb-2022 23:53
libcoq-stdlib_8.15.0+dfsg-2_ppc64el.deb 24M05-Feb-2022 23:53
libcoq-stdlib_8.15.0+dfsg-2_riscv64.deb 24M05-Feb-2022 23:53
libcoq-stdlib_8.15.0+dfsg-2_s390x.deb 24M05-Feb-2022 23:53
libcoq-stdlib_8.18.0+dfsg-1build2_arm64.deb 25M01-Apr-2024 01:55
libcoq-stdlib_8.18.0+dfsg-1build2_armhf.deb 25M01-Apr-2024 01:55
libcoq-stdlib_8.18.0+dfsg-1build2_ppc64el.deb 25M31-Mar-2024 21:34
libcoq-stdlib_8.18.0+dfsg-1build2_riscv64.deb 25M01-Apr-2024 01:56
libcoq-stdlib_8.18.0+dfsg-1build2_s390x.deb 25M31-Mar-2024 20:38
libcoq-stdlib_8.19.1+dfsg-3build3_arm64.deb 26M07-Sep-2024 08:10
libcoq-stdlib_8.19.1+dfsg-3build3_ppc64el.deb 26M07-Sep-2024 08:10
libcoq-stdlib_8.19.1+dfsg-3build3_riscv64.deb 26M07-Sep-2024 09:48
libcoq-stdlib_8.19.1+dfsg-3build3_s390x.deb 26M07-Sep-2024 08:10
libcoq-stdlib_8.20.1+dfsg-1_arm64.deb 26M18-Feb-2025 01:40
libcoq-stdlib_8.20.1+dfsg-1_ppc64el.deb 26M18-Feb-2025 01:41
libcoq-stdlib_8.20.1+dfsg-1_riscv64.deb 26M18-Feb-2025 03:45
libcoq-stdlib_8.20.1+dfsg-1_s390x.deb 26M18-Feb-2025 06:00

Welcome to Ubuntu Taiwan LoCo Team (ubuntu-tw) / OSS Planet Mirror Server

Empowering Open Source: Free Hosting for a Free World We are open, we love freedom. Free Hosting for Open Projects. Join the movement. #JustGoOpen

If you're seeking a mirror, please contact us. OSSPlanet
We support HTTP, HTTPS, FTP, Rsync, and Tor .onion site.

We operate mirror servers in multiple regions to better serve our users:

Choose the server closest to your location for optimal performance!

Highlights

ubuntu/
Ubuntu archive repository for APT sources.list
ubuntu-cdimage/
Mirror of http://cdimage.ubuntu.com/
ubuntu-cloud-images/
Mirror of https://cloud-images.ubuntu.com/
ubuntu-ports/
Ubuntu APT source repo for non-x86. (ARM, etc). Mirror of http://ports.ubuntu.com/
ubuntu-releases/
Installation CD/DVD image.
mirror-ubuntu.sh
If you want to mirror ubuntu/ to your server, download this script and run it 4 times a day with cron. (0 */6 * * *)
/ and /mirror/
All mirror repos. (Apache, CPAN, GNU, Kernel, LDP, Mozilla, other Linux distro, hosting, etc)

Services

Taiwan Servers (Asia)

HTTP
HTTPS
FTP

Note on FTP: While we currently support FTP, we will be dropping support in the future as the protocol is being phased out industry-wide. We recommend using HTTPS or Rsync instead.

Rsync

Finland Servers (Europe)

HTTP
HTTPS
Rsync

Network and Infrastructure

Taiwan Server (Primary Asia Mirror)

Server
mirror.ossplanet.net
Sponsored by
National Chi Nan University
Network
TWAREN Academic Network
Features
  • 100Gbps backbone with multiple optical segments
  • 12 GigaPOPs across Taiwan
  • International connectivity to major exchanges
Network Documentation

Finland Server (Primary Europe Mirror)

Server
mirror.fi.ossplanet.net
Sponsored by
Matthew Lien (BlueT)
Infrastructure
Hetzner Datacenter
Features
  • Multi-redundant network connections
  • Peering at major European exchanges
  • High-performance infrastructure
Network Documentation

Data handling and privacy policy

  1. IP addresses and Logs will be saved for troubleshooting, abuse, and statistical purposes.
  2. Only few of our system administrators have access to the log files.
  3. Our infrastructure and network providers could have other logging.

Limits

Contact

Admin: BlueT - Matthew Lien - 練喆明
Email: apply at ossplanet dot net AND bluet at bluet dot org