Index of /ubuntu/pool/universe/a/acl2/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
acl2-books-certs_6.3-5_all.deb 11M24-Oct-2013 16:36
acl2-books-certs_7.1-1_all.deb 13M27-Jun-2015 13:48
acl2-books-certs_8.0dfsg-1_all.deb 70M14-Jan-2018 03:08
acl2-books-certs_8.2dfsg-3build1_all.deb 66M23-Mar-2020 13:24
acl2-books-certs_8.4dfsg-2_all.deb 221M19-Dec-2021 01:10
acl2-books-certs_8.5dfsg-5build3_all.deb 216M02-Apr-2024 08:03
acl2-books-certs_8.5dfsg-6_all.deb 79M29-Jul-2024 04:20
acl2-books-source_6.3-5_all.deb 9M24-Oct-2013 16:36
acl2-books-source_7.1-1_all.deb 10M27-Jun-2015 13:48
acl2-books-source_8.0dfsg-1_all.deb 12M14-Jan-2018 03:08
acl2-books-source_8.2dfsg-3build1_all.deb 14M23-Mar-2020 13:24
acl2-books-source_8.4dfsg-2_all.deb 21M19-Dec-2021 01:10
acl2-books-source_8.5dfsg-5build3_all.deb 23M02-Apr-2024 08:02
acl2-books-source_8.5dfsg-6_all.deb 23M29-Jul-2024 04:20
acl2-books_6.3-5_amd64.deb 40M24-Oct-2013 16:36
acl2-books_6.3-5_i386.deb 36M24-Oct-2013 16:36
acl2-books_7.1-1_amd64.deb 19M27-Jun-2015 13:48
acl2-books_7.1-1_i386.deb 18M02-Jun-2015 02:43
acl2-books_8.0dfsg-1_amd64.deb 132M14-Jan-2018 03:08
acl2-books_8.0dfsg-1_i386.deb 114M14-Jan-2018 04:49
acl2-books_8.2dfsg-3build1_amd64.deb 163M23-Mar-2020 13:24
acl2-books_8.4dfsg-2_amd64.deb 338M19-Dec-2021 01:09
acl2-books_8.5dfsg-5build3_amd64.deb 331M02-Apr-2024 08:03
acl2-books_8.5dfsg-6_amd64.deb 171M29-Jul-2024 04:20
acl2-doc_6.3-5_all.deb 12M24-Oct-2013 16:36
acl2-doc_7.1-1_all.deb 353K27-Jun-2015 13:48
acl2-doc_8.0dfsg-1_all.deb 385K14-Jan-2018 03:08
acl2-doc_8.2dfsg-3build1_all.deb 418K23-Mar-2020 13:24
acl2-doc_8.4dfsg-2_all.deb 441K19-Dec-2021 01:09
acl2-doc_8.5dfsg-5build3_all.deb 474K02-Apr-2024 08:02
acl2-doc_8.5dfsg-6_all.deb 474K29-Jul-2024 04:20
acl2-emacs_6.3-5_all.deb 55K24-Oct-2013 16:36
acl2-emacs_7.1-1_all.deb 55K27-Jun-2015 13:48
acl2-emacs_8.0dfsg-1_all.deb 59K14-Jan-2018 03:08
acl2-emacs_8.2dfsg-3build1_all.deb 59K23-Mar-2020 13:24
acl2-infix-source_6.3-5_all.deb 86K24-Oct-2013 16:36
acl2-infix-source_7.1-1_all.deb 70K27-Jun-2015 13:48
acl2-infix-source_8.0dfsg-1_all.deb 70K14-Jan-2018 03:08
acl2-infix-source_8.2dfsg-3build1_all.deb 70K23-Mar-2020 13:24
acl2-infix-source_8.4dfsg-2_all.deb 72K19-Dec-2021 01:10
acl2-infix-source_8.5dfsg-5build3_all.deb 72K02-Apr-2024 08:02
acl2-infix-source_8.5dfsg-6_all.deb 72K29-Jul-2024 04:20
acl2-infix_6.3-5_amd64.deb 200K24-Oct-2013 16:36
acl2-infix_6.3-5_i386.deb 189K24-Oct-2013 16:36
acl2-infix_7.1-1_amd64.deb 140K27-Jun-2015 13:48
acl2-infix_7.1-1_i386.deb 142K02-Jun-2015 02:43
acl2-infix_8.0dfsg-1_amd64.deb 414K14-Jan-2018 03:08
acl2-infix_8.0dfsg-1_i386.deb 381K14-Jan-2018 04:49
acl2-infix_8.2dfsg-3build1_amd64.deb 470K23-Mar-2020 13:24
acl2-infix_8.4dfsg-2_amd64.deb 551K19-Dec-2021 01:09
acl2-infix_8.5dfsg-5build3_amd64.deb 538K02-Apr-2024 08:02
acl2-infix_8.5dfsg-6_amd64.deb 533K29-Jul-2024 04:20
acl2-source_6.3-5_all.deb 4M24-Oct-2013 16:36
acl2-source_7.1-1_all.deb 3M27-Jun-2015 13:48
acl2-source_8.0dfsg-1_all.deb 3M14-Jan-2018 03:08
acl2-source_8.2dfsg-3build1_all.deb 3M23-Mar-2020 13:24
acl2-source_8.4dfsg-2_all.deb 3M19-Dec-2021 01:10
acl2-source_8.5dfsg-5build3_all.deb 3M02-Apr-2024 08:02
acl2-source_8.5dfsg-6_all.deb 3M29-Jul-2024 04:20
acl2_6.3-5.debian.tar.gz 158K21-Oct-2013 13:09
acl2_6.3-5.dsc 174921-Oct-2013 13:09
acl2_6.3-5_amd64.deb 27M24-Oct-2013 16:36
acl2_6.3-5_i386.deb 23M24-Oct-2013 16:36
acl2_6.3.orig-books.tar.gz 13M21-Oct-2013 13:09
acl2_6.3.orig.tar.gz 7M21-Oct-2013 13:09
acl2_7.1-1.debian.tar.xz 126K01-Jun-2015 23:24
acl2_7.1-1.dsc 220301-Jun-2015 23:24
acl2_7.1-1_amd64.deb 16M27-Jun-2015 13:48
acl2_7.1-1_i386.deb 16M02-Jun-2015 02:43
acl2_7.1.orig.tar.gz 60M01-Jun-2015 23:24
acl2_8.0dfsg-1.debian.tar.xz 200K13-Jan-2018 23:08
acl2_8.0dfsg-1.dsc 224513-Jan-2018 23:08
acl2_8.0dfsg-1_amd64.deb 19M14-Jan-2018 03:08
acl2_8.0dfsg-1_i386.deb 16M14-Jan-2018 04:49
acl2_8.0dfsg.orig.tar.gz 74M13-Jan-2018 23:08
acl2_8.2dfsg-3build1.debian.tar.xz 201K23-Mar-2020 07:00
acl2_8.2dfsg-3build1.dsc 229623-Mar-2020 07:00
acl2_8.2dfsg-3build1_amd64.deb 21M23-Mar-2020 13:24
acl2_8.2dfsg.orig.tar.gz 77M19-Dec-2019 23:13
acl2_8.4dfsg-2.debian.tar.xz 304K01-Nov-2021 23:24
acl2_8.4dfsg-2.dsc 228101-Nov-2021 23:24
acl2_8.4dfsg-2_amd64.deb 25M19-Dec-2021 01:10
acl2_8.4dfsg.orig.tar.gz 194M28-Oct-2021 23:18
acl2_8.5dfsg-5build3.debian.tar.xz 306K01-Apr-2024 05:43
acl2_8.5dfsg-5build3.dsc 237101-Apr-2024 05:43
acl2_8.5dfsg-5build3_amd64.deb 26M02-Apr-2024 08:03
acl2_8.5dfsg-6.debian.tar.xz 306K28-Jul-2024 23:59
acl2_8.5dfsg-6.dsc 226828-Jul-2024 23:59
acl2_8.5dfsg-6_amd64.deb 25M29-Jul-2024 04:20
acl2_8.5dfsg.orig.tar.gz 213M27-Jul-2022 23:33
elpa-acl2_8.4dfsg-2_all.deb 69K19-Dec-2021 01:09
elpa-acl2_8.5dfsg-5build3_all.deb 71K02-Apr-2024 08:02
elpa-acl2_8.5dfsg-6_all.deb 71K29-Jul-2024 04:20

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

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