Index of /ubuntu-ports/pool/universe/a/aac-tactics/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
aac-tactics_0.4-2.debian.tar.xz 288420-Jan-2014 11:09
aac-tactics_0.4-2.dsc 219120-Jan-2014 11:09
aac-tactics_0.4-5build2.debian.tar.xz 307605-Nov-2015 00:30
aac-tactics_0.4-5build2.dsc 191405-Nov-2015 00:30
aac-tactics_0.4.orig.tar.gz 76K06-Dec-2013 17:23
aac-tactics_8.11.0-1.debian.tar.xz 352018-Mar-2020 18:28
aac-tactics_8.11.0-1.dsc 217818-Mar-2020 18:28
aac-tactics_8.11.0.orig.tar.gz 64K18-Mar-2020 18:28
aac-tactics_8.15.0-1.debian.tar.xz 360006-Feb-2022 17:19
aac-tactics_8.15.0-1.dsc 220906-Feb-2022 17:19
aac-tactics_8.15.0.orig.tar.gz 67K06-Feb-2022 17:19
aac-tactics_8.18.0-1build3.debian.tar.xz 390408-Apr-2024 07:57
aac-tactics_8.18.0-1build3.dsc 218208-Apr-2024 07:57
aac-tactics_8.18.0.orig.tar.gz 74K21-Dec-2023 23:52
aac-tactics_8.19.1-2build3.debian.tar.xz 392007-Sep-2024 15:43
aac-tactics_8.19.1-2build3.dsc 210307-Sep-2024 15:43
aac-tactics_8.19.1.orig.tar.gz 75K11-Jun-2024 17:54
aac-tactics_8.20.0-1build3.debian.tar.xz 394418-Feb-2025 21:25
aac-tactics_8.20.0-1build3.dsc 210318-Feb-2025 21:25
aac-tactics_8.20.0.orig.tar.gz 76K20-Nov-2024 18:47
aac-tactics_8.6.1-2.debian.tar.xz 324801-Nov-2017 13:05
aac-tactics_8.6.1-2.dsc 223801-Nov-2017 13:05
aac-tactics_8.6.1.orig.tar.gz 73K30-Dec-2016 17:13
libaac-tactics-coq_0.4-2_all.deb 208K20-Jan-2014 11:33
libaac-tactics-coq_0.4-5build2_all.deb 208K05-Nov-2015 00:33
libaac-tactics-coq_8.11.0-1_all.deb 238K18-Mar-2020 19:48
libaac-tactics-coq_8.15.0-1_all.deb 282K06-Feb-2022 19:04
libaac-tactics-coq_8.6.1-2_all.deb 216K01-Nov-2017 13:05
libaac-tactics-ocaml-dev_0.4-2_arm64.deb 43K20-Jan-2014 11:33
libaac-tactics-ocaml-dev_0.4-2_armhf.deb 43K20-Jan-2014 11:33
libaac-tactics-ocaml-dev_0.4-2_powerpc.deb 43K20-Jan-2014 11:33
libaac-tactics-ocaml-dev_0.4-2_ppc64el.deb 43K17-Feb-2014 22:44
libaac-tactics-ocaml-dev_0.4-5build2_arm64.deb 43K05-Nov-2015 00:34
libaac-tactics-ocaml-dev_0.4-5build2_armhf.deb 43K05-Nov-2015 00:34
libaac-tactics-ocaml-dev_0.4-5build2_powerpc.deb 43K05-Nov-2015 00:34
libaac-tactics-ocaml-dev_0.4-5build2_ppc64el.deb 43K05-Nov-2015 03:49
libaac-tactics-ocaml-dev_0.4-5build2_s390x.deb 43K05-Jan-2016 17:05
libaac-tactics-ocaml-dev_8.11.0-1_arm64.deb 38K18-Mar-2020 19:48
libaac-tactics-ocaml-dev_8.11.0-1_ppc64el.deb 38K18-Mar-2020 19:48
libaac-tactics-ocaml-dev_8.15.0-1_arm64.deb 40K06-Feb-2022 19:05
libaac-tactics-ocaml-dev_8.15.0-1_armhf.deb 40K06-Feb-2022 19:05
libaac-tactics-ocaml-dev_8.15.0-1_ppc64el.deb 40K06-Feb-2022 19:05
libaac-tactics-ocaml-dev_8.15.0-1_riscv64.deb 40K06-Feb-2022 19:05
libaac-tactics-ocaml-dev_8.15.0-1_s390x.deb 40K06-Feb-2022 19:05
libaac-tactics-ocaml-dev_8.6.1-2_arm64.deb 37K01-Nov-2017 13:05
libaac-tactics-ocaml-dev_8.6.1-2_armhf.deb 37K01-Nov-2017 14:20
libaac-tactics-ocaml-dev_8.6.1-2_ppc64el.deb 37K01-Nov-2017 13:05
libaac-tactics-ocaml-dev_8.6.1-2_s390x.deb 37K01-Nov-2017 13:05
libaac-tactics-ocaml_0.4-2_arm64.deb 27K20-Jan-2014 11:33
libaac-tactics-ocaml_0.4-2_armhf.deb 121K20-Jan-2014 11:33
libaac-tactics-ocaml_0.4-2_powerpc.deb 111K20-Jan-2014 11:33
libaac-tactics-ocaml_0.4-2_ppc64el.deb 27K17-Feb-2014 22:44
libaac-tactics-ocaml_0.4-5build2_arm64.deb 111K05-Nov-2015 00:34
libaac-tactics-ocaml_0.4-5build2_armhf.deb 115K05-Nov-2015 00:34
libaac-tactics-ocaml_0.4-5build2_powerpc.deb 106K05-Nov-2015 00:34
libaac-tactics-ocaml_0.4-5build2_ppc64el.deb 28K05-Nov-2015 03:49
libaac-tactics-ocaml_0.4-5build2_s390x.deb 28K05-Jan-2016 17:05
libaac-tactics-ocaml_8.11.0-1_arm64.deb 118K18-Mar-2020 19:48
libaac-tactics-ocaml_8.11.0-1_ppc64el.deb 111K18-Mar-2020 19:48
libaac-tactics-ocaml_8.15.0-1_arm64.deb 147K06-Feb-2022 19:05
libaac-tactics-ocaml_8.15.0-1_armhf.deb 128K06-Feb-2022 19:05
libaac-tactics-ocaml_8.15.0-1_ppc64el.deb 134K06-Feb-2022 19:05
libaac-tactics-ocaml_8.15.0-1_riscv64.deb 129K06-Feb-2022 19:05
libaac-tactics-ocaml_8.15.0-1_s390x.deb 132K06-Feb-2022 19:05
libaac-tactics-ocaml_8.6.1-2_arm64.deb 133K01-Nov-2017 13:05
libaac-tactics-ocaml_8.6.1-2_armhf.deb 114K01-Nov-2017 14:20
libaac-tactics-ocaml_8.6.1-2_ppc64el.deb 124K01-Nov-2017 13:05
libaac-tactics-ocaml_8.6.1-2_s390x.deb 120K01-Nov-2017 13:05
libcoq-aac-tactics_8.18.0-1build3_arm64.deb 429K08-Apr-2024 07:57
libcoq-aac-tactics_8.18.0-1build3_armhf.deb 411K08-Apr-2024 07:57
libcoq-aac-tactics_8.18.0-1build3_ppc64el.deb 418K08-Apr-2024 07:57
libcoq-aac-tactics_8.18.0-1build3_riscv64.deb 418K08-Apr-2024 07:57
libcoq-aac-tactics_8.18.0-1build3_s390x.deb 417K08-Apr-2024 07:57
libcoq-aac-tactics_8.19.1-2build3_arm64.deb 445K07-Sep-2024 15:44
libcoq-aac-tactics_8.19.1-2build3_ppc64el.deb 433K07-Sep-2024 15:44
libcoq-aac-tactics_8.19.1-2build3_riscv64.deb 437K07-Sep-2024 16:34
libcoq-aac-tactics_8.19.1-2build3_s390x.deb 436K07-Sep-2024 15:44
libcoq-aac-tactics_8.20.0-1build3_arm64.deb 436K18-Feb-2025 21:25
libcoq-aac-tactics_8.20.0-1build3_ppc64el.deb 425K18-Feb-2025 21:26
libcoq-aac-tactics_8.20.0-1build3_riscv64.deb 428K19-Feb-2025 00:23
libcoq-aac-tactics_8.20.0-1build3_s390x.deb 427K19-Feb-2025 00:24

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