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

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

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