Index of /mirror/ubuntu/pool/universe/a/agda/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
agda-bin_2.3.2.2-1_amd64.deb 5M06-Nov-2013 17:28
agda-bin_2.3.2.2-1_i386.deb 5M06-Nov-2013 17:28
agda-bin_2.4.2.5-1build1_amd64.deb 5M12-Jan-2016 22:59
agda-bin_2.4.2.5-1build1_i386.deb 5M12-Jan-2016 22:45
agda-bin_2.5.3-3build1_amd64.deb 5M25-Nov-2017 20:09
agda-bin_2.5.3-3build1_i386.deb 5M25-Nov-2017 20:09
agda-bin_2.6.0.1-1build4_amd64.deb 6M08-Feb-2020 13:19
agda-bin_2.6.1-1build2.1_amd64.deb 9M16-Sep-2021 08:28
agda-bin_2.6.3-1build1_amd64.deb 10M10-Nov-2023 20:19
agda-bin_2.6.3-2_amd64.deb 10M07-Sep-2024 06:18
agda-bin_2.6.4.3-1_amd64.deb 10M25-Oct-2024 21:15
agda-mode_2.3.2.2-1_all.deb 47K06-Nov-2013 17:28
agda-mode_2.4.2.5-1build1_all.deb 36K12-Jan-2016 22:59
agda-mode_2.5.3-3build1_all.deb 358425-Nov-2017 20:09
agda-mode_2.6.0.1-1build4_all.deb 364408-Feb-2020 13:19
agda_2.3.2.2-1.debian.tar.gz 740606-Nov-2013 17:28
agda_2.3.2.2-1.dsc 328306-Nov-2013 17:28
agda_2.3.2.2-1_all.deb 299606-Nov-2013 17:28
agda_2.3.2.2.orig.tar.gz 2M06-Nov-2013 17:28
agda_2.4.2.5-1build1.debian.tar.xz 784812-Jan-2016 22:30
agda_2.4.2.5-1build1.dsc 382612-Jan-2016 22:30
agda_2.4.2.5-1build1_all.deb 296612-Jan-2016 22:59
agda_2.4.2.5.orig.tar.gz 1007K04-Jan-2016 23:25
agda_2.5.3-3build1.debian.tar.xz 980025-Nov-2017 19:15
agda_2.5.3-3build1.dsc 457225-Nov-2017 19:15
agda_2.5.3-3build1_all.deb 305225-Nov-2017 20:09
agda_2.5.3.orig.tar.gz 1M01-Nov-2017 13:05
agda_2.6.0.1-1build4.debian.tar.xz 10K08-Feb-2020 11:38
agda_2.6.0.1-1build4.dsc 429308-Feb-2020 11:38
agda_2.6.0.1-1build4_all.deb 405608-Feb-2020 13:19
agda_2.6.0.1.orig.tar.gz 2M01-Sep-2019 12:43
agda_2.6.1-1build2.1.debian.tar.xz 10K16-Sep-2021 07:39
agda_2.6.1-1build2.1.dsc 429316-Sep-2021 07:39
agda_2.6.1-1build2.1_all.deb 413416-Sep-2021 08:28
agda_2.6.1.orig.tar.gz 3M29-Jul-2020 23:19
agda_2.6.3-1build1.debian.tar.xz 11K08-Nov-2023 09:36
agda_2.6.3-1build1.dsc 493908-Nov-2023 09:36
agda_2.6.3-1build1_all.deb 375810-Nov-2023 20:19
agda_2.6.3-2.debian.tar.xz 11K07-Sep-2024 06:18
agda_2.6.3-2.dsc 494507-Sep-2024 06:18
agda_2.6.3-2_all.deb 372407-Sep-2024 06:18
agda_2.6.3.orig.tar.gz 2M26-Oct-2023 15:43
agda_2.6.4.3-1.debian.tar.xz 10K25-Oct-2024 19:11
agda_2.6.4.3-1.dsc 519725-Oct-2024 19:11
agda_2.6.4.3-1_all.deb 373625-Oct-2024 21:15
agda_2.6.4.3.orig.tar.gz 2M25-Oct-2024 19:11
elpa-agda2-mode_2.5.3-3build1_all.deb 40K25-Nov-2017 20:09
elpa-agda2-mode_2.6.0.1-1build4_all.deb 40K08-Feb-2020 13:19
elpa-agda2-mode_2.6.1-1build2.1_all.deb 45K16-Sep-2021 08:28
elpa-agda2-mode_2.6.3-1build1_all.deb 45K10-Nov-2023 20:19
elpa-agda2-mode_2.6.3-2_all.deb 45K07-Sep-2024 06:18
elpa-agda2-mode_2.6.4.3-1_all.deb 45K25-Oct-2024 21:15
libghc-agda-dev_2.3.2.2-1_amd64.deb 13M06-Nov-2013 17:28
libghc-agda-dev_2.3.2.2-1_i386.deb 12M06-Nov-2013 17:28
libghc-agda-dev_2.4.2.5-1build1_amd64.deb 10M12-Jan-2016 22:59
libghc-agda-dev_2.4.2.5-1build1_i386.deb 10M12-Jan-2016 22:45
libghc-agda-dev_2.5.3-3build1_amd64.deb 15M25-Nov-2017 20:09
libghc-agda-dev_2.5.3-3build1_i386.deb 15M25-Nov-2017 20:09
libghc-agda-dev_2.6.0.1-1build4_amd64.deb 19M08-Feb-2020 13:19
libghc-agda-dev_2.6.1-1build2.1_amd64.deb 38M16-Sep-2021 08:28
libghc-agda-dev_2.6.3-1build1_amd64.deb 24M10-Nov-2023 20:19
libghc-agda-dev_2.6.3-2_amd64.deb 24M07-Sep-2024 06:18
libghc-agda-dev_2.6.4.3-1_amd64.deb 23M25-Oct-2024 21:15
libghc-agda-doc_2.3.2.2-1_all.deb 2M06-Nov-2013 17:28
libghc-agda-doc_2.4.2.5-1build1_all.deb 2M12-Jan-2016 22:59
libghc-agda-doc_2.5.3-3build1_all.deb 3M25-Nov-2017 20:09
libghc-agda-doc_2.6.0.1-1build4_all.deb 4M08-Feb-2020 13:19
libghc-agda-doc_2.6.1-1build2.1_all.deb 5M16-Sep-2021 08:28
libghc-agda-doc_2.6.3-1build1_all.deb 6M10-Nov-2023 20:19
libghc-agda-doc_2.6.3-2_all.deb 6M07-Sep-2024 06:18
libghc-agda-doc_2.6.4.3-1_all.deb 6M25-Oct-2024 21:15

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