Index of /mirror/ubuntu-ports/pool/universe/z/z3/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libz3-4_4.13.3-1_arm64.deb 6M05-Nov-2024 12:18
libz3-4_4.13.3-1_armhf.deb 8M05-Nov-2024 12:19
libz3-4_4.13.3-1_ppc64el.deb 7M05-Nov-2024 12:19
libz3-4_4.13.3-1_riscv64.deb 9M05-Nov-2024 17:02
libz3-4_4.13.3-1_s390x.deb 7M05-Nov-2024 12:19
libz3-4_4.4.1-0.3build4_arm64.deb 4M27-Oct-2017 07:01
libz3-4_4.4.1-0.3build4_armhf.deb 4M27-Oct-2017 07:02
libz3-4_4.4.1-0.3build4_ppc64el.deb 5M30-Oct-2017 09:55
libz3-4_4.4.1-0.3build4_s390x.deb 4M30-Oct-2017 09:55
libz3-4_4.8.12-1_arm64.deb 5M15-Sep-2021 12:41
libz3-4_4.8.12-1_armhf.deb 6M15-Sep-2021 11:59
libz3-4_4.8.12-1_ppc64el.deb 6M15-Sep-2021 11:59
libz3-4_4.8.12-1_riscv64.deb 7M15-Sep-2021 14:26
libz3-4_4.8.12-1_s390x.deb 5M15-Sep-2021 11:33
libz3-4_4.8.12-3.1build1_arm64.deb 5M22-Apr-2024 12:45
libz3-4_4.8.12-3.1build1_armhf.deb 7M22-Apr-2024 12:45
libz3-4_4.8.12-3.1build1_ppc64el.deb 6M22-Apr-2024 12:45
libz3-4_4.8.12-3.1build1_riscv64.deb 8M22-Apr-2024 14:45
libz3-4_4.8.12-3.1build1_s390x.deb 6M22-Apr-2024 12:45
libz3-4_4.8.7-4build1_arm64.deb 6M23-Mar-2020 13:08
libz3-4_4.8.7-4build1_armhf.deb 6M23-Mar-2020 12:48
libz3-4_4.8.7-4build1_ppc64el.deb 6M23-Mar-2020 12:48
libz3-4_4.8.7-4build1_riscv64.deb 6M03-Apr-2020 19:58
libz3-4_4.8.7-4build1_s390x.deb 6M23-Mar-2020 12:48
libz3-cil_4.4.0-5_armhf.deb 39K08-Dec-2015 12:45
libz3-cil_4.4.0-5_powerpc.deb 39K08-Dec-2015 12:45
libz3-cil_4.4.1-0.3build4_arm64.deb 40K27-Oct-2017 07:01
libz3-cil_4.4.1-0.3build4_armhf.deb 40K27-Oct-2017 07:02
libz3-cil_4.4.1-0.3build4_ppc64el.deb 40K30-Oct-2017 09:55
libz3-cil_4.4.1-0.3build4_s390x.deb 40K30-Oct-2017 09:55
libz3-dev_4.13.3-1_arm64.deb 78K05-Nov-2024 12:18
libz3-dev_4.13.3-1_armhf.deb 78K05-Nov-2024 12:19
libz3-dev_4.13.3-1_ppc64el.deb 78K05-Nov-2024 12:19
libz3-dev_4.13.3-1_riscv64.deb 78K05-Nov-2024 17:02
libz3-dev_4.13.3-1_s390x.deb 78K05-Nov-2024 12:19
libz3-dev_4.4.0-5_armhf.deb 4M08-Dec-2015 12:45
libz3-dev_4.4.0-5_powerpc.deb 4M08-Dec-2015 12:45
libz3-dev_4.4.1-0.3build4_arm64.deb 63K27-Oct-2017 07:01
libz3-dev_4.4.1-0.3build4_armhf.deb 63K27-Oct-2017 07:02
libz3-dev_4.4.1-0.3build4_ppc64el.deb 63K30-Oct-2017 09:55
libz3-dev_4.4.1-0.3build4_s390x.deb 63K30-Oct-2017 09:55
libz3-dev_4.8.12-1_arm64.deb 70K15-Sep-2021 12:41
libz3-dev_4.8.12-1_armhf.deb 70K15-Sep-2021 11:59
libz3-dev_4.8.12-1_ppc64el.deb 70K15-Sep-2021 11:59
libz3-dev_4.8.12-1_riscv64.deb 70K15-Sep-2021 14:26
libz3-dev_4.8.12-1_s390x.deb 70K15-Sep-2021 11:33
libz3-dev_4.8.12-3.1build1_arm64.deb 71K22-Apr-2024 12:45
libz3-dev_4.8.12-3.1build1_armhf.deb 71K22-Apr-2024 12:45
libz3-dev_4.8.12-3.1build1_ppc64el.deb 71K22-Apr-2024 12:45
libz3-dev_4.8.12-3.1build1_riscv64.deb 71K22-Apr-2024 14:45
libz3-dev_4.8.12-3.1build1_s390x.deb 71K22-Apr-2024 12:45
libz3-dev_4.8.7-4build1_arm64.deb 66K23-Mar-2020 13:08
libz3-dev_4.8.7-4build1_armhf.deb 66K23-Mar-2020 12:48
libz3-dev_4.8.7-4build1_ppc64el.deb 66K23-Mar-2020 12:48
libz3-dev_4.8.7-4build1_riscv64.deb 66K03-Apr-2020 19:58
libz3-dev_4.8.7-4build1_s390x.deb 66K23-Mar-2020 12:48
libz3-java_4.13.3-1_arm64.deb 177K05-Nov-2024 12:18
libz3-java_4.13.3-1_armhf.deb 177K05-Nov-2024 12:19
libz3-java_4.13.3-1_ppc64el.deb 177K05-Nov-2024 12:19
libz3-java_4.13.3-1_riscv64.deb 177K05-Nov-2024 17:02
libz3-java_4.13.3-1_s390x.deb 177K05-Nov-2024 12:19
libz3-java_4.4.0-5_all.deb 134K08-Dec-2015 12:44
libz3-java_4.4.1-0.3build4_arm64.deb 140K27-Oct-2017 07:01
libz3-java_4.4.1-0.3build4_armhf.deb 140K27-Oct-2017 07:02
libz3-java_4.4.1-0.3build4_ppc64el.deb 140K30-Oct-2017 09:55
libz3-java_4.4.1-0.3build4_s390x.deb 140K30-Oct-2017 09:55
libz3-java_4.8.12-1_arm64.deb 156K15-Sep-2021 12:41
libz3-java_4.8.12-1_armhf.deb 156K15-Sep-2021 11:59
libz3-java_4.8.12-1_ppc64el.deb 156K15-Sep-2021 11:59
libz3-java_4.8.12-1_riscv64.deb 156K15-Sep-2021 14:26
libz3-java_4.8.12-1_s390x.deb 156K15-Sep-2021 11:33
libz3-java_4.8.12-3.1build1_arm64.deb 159K22-Apr-2024 12:45
libz3-java_4.8.12-3.1build1_armhf.deb 159K22-Apr-2024 12:45
libz3-java_4.8.12-3.1build1_ppc64el.deb 159K22-Apr-2024 12:45
libz3-java_4.8.12-3.1build1_riscv64.deb 159K22-Apr-2024 14:45
libz3-java_4.8.12-3.1build1_s390x.deb 159K22-Apr-2024 12:45
libz3-java_4.8.7-4build1_arm64.deb 150K23-Mar-2020 13:08
libz3-java_4.8.7-4build1_armhf.deb 150K23-Mar-2020 12:48
libz3-java_4.8.7-4build1_ppc64el.deb 150K23-Mar-2020 12:48
libz3-java_4.8.7-4build1_riscv64.deb 150K03-Apr-2020 19:58
libz3-java_4.8.7-4build1_s390x.deb 150K23-Mar-2020 12:48
libz3-jni_4.13.3-1_arm64.deb 39K05-Nov-2024 12:18
libz3-jni_4.13.3-1_armhf.deb 38K05-Nov-2024 12:19
libz3-jni_4.13.3-1_ppc64el.deb 45K05-Nov-2024 12:19
libz3-jni_4.13.3-1_riscv64.deb 40K05-Nov-2024 17:02
libz3-jni_4.13.3-1_s390x.deb 42K05-Nov-2024 12:19
libz3-jni_4.4.0-5_armhf.deb 28K08-Dec-2015 12:45
libz3-jni_4.4.0-5_powerpc.deb 34K08-Dec-2015 12:45
libz3-jni_4.4.1-0.3build4_arm64.deb 29K27-Oct-2017 07:01
libz3-jni_4.4.1-0.3build4_armhf.deb 28K27-Oct-2017 07:02
libz3-jni_4.4.1-0.3build4_ppc64el.deb 34K30-Oct-2017 09:55
libz3-jni_4.4.1-0.3build4_s390x.deb 32K30-Oct-2017 09:55
libz3-jni_4.8.12-1_arm64.deb 38K15-Sep-2021 12:41
libz3-jni_4.8.12-1_armhf.deb 35K15-Sep-2021 11:59
libz3-jni_4.8.12-1_ppc64el.deb 43K15-Sep-2021 11:59
libz3-jni_4.8.12-1_riscv64.deb 38K15-Sep-2021 14:26
libz3-jni_4.8.12-1_s390x.deb 41K15-Sep-2021 11:33
libz3-jni_4.8.12-3.1build1_arm64.deb 35K22-Apr-2024 12:45
libz3-jni_4.8.12-3.1build1_armhf.deb 33K22-Apr-2024 12:45
libz3-jni_4.8.12-3.1build1_ppc64el.deb 40K22-Apr-2024 12:45
libz3-jni_4.8.12-3.1build1_riscv64.deb 36K22-Apr-2024 14:45
libz3-jni_4.8.12-3.1build1_s390x.deb 39K22-Apr-2024 12:45
libz3-jni_4.8.7-4build1_arm64.deb 30K23-Mar-2020 13:08
libz3-jni_4.8.7-4build1_armhf.deb 29K23-Mar-2020 12:48
libz3-jni_4.8.7-4build1_ppc64el.deb 35K23-Mar-2020 12:48
libz3-jni_4.8.7-4build1_riscv64.deb 32K03-Apr-2020 19:58
libz3-jni_4.8.7-4build1_s390x.deb 32K23-Mar-2020 12:48
libz3-ocaml-dev_4.4.0-5_armhf.deb 446K08-Dec-2015 12:45
libz3-ocaml-dev_4.4.0-5_powerpc.deb 414K08-Dec-2015 12:45
libz3-ocaml-dev_4.4.1-0.3build4_arm64.deb 488K27-Oct-2017 07:01
libz3-ocaml-dev_4.4.1-0.3build4_armhf.deb 489K27-Oct-2017 07:02
libz3-ocaml-dev_4.4.1-0.3build4_ppc64el.deb 494K30-Oct-2017 09:55
libz3-ocaml-dev_4.4.1-0.3build4_s390x.deb 464K30-Oct-2017 09:55
python-z3_4.4.0-5_armhf.deb 65K08-Dec-2015 12:45
python-z3_4.4.0-5_powerpc.deb 64K08-Dec-2015 12:45
python-z3_4.4.1-0.3build4_arm64.deb 65K27-Oct-2017 07:01
python-z3_4.4.1-0.3build4_armhf.deb 65K27-Oct-2017 07:02
python-z3_4.4.1-0.3build4_ppc64el.deb 65K30-Oct-2017 09:55
python-z3_4.4.1-0.3build4_s390x.deb 65K30-Oct-2017 09:55
python3-z3_4.13.3-1_arm64.deb 83K05-Nov-2024 12:18
python3-z3_4.13.3-1_armhf.deb 83K05-Nov-2024 12:19
python3-z3_4.13.3-1_ppc64el.deb 83K05-Nov-2024 12:19
python3-z3_4.13.3-1_riscv64.deb 83K05-Nov-2024 17:02
python3-z3_4.13.3-1_s390x.deb 83K05-Nov-2024 12:19
python3-z3_4.8.12-1_arm64.deb 78K15-Sep-2021 12:41
python3-z3_4.8.12-1_armhf.deb 78K15-Sep-2021 11:59
python3-z3_4.8.12-1_ppc64el.deb 78K15-Sep-2021 11:59
python3-z3_4.8.12-1_riscv64.deb 78K15-Sep-2021 14:26
python3-z3_4.8.12-1_s390x.deb 78K15-Sep-2021 11:33
python3-z3_4.8.12-3.1build1_arm64.deb 78K22-Apr-2024 12:45
python3-z3_4.8.12-3.1build1_armhf.deb 78K22-Apr-2024 12:45
python3-z3_4.8.12-3.1build1_ppc64el.deb 78K22-Apr-2024 12:45
python3-z3_4.8.12-3.1build1_riscv64.deb 78K22-Apr-2024 14:45
python3-z3_4.8.12-3.1build1_s390x.deb 78K22-Apr-2024 12:45
python3-z3_4.8.7-4build1_arm64.deb 75K23-Mar-2020 13:08
python3-z3_4.8.7-4build1_armhf.deb 75K23-Mar-2020 12:48
python3-z3_4.8.7-4build1_ppc64el.deb 75K23-Mar-2020 12:48
python3-z3_4.8.7-4build1_riscv64.deb 75K03-Apr-2020 19:58
python3-z3_4.8.7-4build1_s390x.deb 75K23-Mar-2020 12:48
z3_4.13.3-1.debian.tar.xz 10K05-Nov-2024 12:18
z3_4.13.3-1.dsc 270405-Nov-2024 12:18
z3_4.13.3-1_arm64.deb 6M05-Nov-2024 12:18
z3_4.13.3-1_armhf.deb 8M05-Nov-2024 12:19
z3_4.13.3-1_ppc64el.deb 7M05-Nov-2024 12:19
z3_4.13.3-1_riscv64.deb 9M05-Nov-2024 17:02
z3_4.13.3-1_s390x.deb 7M05-Nov-2024 12:19
z3_4.13.3.orig.tar.gz 5M05-Nov-2024 12:18
z3_4.4.0-5.debian.tar.xz 11K08-Dec-2015 06:10
z3_4.4.0-5.dsc 212208-Dec-2015 06:10
z3_4.4.0-5_armhf.deb 4M08-Dec-2015 12:45
z3_4.4.0-5_powerpc.deb 4M08-Dec-2015 12:45
z3_4.4.0.orig.tar.gz 3M18-Jun-2015 23:23
z3_4.4.1-0.3build4.debian.tar.xz 14K27-Oct-2017 04:44
z3_4.4.1-0.3build4.dsc 254427-Oct-2017 04:44
z3_4.4.1-0.3build4_arm64.deb 4M27-Oct-2017 07:01
z3_4.4.1-0.3build4_armhf.deb 4M27-Oct-2017 07:02
z3_4.4.1-0.3build4_ppc64el.deb 5M30-Oct-2017 09:55
z3_4.4.1-0.3build4_s390x.deb 4M30-Oct-2017 09:55
z3_4.4.1.orig.tar.gz 3M18-Jul-2016 23:45
z3_4.8.12-1.debian.tar.xz 989615-Sep-2021 11:19
z3_4.8.12-1.dsc 264215-Sep-2021 11:19
z3_4.8.12-1_arm64.deb 5M15-Sep-2021 12:41
z3_4.8.12-1_armhf.deb 7M15-Sep-2021 11:59
z3_4.8.12-1_ppc64el.deb 6M15-Sep-2021 11:59
z3_4.8.12-1_riscv64.deb 7M15-Sep-2021 14:26
z3_4.8.12-1_s390x.deb 5M15-Sep-2021 11:33
z3_4.8.12-3.1build1.debian.tar.xz 10K22-Apr-2024 11:47
z3_4.8.12-3.1build1.dsc 277022-Apr-2024 11:47
z3_4.8.12-3.1build1_arm64.deb 5M22-Apr-2024 12:45
z3_4.8.12-3.1build1_armhf.deb 7M22-Apr-2024 12:45
z3_4.8.12-3.1build1_ppc64el.deb 6M22-Apr-2024 12:45
z3_4.8.12-3.1build1_riscv64.deb 8M22-Apr-2024 14:45
z3_4.8.12-3.1build1_s390x.deb 6M22-Apr-2024 12:45
z3_4.8.12.orig.tar.gz 5M15-Sep-2021 11:19
z3_4.8.7-4build1.debian.tar.xz 10K23-Mar-2020 07:18
z3_4.8.7-4build1.dsc 259423-Mar-2020 07:18
z3_4.8.7-4build1_arm64.deb 6M23-Mar-2020 13:08
z3_4.8.7-4build1_armhf.deb 6M23-Mar-2020 12:48
z3_4.8.7-4build1_ppc64el.deb 6M23-Mar-2020 12:48
z3_4.8.7-4build1_riscv64.deb 6M03-Apr-2020 19:58
z3_4.8.7-4build1_s390x.deb 6M23-Mar-2020 12:48
z3_4.8.7.orig.tar.gz 4M09-Dec-2019 05:13

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