Index of /ubuntu/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_amd64.deb 43K20-Jan-2014 11:33
libaac-tactics-ocaml-dev_0.4-2_i386.deb 43K20-Jan-2014 11:33
libaac-tactics-ocaml-dev_0.4-5build2_amd64.deb 43K05-Nov-2015 00:33
libaac-tactics-ocaml-dev_0.4-5build2_i386.deb 43K05-Nov-2015 00:34
libaac-tactics-ocaml-dev_8.11.0-1_amd64.deb 38K18-Mar-2020 19:48
libaac-tactics-ocaml-dev_8.15.0-1_amd64.deb 40K06-Feb-2022 19:04
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb 37K01-Nov-2017 13:05
libaac-tactics-ocaml-dev_8.6.1-2_i386.deb 37K01-Nov-2017 13:05
libaac-tactics-ocaml_0.4-2_amd64.deb 125K20-Jan-2014 11:33
libaac-tactics-ocaml_0.4-2_i386.deb 114K20-Jan-2014 11:33
libaac-tactics-ocaml_0.4-5build2_amd64.deb 117K05-Nov-2015 00:33
libaac-tactics-ocaml_0.4-5build2_i386.deb 109K05-Nov-2015 00:34
libaac-tactics-ocaml_8.11.0-1_amd64.deb 104K18-Mar-2020 19:48
libaac-tactics-ocaml_8.15.0-1_amd64.deb 128K06-Feb-2022 19:04
libaac-tactics-ocaml_8.6.1-2_amd64.deb 117K01-Nov-2017 13:05
libaac-tactics-ocaml_8.6.1-2_i386.deb 108K01-Nov-2017 13:05
libcoq-aac-tactics_8.18.0-1build3_amd64.deb 412K08-Apr-2024 07:57
libcoq-aac-tactics_8.19.1-2build3_amd64.deb 430K07-Sep-2024 15:44
libcoq-aac-tactics_8.20.0-1build3_amd64.deb 421K18-Feb-2025 21:25

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