Index of /ubuntu-ports/pool/universe/m/menhir/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libmenhir-ocaml-dev_20130116.dfsg-2_arm64.deb 30K23-Dec-2013 01:28
libmenhir-ocaml-dev_20130116.dfsg-2_armhf.deb 45K23-Dec-2013 01:08
libmenhir-ocaml-dev_20130116.dfsg-2_powerpc.deb 44K23-Dec-2013 01:09
libmenhir-ocaml-dev_20130116.dfsg-2_ppc64el.deb 30K19-Feb-2014 10:08
libmenhir-ocaml-dev_20151112.dfsg-1_arm64.deb 99K18-Jan-2016 05:25
libmenhir-ocaml-dev_20151112.dfsg-1_armhf.deb 101K18-Jan-2016 05:26
libmenhir-ocaml-dev_20151112.dfsg-1_powerpc.deb 96K18-Jan-2016 05:26
libmenhir-ocaml-dev_20151112.dfsg-1_ppc64el.deb 57K18-Jan-2016 05:26
libmenhir-ocaml-dev_20151112.dfsg-1_s390x.deb 57K18-Jan-2016 05:26
libmenhir-ocaml-dev_20171222-1_arm64.deb 174K02-Jan-2018 23:29
libmenhir-ocaml-dev_20171222-1_armhf.deb 175K02-Jan-2018 23:29
libmenhir-ocaml-dev_20171222-1_ppc64el.deb 177K02-Jan-2018 23:29
libmenhir-ocaml-dev_20171222-1_s390x.deb 171K02-Jan-2018 23:29
libmenhir-ocaml-dev_20200123-2_arm64.deb 459K12-Mar-2020 14:08
libmenhir-ocaml-dev_20200123-2_armhf.deb 452K12-Mar-2020 14:08
libmenhir-ocaml-dev_20200123-2_ppc64el.deb 459K12-Mar-2020 14:08
libmenhir-ocaml-dev_20200123-2_riscv64.deb 398K04-Apr-2020 16:03
libmenhir-ocaml-dev_20200123-2_s390x.deb 451K12-Mar-2020 14:08
libmenhir-ocaml-dev_20210929-1build1_arm64.deb 617K24-Jan-2022 16:44
libmenhir-ocaml-dev_20210929-1build1_armhf.deb 612K24-Jan-2022 16:44
libmenhir-ocaml-dev_20210929-1build1_ppc64el.deb 623K24-Jan-2022 16:44
libmenhir-ocaml-dev_20210929-1build1_riscv64.deb 649K24-Jan-2022 17:57
libmenhir-ocaml-dev_20210929-1build1_s390x.deb 612K24-Jan-2022 16:44
libmenhir-ocaml-dev_20231231+ds-1_arm64.deb 743K15-Feb-2024 18:29
libmenhir-ocaml-dev_20231231+ds-1_armhf.deb 733K15-Feb-2024 18:29
libmenhir-ocaml-dev_20231231+ds-1_ppc64el.deb 746K15-Feb-2024 18:29
libmenhir-ocaml-dev_20231231+ds-1_riscv64.deb 783K16-Feb-2024 01:53
libmenhir-ocaml-dev_20231231+ds-1_s390x.deb 728K15-Feb-2024 18:30
libmenhir-ocaml-dev_20240715+ds-1_arm64.deb 904K21-Aug-2024 06:58
libmenhir-ocaml-dev_20240715+ds-1_armhf.deb 791K21-Aug-2024 06:58
libmenhir-ocaml-dev_20240715+ds-1_ppc64el.deb 910K21-Aug-2024 06:59
libmenhir-ocaml-dev_20240715+ds-1_riscv64.deb 951K21-Aug-2024 08:07
libmenhir-ocaml-dev_20240715+ds-1_s390x.deb 896K21-Aug-2024 06:59
libmenhir-ocaml-dev_20240715+ds-1build1_arm64.deb 886K29-Jan-2025 16:13
libmenhir-ocaml-dev_20240715+ds-1build1_armhf.deb 772K29-Jan-2025 13:17
libmenhir-ocaml-dev_20240715+ds-1build1_ppc64el..> 891K29-Jan-2025 13:17
libmenhir-ocaml-dev_20240715+ds-1build1_riscv64..> 933K29-Jan-2025 14:41
libmenhir-ocaml-dev_20240715+ds-1build1_s390x.deb 877K29-Jan-2025 14:41
menhir-doc_20171222-1_all.deb 441K02-Jan-2018 23:29
menhir-doc_20200123-2_all.deb 523K12-Mar-2020 14:08
menhir-doc_20210929-1build1_all.deb 542K24-Jan-2022 16:44
menhir-doc_20231231+ds-1_all.deb 466K15-Feb-2024 18:29
menhir-doc_20240715+ds-1_all.deb 466K21-Aug-2024 06:58
menhir-doc_20240715+ds-1build1_all.deb 466K29-Jan-2025 13:17
menhir_20130116.dfsg-2.debian.tar.gz 647703-Dec-2013 05:28
menhir_20130116.dfsg-2.dsc 211703-Dec-2013 05:28
menhir_20130116.dfsg-2_arm64.deb 925K23-Dec-2013 01:28
menhir_20130116.dfsg-2_armhf.deb 432K23-Dec-2013 01:08
menhir_20130116.dfsg-2_powerpc.deb 374K23-Dec-2013 01:09
menhir_20130116.dfsg-2_ppc64el.deb 925K19-Feb-2014 10:08
menhir_20130116.dfsg.orig.tar.gz 262K03-Dec-2013 05:28
menhir_20151112.dfsg-1.debian.tar.xz 669618-Jan-2016 05:25
menhir_20151112.dfsg-1.dsc 213318-Jan-2016 05:25
menhir_20151112.dfsg-1_arm64.deb 605K18-Jan-2016 05:25
menhir_20151112.dfsg-1_armhf.deb 617K18-Jan-2016 05:26
menhir_20151112.dfsg-1_powerpc.deb 555K18-Jan-2016 05:26
menhir_20151112.dfsg-1_ppc64el.deb 1M18-Jan-2016 05:26
menhir_20151112.dfsg-1_s390x.deb 1M18-Jan-2016 05:26
menhir_20151112.dfsg.orig.tar.gz 324K18-Jan-2016 05:25
menhir_20171222-1.debian.tar.xz 702002-Jan-2018 23:29
menhir_20171222-1.dsc 229002-Jan-2018 23:29
menhir_20171222-1_arm64.deb 648K02-Jan-2018 23:29
menhir_20171222-1_armhf.deb 560K02-Jan-2018 23:29
menhir_20171222-1_ppc64el.deb 662K02-Jan-2018 23:29
menhir_20171222-1_s390x.deb 667K02-Jan-2018 23:29
menhir_20171222.orig.tar.gz 859K02-Jan-2018 23:29
menhir_20200123-2.debian.tar.xz 13K12-Mar-2020 14:08
menhir_20200123-2.dsc 220912-Mar-2020 14:08
menhir_20200123-2_arm64.deb 952K12-Mar-2020 14:08
menhir_20200123-2_armhf.deb 737K12-Mar-2020 14:08
menhir_20200123-2_ppc64el.deb 838K12-Mar-2020 14:08
menhir_20200123-2_riscv64.deb 241K04-Apr-2020 16:03
menhir_20200123-2_s390x.deb 791K12-Mar-2020 14:08
menhir_20200123.orig.tar.gz 2M08-Feb-2020 23:23
menhir_20210929-1build1.debian.tar.xz 13K24-Jan-2022 16:44
menhir_20210929-1build1.dsc 226024-Jan-2022 16:44
menhir_20210929-1build1_arm64.deb 1M24-Jan-2022 16:44
menhir_20210929-1build1_armhf.deb 1003K24-Jan-2022 16:44
menhir_20210929-1build1_ppc64el.deb 1M24-Jan-2022 16:44
menhir_20210929-1build1_riscv64.deb 1020K24-Jan-2022 17:57
menhir_20210929-1build1_s390x.deb 1M24-Jan-2022 16:44
menhir_20210929.orig.tar.gz 1M18-Oct-2021 20:41
menhir_20231231+ds-1.debian.tar.xz 13K15-Feb-2024 17:24
menhir_20231231+ds-1.dsc 208415-Feb-2024 17:24
menhir_20231231+ds-1_arm64.deb 2M15-Feb-2024 18:29
menhir_20231231+ds-1_armhf.deb 1M15-Feb-2024 18:29
menhir_20231231+ds-1_ppc64el.deb 1M15-Feb-2024 18:29
menhir_20231231+ds-1_riscv64.deb 1M16-Feb-2024 01:53
menhir_20231231+ds-1_s390x.deb 1M15-Feb-2024 18:30
menhir_20231231+ds.orig.tar.xz 527K15-Feb-2024 17:24
menhir_20240715+ds-1.debian.tar.xz 14K21-Aug-2024 06:58
menhir_20240715+ds-1.dsc 208421-Aug-2024 06:58
menhir_20240715+ds-1_arm64.deb 2M21-Aug-2024 06:58
menhir_20240715+ds-1_armhf.deb 398K21-Aug-2024 06:58
menhir_20240715+ds-1_ppc64el.deb 2M21-Aug-2024 06:59
menhir_20240715+ds-1_riscv64.deb 2M21-Aug-2024 08:07
menhir_20240715+ds-1_s390x.deb 2M21-Aug-2024 06:59
menhir_20240715+ds-1build1.debian.tar.xz 14K29-Jan-2025 13:15
menhir_20240715+ds-1build1.dsc 231129-Jan-2025 13:15
menhir_20240715+ds-1build1_arm64.deb 2M29-Jan-2025 16:13
menhir_20240715+ds-1build1_armhf.deb 408K29-Jan-2025 13:17
menhir_20240715+ds-1build1_ppc64el.deb 2M29-Jan-2025 13:17
menhir_20240715+ds-1build1_riscv64.deb 2M29-Jan-2025 14:41
menhir_20240715+ds-1build1_s390x.deb 2M29-Jan-2025 14:41
menhir_20240715+ds.orig.tar.xz 528K21-Aug-2024 06:58

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