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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cbmc_4.5-2ubuntu2.debian.tar.gz 647228-Oct-2013 21:18
cbmc_4.5-2ubuntu2.dsc 116828-Oct-2013 21:18
cbmc_4.5-2ubuntu2_arm64.deb 5M28-Oct-2013 21:58
cbmc_4.5-2ubuntu2_armhf.deb 5M28-Oct-2013 22:18
cbmc_4.5-2ubuntu2_powerpc.deb 6M28-Oct-2013 22:18
cbmc_4.5.orig.tar.gz 4M28-Oct-2013 17:33
cbmc_5.10-5ubuntu1.debian.tar.xz 13K14-Apr-2020 09:08
cbmc_5.10-5ubuntu1.dsc 226714-Apr-2020 09:08
cbmc_5.10-5ubuntu1_arm64.deb 8M14-Apr-2020 11:13
cbmc_5.10-5ubuntu1_armhf.deb 8M14-Apr-2020 11:13
cbmc_5.10-5ubuntu1_ppc64el.deb 9M14-Apr-2020 09:59
cbmc_5.10-5ubuntu1_s390x.deb 9M14-Apr-2020 09:59
cbmc_5.10.orig-java-models-library.tar.gz 169K09-Nov-2018 06:53
cbmc_5.10.orig.tar.gz 6M09-Nov-2018 06:53
cbmc_5.12-5.debian.tar.xz 15K04-May-2020 23:13
cbmc_5.12-5.dsc 223404-May-2020 23:13
cbmc_5.12-5_arm64.deb 13M05-May-2020 07:48
cbmc_5.12-5_armhf.deb 11M05-May-2020 07:48
cbmc_5.12-5_ppc64el.deb 17M05-May-2020 05:58
cbmc_5.12-5_riscv64.deb 15M23-May-2020 03:13
cbmc_5.12-5_s390x.deb 15M05-May-2020 04:03
cbmc_5.12.orig-java-models-library.tar.gz 297K02-May-2020 14:33
cbmc_5.12.orig.tar.gz 7M02-May-2020 14:33
cbmc_5.3-1.debian.tar.xz 968821-Jan-2016 05:25
cbmc_5.3-1.dsc 172921-Jan-2016 05:25
cbmc_5.3-1_arm64.deb 3M21-Jan-2016 06:44
cbmc_5.3-1_armhf.deb 2M21-Jan-2016 06:45
cbmc_5.3-1_powerpc.deb 2M21-Jan-2016 06:45
cbmc_5.3-1_ppc64el.deb 3M21-Jan-2016 05:45
cbmc_5.3-1_s390x.deb 3M21-Jan-2016 05:46
cbmc_5.3.orig.tar.gz 5M21-Jan-2016 05:25
cbmc_5.6-1.debian.tar.xz 10K04-Dec-2016 17:18
cbmc_5.6-1.dsc 174404-Dec-2016 17:18
cbmc_5.6-1_arm64.deb 3M04-Dec-2016 18:53
cbmc_5.6-1_armhf.deb 3M04-Dec-2016 19:13
cbmc_5.6-1_ppc64el.deb 4M04-Dec-2016 17:43
cbmc_5.6-1_s390x.deb 3M04-Dec-2016 18:03
cbmc_5.6.orig.tar.gz 5M04-Dec-2016 17:18
cbmc_5.95.1-4ubuntu1.debian.tar.xz 15K23-Apr-2024 17:04
cbmc_5.95.1-4ubuntu1.dsc 314723-Apr-2024 17:04
cbmc_5.95.1-4ubuntu1_ppc64el.deb 22M23-Apr-2024 18:54
cbmc_5.95.1-4ubuntu1_riscv64.deb 21M23-Apr-2024 20:23
cbmc_5.95.1-4ubuntu1_s390x.deb 20M23-Apr-2024 18:54
cbmc_5.95.1.orig-java-cprover-api.tar.gz 14K16-Feb-2024 17:43
cbmc_5.95.1.orig-java-models-library.tar.gz 292K16-Feb-2024 17:43
cbmc_5.95.1.orig.tar.gz 9M16-Feb-2024 17:43
cbmc_6.1.1-2.debian.tar.xz 18K02-Aug-2024 18:28
cbmc_6.1.1-2.dsc 304802-Aug-2024 18:28
cbmc_6.1.1-2_arm64.deb 19M02-Aug-2024 20:53
cbmc_6.1.1-2_armhf.deb 17M02-Aug-2024 20:53
cbmc_6.1.1-2_ppc64el.deb 23M02-Aug-2024 19:37
cbmc_6.1.1-2_riscv64.deb 22M02-Aug-2024 22:01
cbmc_6.1.1-2_s390x.deb 21M02-Aug-2024 19:37
cbmc_6.1.1.orig-java-cprover-api.tar.gz 14K02-Aug-2024 06:07
cbmc_6.1.1.orig-java-models-library.tar.gz 292K02-Aug-2024 06:07
cbmc_6.1.1.orig.tar.gz 9M02-Aug-2024 06:07
cbmc_6.4.1-2.debian.tar.xz 18K22-Jan-2025 18:28
cbmc_6.4.1-2.dsc 304822-Jan-2025 18:28
cbmc_6.4.1-2_arm64.deb 19M22-Jan-2025 19:44
cbmc_6.4.1-2_armhf.deb 17M22-Jan-2025 19:44
cbmc_6.4.1-2_ppc64el.deb 24M22-Jan-2025 19:45
cbmc_6.4.1-2_riscv64.deb 22M23-Jan-2025 01:19
cbmc_6.4.1-2_s390x.deb 21M22-Jan-2025 19:45
cbmc_6.4.1.orig-java-cprover-api.tar.gz 14K22-Jan-2025 05:31
cbmc_6.4.1.orig-java-models-library.tar.gz 292K22-Jan-2025 05:31
cbmc_6.4.1.orig.tar.gz 9M22-Jan-2025 05:31
jbmc_5.95.1-4ubuntu1_ppc64el.deb 9M23-Apr-2024 18:54
jbmc_5.95.1-4ubuntu1_riscv64.deb 8M23-Apr-2024 20:23
jbmc_5.95.1-4ubuntu1_s390x.deb 8M23-Apr-2024 18:54
jbmc_6.1.1-2_arm64.deb 8M02-Aug-2024 20:53
jbmc_6.1.1-2_armhf.deb 6M02-Aug-2024 20:53
jbmc_6.1.1-2_ppc64el.deb 9M02-Aug-2024 19:37
jbmc_6.1.1-2_riscv64.deb 9M02-Aug-2024 22:01
jbmc_6.1.1-2_s390x.deb 9M02-Aug-2024 19:37
jbmc_6.4.1-2_arm64.deb 8M22-Jan-2025 19:44
jbmc_6.4.1-2_armhf.deb 6M22-Jan-2025 19:44
jbmc_6.4.1-2_ppc64el.deb 9M22-Jan-2025 19:45
jbmc_6.4.1-2_riscv64.deb 9M23-Jan-2025 01:19
jbmc_6.4.1-2_s390x.deb 9M22-Jan-2025 19:45

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