Index of /ubuntu/pool/universe/c/coq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq_8.4pl3dfsg-1.dsc 235619-Jan-2014 23:18
coq_8.4pl4dfsg-3build2.dsc 239804-Nov-2015 13:14
coq_8.6-5build1.dsc 240328-Oct-2017 14:39
coq_8.11.0-1.dsc 249606-Mar-2020 07:53
coq_8.19.1+dfsg-3build3.dsc 257207-Sep-2024 07:08
coq_8.20.1+dfsg-1.dsc 258218-Feb-2025 01:39
coq_8.15.0+dfsg-2.dsc 259905-Feb-2022 17:49
coq_8.18.0+dfsg-1build2.dsc 268531-Mar-2024 18:36
coq_8.4pl3dfsg-1.debian.tar.xz 15K19-Jan-2014 23:18
coq_8.4pl4dfsg-3build2.debian.tar.xz 16K04-Nov-2015 13:14
coq_8.6-5build1.debian.tar.xz 21K28-Oct-2017 14:39
coq_8.20.1+dfsg-1.debian.tar.xz 30K18-Feb-2025 01:39
coq_8.11.0-1.debian.tar.xz 31K06-Mar-2020 07:53
coq_8.19.1+dfsg-3build3.debian.tar.xz 32K07-Sep-2024 07:08
coq_8.18.0+dfsg-1build2.debian.tar.xz 33K31-Mar-2024 18:36
coq_8.15.0+dfsg-2.debian.tar.xz 39K05-Feb-2022 17:49
coqide_8.4pl3dfsg-1_i386.deb 662K19-Jan-2014 23:58
coqide_8.4pl4dfsg-3build2_i386.deb 695K04-Nov-2015 13:39
coqide_8.4pl3dfsg-1_amd64.deb 727K19-Jan-2014 23:58
coqide_8.4pl4dfsg-3build2_amd64.deb 731K04-Nov-2015 14:04
coqide_8.6-5build1_i386.deb 1M28-Oct-2017 15:34
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb 1M04-Nov-2015 13:39
libcoq-ocaml_8.4pl3dfsg-1_i386.deb 1M19-Jan-2014 23:58
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb 1M04-Nov-2015 14:04
coqide_8.6-5build1_amd64.deb 1M28-Oct-2017 15:34
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb 2M19-Jan-2014 23:58
coqide_8.11.0-1_amd64.deb 2M06-Mar-2020 08:38
coqide_8.20.1+dfsg-1_amd64.deb 2M18-Feb-2025 01:40
coqide_8.18.0+dfsg-1build2_amd64.deb 2M31-Mar-2024 19:32
coqide_8.15.0+dfsg-2_amd64.deb 2M05-Feb-2022 23:51
coqide_8.19.1+dfsg-3build3_amd64.deb 2M07-Sep-2024 07:09
libcoq-ocaml_8.6-5build1_i386.deb 3M28-Oct-2017 15:34
coq_8.4pl3dfsg.orig.tar.gz 3M19-Jan-2014 23:18
coq_8.4pl4dfsg.orig.tar.gz 3M27-Jul-2014 23:13
libcoq-ocaml_8.6-5build1_amd64.deb 3M28-Oct-2017 15:34
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb 3M19-Jan-2014 23:58
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb 3M19-Jan-2014 23:58
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb 4M04-Nov-2015 14:04
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb 4M04-Nov-2015 13:39
coq_8.4pl4dfsg-3build2_i386.deb 4M04-Nov-2015 13:39
coq_8.4pl3dfsg-1_i386.deb 4M19-Jan-2014 23:58
coq_8.4pl4dfsg-3build2_amd64.deb 4M04-Nov-2015 14:04
coq_8.4pl3dfsg-1_amd64.deb 4M19-Jan-2014 23:58
coq_8.15.0+dfsg.orig.tar.xz 4M17-Jan-2022 23:14
coq_8.18.0+dfsg.orig.tar.xz 5M22-Dec-2023 19:46
coq_8.6.orig.tar.gz 5M28-Dec-2016 17:13
coq_8.20.1+dfsg.orig.tar.xz 5M18-Feb-2025 01:39
coq_8.19.1+dfsg.orig.tar.bz2 5M02-May-2024 11:53
coq_8.11.0.orig.tar.gz 6M06-Mar-2020 07:53
libcoq-ocaml_8.11.0-1_amd64.deb 6M06-Mar-2020 08:38
libcoq-ocaml-dev_8.6-5build1_i386.deb 13M28-Oct-2017 15:34
libcoq-ocaml-dev_8.6-5build1_amd64.deb 13M28-Oct-2017 15:34
libcoq-ocaml-dev_8.11.0-1_amd64.deb 15M06-Mar-2020 08:38
coq_8.6-5build1_i386.deb 16M28-Oct-2017 15:34
coq_8.6-5build1_amd64.deb 17M28-Oct-2017 15:34
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb 24M05-Feb-2022 23:51
libcoq-core-ocaml_8.19.1+dfsg-3build3_amd64.deb 25M07-Sep-2024 07:09
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb 25M31-Mar-2024 19:32
libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb 26M18-Feb-2025 01:40
libcoq-stdlib_8.20.1+dfsg-1_amd64.deb 26M18-Feb-2025 01:40
libcoq-stdlib_8.19.1+dfsg-3build3_amd64.deb 26M07-Sep-2024 07:09
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb 26M05-Feb-2022 23:51
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb 26M31-Mar-2024 19:32
coq-theories_8.4pl3dfsg-1_all.deb 30M19-Jan-2014 23:58
coq-theories_8.6-5build1_i386.deb 31M28-Oct-2017 15:34
coq-theories_8.4pl4dfsg-3build2_all.deb 31M04-Nov-2015 14:04
coq-theories_8.11.0-1_amd64.deb 32M06-Mar-2020 08:38
coq-theories_8.6-5build1_amd64.deb 32M28-Oct-2017 15:34
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb 43M05-Feb-2022 23:51
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64..> 49M31-Mar-2024 19:32
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_amd64..> 65M07-Sep-2024 07:09
libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb 66M18-Feb-2025 01:40
coq_8.11.0-1_amd64.deb 73M06-Mar-2020 08:38
coq_8.20.1+dfsg-1_amd64.deb 78M18-Feb-2025 01:40
coq_8.15.0+dfsg-2_amd64.deb 91M05-Feb-2022 23:52
coq_8.18.0+dfsg-1build2_amd64.deb 91M31-Mar-2024 19:32
coq_8.19.1+dfsg-3build3_amd64.deb 96M07-Sep-2024 07:09

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