Index of /ubuntu-ports/pool/universe/w/why3/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libwhy3-ocaml-dev_0.88.3-1ubuntu4_arm64.deb 2M07-Apr-2018 02:19
libwhy3-ocaml-dev_0.88.3-1ubuntu4_armhf.deb 2M07-Apr-2018 02:19
libwhy3-ocaml-dev_0.88.3-1ubuntu4_ppc64el.deb 2M07-Apr-2018 02:19
libwhy3-ocaml-dev_0.88.3-1ubuntu4_s390x.deb 2M07-Apr-2018 02:19
libwhy3-ocaml-dev_1.2.1-6_arm64.deb 8M12-Mar-2020 14:23
libwhy3-ocaml-dev_1.2.1-6_armhf.deb 8M12-Mar-2020 14:18
libwhy3-ocaml-dev_1.2.1-6_ppc64el.deb 8M12-Mar-2020 14:18
libwhy3-ocaml-dev_1.2.1-6_riscv64.deb 4M05-Apr-2020 15:18
libwhy3-ocaml-dev_1.2.1-6_s390x.deb 8M12-Mar-2020 14:08
libwhy3-ocaml-dev_1.6.0-1build7_arm64.deb 14M01-Apr-2024 05:46
libwhy3-ocaml-dev_1.6.0-1build7_armhf.deb 13M01-Apr-2024 05:46
libwhy3-ocaml-dev_1.6.0-1build7_ppc64el.deb 13M01-Apr-2024 14:47
libwhy3-ocaml-dev_1.6.0-1build7_riscv64.deb 14M01-Apr-2024 06:56
libwhy3-ocaml-dev_1.6.0-1build7_s390x.deb 12M01-Apr-2024 06:56
libwhy3-ocaml-dev_1.7.2-2build1_arm64.deb 14M06-Sep-2024 16:41
libwhy3-ocaml-dev_1.7.2-2build1_armhf.deb 7M06-Sep-2024 16:41
libwhy3-ocaml-dev_1.7.2-2build1_ppc64el.deb 13M06-Sep-2024 16:41
libwhy3-ocaml-dev_1.7.2-2build1_riscv64.deb 15M06-Sep-2024 17:48
libwhy3-ocaml-dev_1.7.2-2build1_s390x.deb 13M06-Sep-2024 16:41
libwhy3-ocaml-dev_1.8.0-2_arm64.deb 14M02-Feb-2025 12:45
libwhy3-ocaml-dev_1.8.0-2_armhf.deb 7M02-Feb-2025 12:45
libwhy3-ocaml-dev_1.8.0-2_ppc64el.deb 14M02-Feb-2025 12:45
libwhy3-ocaml-dev_1.8.0-2_riscv64.deb 16M02-Feb-2025 14:02
libwhy3-ocaml-dev_1.8.0-2_s390x.deb 13M02-Feb-2025 12:45
why3-coq_0.88.3-1ubuntu4_arm64.deb 2M07-Apr-2018 02:19
why3-coq_0.88.3-1ubuntu4_armhf.deb 2M07-Apr-2018 02:19
why3-coq_0.88.3-1ubuntu4_ppc64el.deb 2M07-Apr-2018 02:19
why3-coq_0.88.3-1ubuntu4_s390x.deb 2M07-Apr-2018 02:19
why3-coq_1.2.1-6_arm64.deb 565K12-Mar-2020 14:23
why3-coq_1.2.1-6_ppc64el.deb 565K12-Mar-2020 14:18
why3-doc-html_0.88.3-1ubuntu4_all.deb 355K07-Apr-2018 02:19
why3-doc-html_1.2.1-6_all.deb 290K12-Mar-2020 14:18
why3-doc-html_1.6.0-1build7_all.deb 753K01-Apr-2024 05:45
why3-doc-html_1.7.2-2build1_all.deb 773K06-Sep-2024 16:41
why3-doc-pdf_0.88.3-1ubuntu4_all.deb 1M07-Apr-2018 02:19
why3-doc-pdf_1.2.1-6_all.deb 1M12-Mar-2020 14:18
why3-doc-pdf_1.6.0-1build7_all.deb 1M01-Apr-2024 05:45
why3-doc-pdf_1.7.2-2build1_all.deb 1M06-Sep-2024 16:41
why3-examples_0.88.3-1ubuntu4_all.deb 2M07-Apr-2018 02:19
why3-examples_1.2.1-6_all.deb 2M12-Mar-2020 14:18
why3-examples_1.6.0-1build7_all.deb 4M01-Apr-2024 05:45
why3-examples_1.7.2-2build1_all.deb 4M06-Sep-2024 16:41
why3-examples_1.8.0-2_all.deb 4M02-Feb-2025 12:45
why3_0.88.3-1ubuntu4.debian.tar.xz 13K07-Apr-2018 02:19
why3_0.88.3-1ubuntu4.dsc 278607-Apr-2018 02:19
why3_0.88.3-1ubuntu4_arm64.deb 26M07-Apr-2018 02:19
why3_0.88.3-1ubuntu4_armhf.deb 11M07-Apr-2018 02:19
why3_0.88.3-1ubuntu4_ppc64el.deb 21M07-Apr-2018 02:19
why3_0.88.3-1ubuntu4_s390x.deb 20M07-Apr-2018 02:19
why3_0.88.3.orig.tar.gz 4M30-Jan-2018 10:34
why3_1.2.1-6.debian.tar.xz 23K12-Mar-2020 14:08
why3_1.2.1-6.dsc 277412-Mar-2020 14:08
why3_1.2.1-6_arm64.deb 38M12-Mar-2020 14:23
why3_1.2.1-6_armhf.deb 19M12-Mar-2020 14:18
why3_1.2.1-6_ppc64el.deb 32M12-Mar-2020 14:18
why3_1.2.1-6_riscv64.deb 55M05-Apr-2020 15:18
why3_1.2.1-6_s390x.deb 30M12-Mar-2020 14:08
why3_1.2.1.orig.tar.gz 6M31-Oct-2019 09:18
why3_1.6.0-1build7.debian.tar.xz 18K01-Apr-2024 05:44
why3_1.6.0-1build7.dsc 274901-Apr-2024 05:44
why3_1.6.0-1build7_arm64.deb 15M01-Apr-2024 05:46
why3_1.6.0-1build7_armhf.deb 11M01-Apr-2024 05:46
why3_1.6.0-1build7_ppc64el.deb 14M01-Apr-2024 14:47
why3_1.6.0-1build7_riscv64.deb 13M01-Apr-2024 06:56
why3_1.6.0-1build7_s390x.deb 13M01-Apr-2024 06:56
why3_1.6.0.orig.tar.gz 7M11-Sep-2023 09:44
why3_1.7.2-2build1.debian.tar.xz 18K06-Sep-2024 15:36
why3_1.7.2-2build1.dsc 268706-Sep-2024 15:36
why3_1.7.2-2build1_arm64.deb 13M06-Sep-2024 16:41
why3_1.7.2-2build1_armhf.deb 28M06-Sep-2024 16:41
why3_1.7.2-2build1_ppc64el.deb 12M06-Sep-2024 16:41
why3_1.7.2-2build1_riscv64.deb 12M06-Sep-2024 17:48
why3_1.7.2-2build1_s390x.deb 12M06-Sep-2024 16:41
why3_1.7.2.orig.tar.bz2 6M12-Aug-2024 17:33
why3_1.8.0-2.debian.tar.xz 18K02-Feb-2025 12:44
why3_1.8.0-2.dsc 214002-Feb-2025 12:44
why3_1.8.0-2_arm64.deb 15M02-Feb-2025 12:45
why3_1.8.0-2_armhf.deb 23M02-Feb-2025 12:45
why3_1.8.0-2_ppc64el.deb 13M02-Feb-2025 12:45
why3_1.8.0-2_riscv64.deb 13M02-Feb-2025 14:02
why3_1.8.0-2_s390x.deb 13M02-Feb-2025 12:45
why3_1.8.0.orig.tar.bz2 6M23-Jan-2025 05:47

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