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

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
coq-elpi_1.13.0-1.debian.tar.xz	2584	10-Feb-2022 23:14
coq-elpi_1.13.0-1.dsc	2088	10-Feb-2022 23:14
coq-elpi_1.13.0.orig.tar.gz	352K	10-Feb-2022 23:14
coq-elpi_1.19.3-2build4.debian.tar.xz	3852	08-Apr-2024 07:57
coq-elpi_1.19.3-2build4.dsc	2108	08-Apr-2024 07:57
coq-elpi_1.19.3.orig.tar.gz	558K	22-Dec-2023 17:26
coq-elpi_2.1.0-1build9.debian.tar.xz	3852	17-Sep-2024 15:51
coq-elpi_2.1.0-1build9.dsc	2022	17-Sep-2024 15:51
coq-elpi_2.1.0.orig.tar.gz	699K	02-May-2024 11:53
coq-elpi_2.4.0-1build1.debian.tar.xz	3848	18-Feb-2025 21:25
coq-elpi_2.4.0-1build1.dsc	2066	18-Feb-2025 21:25
coq-elpi_2.4.0.orig.tar.gz	718K	18-Feb-2025 01:39
libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb	2M	10-Feb-2022 23:34
libcoq-elpi-ocaml_1.13.0-1_amd64.deb	5M	10-Feb-2022 23:34
libcoq-elpi_1.19.3-2build4_amd64.deb	3M	08-Apr-2024 07:57
libcoq-elpi_2.1.0-1build9_amd64.deb	3M	19-Sep-2024 17:02
libcoq-elpi_2.4.0-1build1_amd64.deb	13M	18-Feb-2025 21:25

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:

Asia (Taiwan):
- Primary: mirror.ossplanet.net
- Aliases: ftp.ubuntu-tw.net, ftp.ubuntu-tw.org, http://mirror.ossplanetnyou5xifr6liw5vhzwc2g2fmmlohza25wwgnnaw65ytfsad.onion
- Location: National Chi Nan University via TWAREN Academic Network
Europe (Finland):
- Primary: mirror.fi.ossplanet.net
- Location: Hetzner Datacenter

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)

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

Detailed info: TWAREN Network Planning
Peering details: TWAREN PeeringDB

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

Details: Hetzner Datacenter Info

Data handling and privacy policy

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

Limits

rsync: three connections per IP

Contact

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