File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
acl2-books-certs_8.0dfsg-1_all.deb | 70M | 11-Apr-2022 03:40 |
acl2-books-source_8.0dfsg-1_all.deb | 12M | 11-Apr-2022 03:43 |
acl2-books_8.0dfsg-1_amd64.deb | 132M | 11-Apr-2022 03:13 |
acl2-books_8.0dfsg-1_i386.deb | 111M | 11-Apr-2022 02:57 |
acl2-doc_8.0dfsg-1_all.deb | 392K | 11-Apr-2022 03:20 |
acl2-emacs_8.0dfsg-1_all.deb | 66K | 11-Apr-2022 03:17 |
acl2-infix-source_8.0dfsg-1_all.deb | 77K | 11-Apr-2022 03:10 |
acl2-infix_8.0dfsg-1_amd64.deb | 422K | 11-Apr-2022 03:44 |
acl2-infix_8.0dfsg-1_i386.deb | 390K | 11-Apr-2022 03:06 |
acl2-source_8.0dfsg-1_all.deb | 3M | 11-Apr-2022 02:56 |
acl2_8.0dfsg-1.debian.tar.xz | 200K | 11-Apr-2022 03:44 |
acl2_8.0dfsg-1.dsc | 2245 | 11-Apr-2022 03:44 |
acl2_8.0dfsg-1_amd64.deb | 19M | 11-Apr-2022 03:30 |
acl2_8.0dfsg-1_i386.deb | 16M | 11-Apr-2022 03:02 |
acl2_8.0dfsg.orig.tar.gz | 74M | 11-Apr-2022 03:44 |
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!
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.
Admin: BlueT - Matthew Lien - 練喆明
Email: apply at ossplanet dot net AND bluet at bluet dot org