Index of /ubuntu-ports/pool/universe/c/cvc4/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cvc4_1.5-1.debian.tar.xz 601201-Nov-2017 13:57
cvc4_1.5-1.dsc 222101-Nov-2017 13:57
cvc4_1.5.orig.tar.gz 8M01-Nov-2017 13:57
cvc4_1.6-2build2.debian.tar.xz 839203-Feb-2020 22:24
cvc4_1.6-2build2.dsc 275503-Feb-2020 22:24
cvc4_1.6.orig.tar.gz 7M12-Aug-2018 05:13
cvc4_1.8-2.debian.tar.xz 16K30-Sep-2020 15:43
cvc4_1.8-2.dsc 227530-Sep-2020 15:43
cvc4_1.8-2_arm64.deb 66K30-Sep-2020 16:43
cvc4_1.8-2_armhf.deb 66K30-Sep-2020 17:43
cvc4_1.8-2_ppc64el.deb 70K30-Sep-2020 15:58
cvc4_1.8-2_riscv64.deb 67K30-Sep-2020 19:03
cvc4_1.8-2_s390x.deb 67K30-Sep-2020 15:58
cvc4_1.8-3build2.debian.tar.xz 16K31-Mar-2024 18:36
cvc4_1.8-3build2.dsc 236331-Mar-2024 18:36
cvc4_1.8-3build2_arm64.deb 70K02-Apr-2024 01:07
cvc4_1.8-3build2_armhf.deb 72K02-Apr-2024 02:14
cvc4_1.8-3build2_ppc64el.deb 75K02-Apr-2024 05:58
cvc4_1.8-3build2_riscv64.deb 75K04-Apr-2024 01:07
cvc4_1.8-3build2_s390x.deb 75K02-Apr-2024 11:03
cvc4_1.8.orig.tar.gz 7M30-Sep-2020 15:43
libcvc4-7_1.8-2_arm64.deb 5M30-Sep-2020 16:43
libcvc4-7_1.8-2_armhf.deb 5M30-Sep-2020 17:43
libcvc4-7_1.8-2_ppc64el.deb 5M30-Sep-2020 15:58
libcvc4-7_1.8-2_riscv64.deb 5M30-Sep-2020 19:03
libcvc4-7_1.8-2_s390x.deb 5M30-Sep-2020 15:58
libcvc4-7_1.8-3build2_arm64.deb 4M02-Apr-2024 01:07
libcvc4-7_1.8-3build2_armhf.deb 6M02-Apr-2024 02:14
libcvc4-7_1.8-3build2_ppc64el.deb 5M02-Apr-2024 05:58
libcvc4-7_1.8-3build2_riscv64.deb 6M04-Apr-2024 01:07
libcvc4-7_1.8-3build2_s390x.deb 5M02-Apr-2024 11:03
libcvc4-dev_1.8-2_arm64.deb 120K30-Sep-2020 16:43
libcvc4-dev_1.8-2_armhf.deb 120K30-Sep-2020 17:43
libcvc4-dev_1.8-2_ppc64el.deb 120K30-Sep-2020 15:58
libcvc4-dev_1.8-2_riscv64.deb 120K30-Sep-2020 19:03
libcvc4-dev_1.8-2_s390x.deb 120K30-Sep-2020 15:58
libcvc4-dev_1.8-3build2_arm64.deb 122K02-Apr-2024 01:07
libcvc4-dev_1.8-3build2_armhf.deb 122K02-Apr-2024 02:14
libcvc4-dev_1.8-3build2_ppc64el.deb 122K02-Apr-2024 05:58
libcvc4-dev_1.8-3build2_riscv64.deb 122K04-Apr-2024 01:07
libcvc4-dev_1.8-3build2_s390x.deb 122K02-Apr-2024 11:03
libcvc4parser7_1.8-2_arm64.deb 311K30-Sep-2020 16:43
libcvc4parser7_1.8-2_armhf.deb 312K30-Sep-2020 17:43
libcvc4parser7_1.8-2_ppc64el.deb 338K30-Sep-2020 15:58
libcvc4parser7_1.8-2_riscv64.deb 332K30-Sep-2020 19:03
libcvc4parser7_1.8-2_s390x.deb 324K30-Sep-2020 15:58
libcvc4parser7_1.8-3build2_arm64.deb 345K02-Apr-2024 01:07
libcvc4parser7_1.8-3build2_armhf.deb 357K02-Apr-2024 02:14
libcvc4parser7_1.8-3build2_ppc64el.deb 374K02-Apr-2024 05:58
libcvc4parser7_1.8-3build2_riscv64.deb 378K04-Apr-2024 01:07
libcvc4parser7_1.8-3build2_s390x.deb 408K02-Apr-2024 11:03

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