Index of /ubuntu-ports/pool/multiverse/c/coq-doc/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-doc-html_8.15.0-3_all.deb 1M17-Mar-2022 09:15
coq-doc-html_8.18.0-1_all.deb 1M02-Apr-2024 22:05
coq-doc-html_8.19.1-2_all.deb 1M18-Jun-2024 23:39
coq-doc-html_8.20.0-2_all.deb 2M24-Jan-2025 10:50
coq-doc-html_8.4pl2-1_all.deb 404K13-Dec-2013 23:53
coq-doc-html_8.4pl4-2_all.deb 406K12-Feb-2016 06:45
coq-doc-html_8.6-1_all.deb 452K14-Jul-2017 12:16
coq-doc-pdf_8.15.0-3_all.deb 4M17-Mar-2022 09:15
coq-doc-pdf_8.18.0-1_all.deb 5M02-Apr-2024 22:05
coq-doc-pdf_8.19.1-2_all.deb 5M18-Jun-2024 23:39
coq-doc-pdf_8.20.0-2_all.deb 5M24-Jan-2025 10:50
coq-doc-pdf_8.4pl2-1_all.deb 2M13-Dec-2013 23:53
coq-doc-pdf_8.4pl4-2_all.deb 2M12-Feb-2016 06:45
coq-doc-pdf_8.6-1_all.deb 2M14-Jul-2017 12:17
coq-doc_8.15.0-3.debian.tar.xz 760022-Feb-2022 23:24
coq-doc_8.15.0-3.dsc 255422-Feb-2022 23:24
coq-doc_8.15.0-3_all.deb 401217-Mar-2022 09:15
coq-doc_8.15.0.orig.tar.gz 7M09-Feb-2022 05:35
coq-doc_8.18.0-1.debian.tar.xz 806425-Jan-2024 23:15
coq-doc_8.18.0-1.dsc 256025-Jan-2024 23:15
coq-doc_8.18.0-1_all.deb 402002-Apr-2024 22:05
coq-doc_8.18.0.orig.tar.gz 7M25-Jan-2024 23:15
coq-doc_8.19.1-2.debian.tar.xz 812818-Jun-2024 23:39
coq-doc_8.19.1-2.dsc 232818-Jun-2024 23:39
coq-doc_8.19.1-2_all.deb 402218-Jun-2024 23:39
coq-doc_8.19.1.orig.tar.gz 7M02-May-2024 11:53
coq-doc_8.20.0-2.debian.tar.xz 882024-Jan-2025 05:56
coq-doc_8.20.0-2.dsc 257224-Jan-2025 05:56
coq-doc_8.20.0-2_all.deb 401824-Jan-2025 10:50
coq-doc_8.20.0.orig.tar.gz 7M27-Dec-2024 06:05
coq-doc_8.4pl2-1.debian.tar.gz 872913-Dec-2013 23:13
coq-doc_8.4pl2-1.dsc 223713-Dec-2013 23:13
coq-doc_8.4pl2-1_all.deb 445613-Dec-2013 23:53
coq-doc_8.4pl2.orig.tar.gz 4M13-Dec-2013 23:13
coq-doc_8.4pl4-2.debian.tar.xz 840412-Feb-2016 05:13
coq-doc_8.4pl4-2.dsc 224312-Feb-2016 05:13
coq-doc_8.4pl4-2_all.deb 440212-Feb-2016 06:45
coq-doc_8.4pl4.orig.tar.gz 4M24-Oct-2014 08:05
coq-doc_8.6-1.debian.tar.xz 830414-Jul-2017 12:15
coq-doc_8.6-1.dsc 231114-Jul-2017 12:15
coq-doc_8.6-1_all.deb 439014-Jul-2017 12:17
coq-doc_8.6.orig.tar.gz 5M14-Jul-2017 12:15

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

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