Index of /ubuntu-ports/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_armhf.deb 108M23-Oct-2013 04:44
acl2-books_6.3-5_powerpc.deb 38M22-Oct-2013 18:49
acl2-books_7.1-1_arm64.deb 19M02-Jun-2015 14:43
acl2-books_7.1-1_armhf.deb 60M02-Jun-2015 12:58
acl2-books_7.1-1_powerpc.deb 15M02-Jun-2015 05:48
acl2-books_8.0dfsg-1_arm64.deb 135M22-Jan-2018 03:23
acl2-books_8.0dfsg-1_armhf.deb 116M21-Jan-2018 23:13
acl2-books_8.0dfsg-1_ppc64el.deb 135M31-Jan-2018 14:58
acl2-books_8.0dfsg-1_s390x.deb 122M23-Jan-2018 21:18
acl2-books_8.2dfsg-3build1_arm64.deb 161M24-Mar-2020 08:48
acl2-books_8.2dfsg-3build1_armhf.deb 151M24-Mar-2020 08:18
acl2-books_8.2dfsg-3build1_ppc64el.deb 170M23-Mar-2020 15:18
acl2-books_8.2dfsg-3build1_s390x.deb 148M23-Mar-2020 12:14
acl2-books_8.4dfsg-2_arm64.deb 335M26-Dec-2021 07:08
acl2-books_8.4dfsg-2_armhf.deb 321M26-Dec-2021 05:49
acl2-books_8.4dfsg-2_ppc64el.deb 352M25-Dec-2021 19:23
acl2-books_8.4dfsg-2_s390x.deb 326M18-Dec-2021 17:36
acl2-books_8.5dfsg-5build3_arm64.deb 337M11-Apr-2024 15:38
acl2-books_8.5dfsg-5build3_armhf.deb 318M03-Apr-2024 15:40
acl2-books_8.5dfsg-5build3_ppc64el.deb 350M02-Apr-2024 13:19
acl2-books_8.5dfsg-5build3_riscv64.deb 1G07-Apr-2024 23:42
acl2-books_8.5dfsg-5build3_s390x.deb 331M02-Apr-2024 05:59
acl2-books_8.5dfsg-6_arm64.deb 169M29-Jul-2024 07:11
acl2-books_8.5dfsg-6_armhf.deb 162M29-Jul-2024 08:18
acl2-books_8.5dfsg-6_ppc64el.deb 183M29-Jul-2024 06:11
acl2-books_8.5dfsg-6_riscv64.deb 507M31-Jul-2024 19:50
acl2-books_8.5dfsg-6_s390x.deb 169M29-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_armhf.deb 574K23-Oct-2013 04:44
acl2-infix_6.3-5_powerpc.deb 212K22-Oct-2013 18:49
acl2-infix_7.1-1_arm64.deb 147K02-Jun-2015 14:43
acl2-infix_7.1-1_armhf.deb 423K02-Jun-2015 12:58
acl2-infix_7.1-1_powerpc.deb 133K02-Jun-2015 05:48
acl2-infix_8.0dfsg-1_arm64.deb 421K22-Jan-2018 03:23
acl2-infix_8.0dfsg-1_armhf.deb 400K21-Jan-2018 23:13
acl2-infix_8.0dfsg-1_ppc64el.deb 464K31-Jan-2018 14:57
acl2-infix_8.0dfsg-1_s390x.deb 378K23-Jan-2018 21:18
acl2-infix_8.2dfsg-3build1_arm64.deb 461K24-Mar-2020 08:48
acl2-infix_8.2dfsg-3build1_armhf.deb 447K24-Mar-2020 08:18
acl2-infix_8.2dfsg-3build1_ppc64el.deb 486K23-Mar-2020 15:18
acl2-infix_8.2dfsg-3build1_s390x.deb 435K23-Mar-2020 12:14
acl2-infix_8.4dfsg-2_arm64.deb 559K26-Dec-2021 07:08
acl2-infix_8.4dfsg-2_armhf.deb 551K26-Dec-2021 05:49
acl2-infix_8.4dfsg-2_ppc64el.deb 604K25-Dec-2021 19:23
acl2-infix_8.4dfsg-2_s390x.deb 554K18-Dec-2021 17:36
acl2-infix_8.5dfsg-5build3_arm64.deb 542K11-Apr-2024 15:38
acl2-infix_8.5dfsg-5build3_armhf.deb 542K03-Apr-2024 15:40
acl2-infix_8.5dfsg-5build3_ppc64el.deb 594K02-Apr-2024 13:19
acl2-infix_8.5dfsg-5build3_riscv64.deb 1M07-Apr-2024 23:42
acl2-infix_8.5dfsg-5build3_s390x.deb 541K02-Apr-2024 05:59
acl2-infix_8.5dfsg-6_arm64.deb 533K29-Jul-2024 07:11
acl2-infix_8.5dfsg-6_armhf.deb 542K29-Jul-2024 08:18
acl2-infix_8.5dfsg-6_ppc64el.deb 591K29-Jul-2024 06:11
acl2-infix_8.5dfsg-6_riscv64.deb 1M31-Jul-2024 19:50
acl2-infix_8.5dfsg-6_s390x.deb 532K29-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_armhf.deb 23M23-Oct-2013 04:44
acl2_6.3-5_powerpc.deb 25M22-Oct-2013 18:49
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_arm64.deb 15M02-Jun-2015 14:43
acl2_7.1-1_armhf.deb 15M02-Jun-2015 12:58
acl2_7.1-1_powerpc.deb 13M02-Jun-2015 05:48
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_arm64.deb 17M22-Jan-2018 03:23
acl2_8.0dfsg-1_armhf.deb 15M21-Jan-2018 23:13
acl2_8.0dfsg-1_ppc64el.deb 19M31-Jan-2018 14:58
acl2_8.0dfsg-1_s390x.deb 18M23-Jan-2018 21:18
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_arm64.deb 19M24-Mar-2020 08:48
acl2_8.2dfsg-3build1_armhf.deb 18M24-Mar-2020 08:18
acl2_8.2dfsg-3build1_ppc64el.deb 21M23-Mar-2020 15:18
acl2_8.2dfsg-3build1_s390x.deb 20M23-Mar-2020 12:14
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_arm64.deb 24M26-Dec-2021 07:08
acl2_8.4dfsg-2_armhf.deb 21M26-Dec-2021 05:49
acl2_8.4dfsg-2_ppc64el.deb 25M25-Dec-2021 19:23
acl2_8.4dfsg-2_s390x.deb 25M18-Dec-2021 17:36
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_arm64.deb 24M11-Apr-2024 15:38
acl2_8.5dfsg-5build3_armhf.deb 21M03-Apr-2024 15:40
acl2_8.5dfsg-5build3_ppc64el.deb 26M02-Apr-2024 13:19
acl2_8.5dfsg-5build3_riscv64.deb 25M07-Apr-2024 23:42
acl2_8.5dfsg-5build3_s390x.deb 27M02-Apr-2024 05:59
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_arm64.deb 24M29-Jul-2024 07:11
acl2_8.5dfsg-6_armhf.deb 21M29-Jul-2024 08:18
acl2_8.5dfsg-6_ppc64el.deb 26M29-Jul-2024 06:11
acl2_8.5dfsg-6_riscv64.deb 24M31-Jul-2024 19:50
acl2_8.5dfsg-6_s390x.deb 27M29-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

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