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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
agda-bin_2.3.2.2-1_powerpc.deb 5M06-Nov-2013 17:29
agda-bin_2.4.2.5-1build1_arm64.deb 8M13-Jan-2016 00:25
agda-bin_2.4.2.5-1build1_armhf.deb 6M21-Jun-2017 18:09
agda-bin_2.4.2.5-1build1_powerpc.deb 4M12-Jan-2016 22:59
agda-bin_2.4.2.5-1build1_ppc64el.deb 6M12-Jan-2016 23:15
agda-bin_2.4.2.5-1build1_s390x.deb 11M12-Jan-2016 22:59
agda-bin_2.5.3-3build1_arm64.deb 9M25-Nov-2017 22:59
agda-bin_2.5.3-3build1_armhf.deb 7M25-Nov-2017 22:59
agda-bin_2.5.3-3build1_ppc64el.deb 6M25-Nov-2017 20:10
agda-bin_2.5.3-3build1_s390x.deb 13M25-Nov-2017 20:10
agda-bin_2.6.0.1-1build4_arm64.deb 7M08-Feb-2020 14:53
agda-bin_2.6.0.1-1build4_ppc64el.deb 9M08-Feb-2020 12:35
agda-bin_2.6.0.1-1build4_riscv64.deb 17M10-Apr-2020 17:03
agda-bin_2.6.0.1-1build4_s390x.deb 15M08-Feb-2020 13:07
agda-bin_2.6.1-1build2.1_ppc64el.deb 14M16-Sep-2021 08:43
agda-bin_2.6.1-1build2.1_riscv64.deb 15M17-Sep-2021 21:33
agda-bin_2.6.1-1build2.1_s390x.deb 28M16-Sep-2021 08:58
agda-bin_2.6.3-1build1_arm64.deb 11M11-Nov-2023 00:55
agda-bin_2.6.3-1build1_ppc64el.deb 13M10-Nov-2023 21:14
agda-bin_2.6.3-1build1_riscv64.deb 12M11-Nov-2023 17:09
agda-bin_2.6.3-1build1_s390x.deb 17M10-Nov-2023 21:14
agda-bin_2.6.3-2_arm64.deb 11M07-Sep-2024 07:09
agda-bin_2.6.3-2_ppc64el.deb 12M07-Sep-2024 07:09
agda-bin_2.6.3-2_riscv64.deb 12M07-Sep-2024 15:44
agda-bin_2.6.3-2_s390x.deb 17M07-Sep-2024 07:09
agda-bin_2.6.4.3-1_arm64.deb 11M25-Oct-2024 21:15
agda-bin_2.6.4.3-1_ppc64el.deb 10M25-Oct-2024 21:15
agda-bin_2.6.4.3-1_riscv64.deb 14M26-Oct-2024 08:11
agda-bin_2.6.4.3-1_s390x.deb 22M25-Oct-2024 22:46
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_powerpc.deb 15M06-Nov-2013 17:29
libghc-agda-dev_2.4.2.5-1build1_arm64.deb 16M13-Jan-2016 00:25
libghc-agda-dev_2.4.2.5-1build1_armhf.deb 13M21-Jun-2017 18:09
libghc-agda-dev_2.4.2.5-1build1_powerpc.deb 10M12-Jan-2016 22:59
libghc-agda-dev_2.4.2.5-1build1_ppc64el.deb 16M12-Jan-2016 23:15
libghc-agda-dev_2.4.2.5-1build1_s390x.deb 16M12-Jan-2016 22:59
libghc-agda-dev_2.5.3-3build1_arm64.deb 23M25-Nov-2017 22:59
libghc-agda-dev_2.5.3-3build1_armhf.deb 19M25-Nov-2017 22:59
libghc-agda-dev_2.5.3-3build1_ppc64el.deb 20M25-Nov-2017 20:10
libghc-agda-dev_2.5.3-3build1_s390x.deb 24M25-Nov-2017 20:10
libghc-agda-dev_2.6.0.1-1build4_arm64.deb 22M08-Feb-2020 14:53
libghc-agda-dev_2.6.0.1-1build4_ppc64el.deb 27M08-Feb-2020 12:35
libghc-agda-dev_2.6.0.1-1build4_riscv64.deb 42M10-Apr-2020 17:03
libghc-agda-dev_2.6.0.1-1build4_s390x.deb 29M08-Feb-2020 13:07
libghc-agda-dev_2.6.1-1build2.1_ppc64el.deb 63M16-Sep-2021 08:43
libghc-agda-dev_2.6.1-1build2.1_riscv64.deb 90M17-Sep-2021 21:33
libghc-agda-dev_2.6.1-1build2.1_s390x.deb 66M16-Sep-2021 08:58
libghc-agda-dev_2.6.3-1build1_arm64.deb 28M11-Nov-2023 00:55
libghc-agda-dev_2.6.3-1build1_ppc64el.deb 39M10-Nov-2023 21:14
libghc-agda-dev_2.6.3-1build1_riscv64.deb 45M11-Nov-2023 17:09
libghc-agda-dev_2.6.3-1build1_s390x.deb 38M10-Nov-2023 21:14
libghc-agda-dev_2.6.3-2_arm64.deb 27M07-Sep-2024 07:09
libghc-agda-dev_2.6.3-2_ppc64el.deb 38M07-Sep-2024 07:09
libghc-agda-dev_2.6.3-2_riscv64.deb 45M07-Sep-2024 15:44
libghc-agda-dev_2.6.3-2_s390x.deb 37M07-Sep-2024 07:09
libghc-agda-dev_2.6.4.3-1_arm64.deb 26M25-Oct-2024 21:15
libghc-agda-dev_2.6.4.3-1_ppc64el.deb 33M25-Oct-2024 21:15
libghc-agda-dev_2.6.4.3-1_riscv64.deb 48M26-Oct-2024 08:11
libghc-agda-dev_2.6.4.3-1_s390x.deb 44M25-Oct-2024 22:46
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