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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libmenhir-ocaml-dev_20130116.dfsg-2_amd64.deb 43K23-Dec-2013 01:08
libmenhir-ocaml-dev_20130116.dfsg-2_i386.deb 43K23-Dec-2013 01:08
libmenhir-ocaml-dev_20151112.dfsg-1_amd64.deb 97K18-Jan-2016 05:25
libmenhir-ocaml-dev_20151112.dfsg-1_i386.deb 96K18-Jan-2016 05:26
libmenhir-ocaml-dev_20171222-1_amd64.deb 172K02-Jan-2018 23:29
libmenhir-ocaml-dev_20171222-1_i386.deb 171K02-Jan-2018 23:29
libmenhir-ocaml-dev_20200123-2_amd64.deb 453K12-Mar-2020 14:08
libmenhir-ocaml-dev_20210929-1build1_amd64.deb 613K24-Jan-2022 16:44
libmenhir-ocaml-dev_20231231+ds-1_amd64.deb 734K15-Feb-2024 18:29
libmenhir-ocaml-dev_20240715+ds-1_amd64.deb 897K21-Aug-2024 06:58
libmenhir-ocaml-dev_20240715+ds-1build1_amd64.deb 878K29-Jan-2025 13:17
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_amd64.deb 418K23-Dec-2013 01:08
menhir_20130116.dfsg-2_i386.deb 378K23-Dec-2013 01: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_amd64.deb 580K18-Jan-2016 05:25
menhir_20151112.dfsg-1_i386.deb 540K18-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_amd64.deb 596K02-Jan-2018 23:29
menhir_20171222-1_i386.deb 535K02-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_amd64.deb 776K12-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_amd64.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_amd64.deb 1M15-Feb-2024 18:29
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_amd64.deb 1M21-Aug-2024 06:58
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_amd64.deb 1M29-Jan-2025 13:17
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