Welcome To SC Mirrors Site

We are delighted to offer you accelerated services for open-source software.

Region Option

Asian / Tokyo
mirrors.tyo.silicloud.com
American / Los Angeles
mirrors.lax.silicloud.com

Mirrors Help

If you're unsure how to configure Linux distributions/software installation sources, we offer assistance for mainstream distributions here:

Config Guide

Common Links

Silicon Cloud

/ubuntu-ports/pool/universe/a/acl2/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
acl2_6.3-5.debian.tar.gz 1614802013-Oct-21 13:09
acl2_6.3-5.dsc 17492013-Oct-21 13:09
acl2_6.3.orig-books.tar.gz 135989912013-Oct-21 13:09
acl2_6.3.orig.tar.gz 70688952013-Oct-21 13:09
acl2-infix_6.3-5_powerpc.deb 2171462013-Oct-22 18:49
acl2-books_6.3-5_powerpc.deb 395028042013-Oct-22 18:49
acl2_6.3-5_powerpc.deb 258904702013-Oct-22 18:49
acl2-infix_6.3-5_armhf.deb 5873002013-Oct-23 04:44
acl2-books_6.3-5_armhf.deb 1133506182013-Oct-23 04:44
acl2_6.3-5_armhf.deb 242282322013-Oct-23 04:44
acl2-source_6.3-5_all.deb 37951382013-Oct-24 16:36
acl2-books-certs_6.3-5_all.deb 116411122013-Oct-24 16:36
acl2-emacs_6.3-5_all.deb 563022013-Oct-24 16:36
acl2-books-source_6.3-5_all.deb 95702222013-Oct-24 16:36
acl2-infix-source_6.3-5_all.deb 880342013-Oct-24 16:36
acl2-doc_6.3-5_all.deb 127287782013-Oct-24 16:36
acl2_7.1-1.debian.tar.xz 1289002015-Jun-01 23:24
acl2_7.1-1.dsc 22032015-Jun-01 23:24
acl2_7.1.orig.tar.gz 633423342015-Jun-01 23:24
acl2-books_7.1-1_powerpc.deb 161545342015-Jun-02 05:48
acl2-infix_7.1-1_powerpc.deb 1359342015-Jun-02 05:48
acl2_7.1-1_powerpc.deb 140983822015-Jun-02 05:48
acl2-infix_7.1-1_armhf.deb 4333762015-Jun-02 12:58
acl2-books_7.1-1_armhf.deb 624210902015-Jun-02 12:58
acl2_7.1-1_armhf.deb 161365082015-Jun-02 12:58
acl2-infix_7.1-1_arm64.deb 1510242015-Jun-02 14:43
acl2_7.1-1_arm64.deb 156465102015-Jun-02 14:43
acl2-books_7.1-1_arm64.deb 195832142015-Jun-02 14:43
acl2-books-certs_7.1-1_all.deb 131911602015-Jun-27 13:48
acl2-doc_7.1-1_all.deb 3617802015-Jun-27 13:48
acl2-emacs_7.1-1_all.deb 565242015-Jun-27 13:48
acl2-books-source_7.1-1_all.deb 103331522015-Jun-27 13:48
acl2-infix-source_7.1-1_all.deb 720202015-Jun-27 13:48
acl2-source_7.1-1_all.deb 28382302015-Jun-27 13:48
acl2_8.0dfsg-1.dsc 22452018-Jan-13 23:08
acl2_8.0dfsg-1.debian.tar.xz 2047602018-Jan-13 23:08
acl2_8.0dfsg.orig.tar.gz 776355712018-Jan-13 23:08
acl2-infix-source_8.0dfsg-1_all.deb 718882018-Jan-14 03:08
acl2-doc_8.0dfsg-1_all.deb 3943602018-Jan-14 03:08
acl2-source_8.0dfsg-1_all.deb 30744882018-Jan-14 03:08
acl2-books-source_8.0dfsg-1_all.deb 124661042018-Jan-14 03:08
acl2-books-certs_8.0dfsg-1_all.deb 734031842018-Jan-14 03:08
acl2-emacs_8.0dfsg-1_all.deb 603402018-Jan-14 03:08
acl2-infix_8.0dfsg-1_armhf.deb 4097802018-Jan-21 23:13
acl2-books_8.0dfsg-1_armhf.deb 1212814002018-Jan-21 23:13
acl2_8.0dfsg-1_armhf.deb 161803122018-Jan-21 23:13
acl2-books_8.0dfsg-1_arm64.deb 1412664002018-Jan-22 03:23
acl2_8.0dfsg-1_arm64.deb 177356082018-Jan-22 03:23
acl2-infix_8.0dfsg-1_arm64.deb 4306002018-Jan-22 03:23
acl2-infix_8.0dfsg-1_s390x.deb 3870402018-Jan-23 21:18
acl2_8.0dfsg-1_s390x.deb 186956282018-Jan-23 21:18
acl2-books_8.0dfsg-1_s390x.deb 1274516602018-Jan-23 21:18
acl2-infix_8.0dfsg-1_ppc64el.deb 4753842018-Jan-31 14:57
acl2-books_8.0dfsg-1_ppc64el.deb 1419161602018-Jan-31 14:58
acl2_8.0dfsg-1_ppc64el.deb 195531482018-Jan-31 14:58
acl2_8.2dfsg.orig.tar.gz 806527252019-Dec-19 23:13
acl2_8.2dfsg-3build1.debian.tar.xz 2060242020-Mar-23 07:00
acl2_8.2dfsg-3build1.dsc 22962020-Mar-23 07:00
acl2-infix_8.2dfsg-3build1_s390x.deb 4449882020-Mar-23 12:14
acl2_8.2dfsg-3build1_s390x.deb 211047802020-Mar-23 12:14
acl2-books_8.2dfsg-3build1_s390x.deb 1556542722020-Mar-23 12:14
acl2-books-certs_8.2dfsg-3build1_all.deb 689798922020-Mar-23 13:24
acl2-infix-source_8.2dfsg-3build1_all.deb 719202020-Mar-23 13:24
acl2-emacs_8.2dfsg-3build1_all.deb 605202020-Mar-23 13:24
acl2-books-source_8.2dfsg-3build1_all.deb 142901122020-Mar-23 13:24
acl2-doc_8.2dfsg-3build1_all.deb 4281002020-Mar-23 13:24
acl2-source_8.2dfsg-3build1_all.deb 32688122020-Mar-23 13:24
acl2-books_8.2dfsg-3build1_ppc64el.deb 1778132602020-Mar-23 15:18
acl2-infix_8.2dfsg-3build1_ppc64el.deb 4972962020-Mar-23 15:18
acl2_8.2dfsg-3build1_ppc64el.deb 218980602020-Mar-23 15:18
acl2-books_8.2dfsg-3build1_armhf.deb 1585610122020-Mar-24 08:18
acl2-infix_8.2dfsg-3build1_armhf.deb 4578522020-Mar-24 08:18
acl2_8.2dfsg-3build1_armhf.deb 186148722020-Mar-24 08:18
acl2-books_8.2dfsg-3build1_arm64.deb 1692970642020-Mar-24 08:48
acl2-infix_8.2dfsg-3build1_arm64.deb 4719122020-Mar-24 08:48
acl2_8.2dfsg-3build1_arm64.deb 203428882020-Mar-24 08:48
acl2_8.4dfsg.orig.tar.gz 2029918392021-Oct-28 23:18
acl2_8.4dfsg-2.dsc 22812021-Nov-01 23:24
acl2_8.4dfsg-2.debian.tar.xz 3116282021-Nov-01 23:24
acl2-books_8.4dfsg-2_s390x.deb 3413222842021-Dec-18 17:36
acl2-infix_8.4dfsg-2_s390x.deb 5672242021-Dec-18 17:36
acl2_8.4dfsg-2_s390x.deb 259752902021-Dec-18 17:36
elpa-acl2_8.4dfsg-2_all.deb 707902021-Dec-19 01:09
acl2-doc_8.4dfsg-2_all.deb 4516562021-Dec-19 01:09
acl2-source_8.4dfsg-2_all.deb 35368282021-Dec-19 01:10
acl2-books-certs_8.4dfsg-2_all.deb 2318312222021-Dec-19 01:10
acl2-books-source_8.4dfsg-2_all.deb 221362042021-Dec-19 01:10
acl2-infix-source_8.4dfsg-2_all.deb 736802021-Dec-19 01:10
acl2-infix_8.4dfsg-2_ppc64el.deb 6186042021-Dec-25 19:23
acl2-books_8.4dfsg-2_ppc64el.deb 3694541522021-Dec-25 19:23
acl2_8.4dfsg-2_ppc64el.deb 263865782021-Dec-25 19:23
acl2_8.4dfsg-2_armhf.deb 223257882021-Dec-26 05:49
acl2-books_8.4dfsg-2_armhf.deb 3361488642021-Dec-26 05:49
acl2-infix_8.4dfsg-2_armhf.deb 5646122021-Dec-26 05:49
acl2-books_8.4dfsg-2_arm64.deb 3510628262021-Dec-26 07:08
acl2-infix_8.4dfsg-2_arm64.deb 5726082021-Dec-26 07:08
acl2_8.4dfsg-2_arm64.deb 250909102021-Dec-26 07:08
acl2_8.5dfsg.orig.tar.gz 2235465942022-Jul-27 23:33
acl2_8.5dfsg-5.dsc 22682023-Jan-16 17:44
acl2_8.5dfsg-5.debian.tar.xz 3128962023-Jan-16 17:44
acl2-source_8.5dfsg-5_all.deb 36517942023-Jan-17 02:29
acl2-doc_8.5dfsg-5_all.deb 4847822023-Jan-17 02:29
acl2-books-certs_8.5dfsg-5_all.deb 2266980282023-Jan-17 02:29
acl2-infix-source_8.5dfsg-5_all.deb 736122023-Jan-17 02:29
acl2-books-source_8.5dfsg-5_all.deb 240145562023-Jan-17 02:29
elpa-acl2_8.5dfsg-5_all.deb 720142023-Jan-17 02:29
acl2-infix_8.5dfsg-5_ppc64el.deb 5911502023-Jan-17 04:24
acl2-books_8.5dfsg-5_ppc64el.deb 3635460642023-Jan-17 04:24
acl2_8.5dfsg-5_ppc64el.deb 269091662023-Jan-17 04:24
acl2-books_8.5dfsg-5_s390x.deb 3288822562023-Jan-17 04:24
acl2-infix_8.5dfsg-5_s390x.deb 5136582023-Jan-17 04:24
acl2_8.5dfsg-5_s390x.deb 265530622023-Jan-17 04:24
acl2-infix_8.5dfsg-5_armhf.deb 5539002023-Jan-17 07:04
acl2-books_8.5dfsg-5_armhf.deb 3307851902023-Jan-17 07:04
acl2_8.5dfsg-5_armhf.deb 231260522023-Jan-17 07:04
acl2-books_8.5dfsg-5_arm64.deb 3521595902023-Jan-17 17:45
acl2-infix_8.5dfsg-5_arm64.deb 5524182023-Jan-17 17:45
acl2_8.5dfsg-5_arm64.deb 257305062023-Jan-17 17:45
acl2_8.5dfsg-5_riscv64.deb 247747782023-Feb-15 08:04
acl2-infix_8.5dfsg-5_riscv64.deb 13553302023-Feb-15 08:04
acl2-books_8.5dfsg-5_riscv64.deb 9807647762023-Feb-15 08:04
acl2_8.5dfsg-5build3.debian.tar.xz 3130362024-Apr-01 05:43
acl2_8.5dfsg-5build3.dsc 23712024-Apr-01 05:43
acl2-infix_8.5dfsg-5build3_s390x.deb 5538742024-Apr-02 05:59
acl2-books_8.5dfsg-5build3_s390x.deb 3467538962024-Apr-02 05:59
acl2_8.5dfsg-5build3_s390x.deb 285035042024-Apr-02 05:59
acl2-doc_8.5dfsg-5build3_all.deb 4853082024-Apr-02 08:02
acl2-source_8.5dfsg-5build3_all.deb 36524522024-Apr-02 08:02
elpa-acl2_8.5dfsg-5build3_all.deb 724322024-Apr-02 08:02
acl2-infix-source_8.5dfsg-5build3_all.deb 741482024-Apr-02 08:02
acl2-books-source_8.5dfsg-5build3_all.deb 238013622024-Apr-02 08:02
acl2-books-certs_8.5dfsg-5build3_all.deb 2262344362024-Apr-02 08:03
acl2-infix_8.5dfsg-5build3_ppc64el.deb 6086702024-Apr-02 13:19
acl2_8.5dfsg-5build3_ppc64el.deb 272822142024-Apr-02 13:19
acl2-books_8.5dfsg-5build3_ppc64el.deb 3673507082024-Apr-02 13:19
acl2-infix_8.5dfsg-5build3_armhf.deb 5545802024-Apr-03 15:40
acl2-books_8.5dfsg-5build3_armhf.deb 3330557362024-Apr-03 15:40
acl2_8.5dfsg-5build3_armhf.deb 224194162024-Apr-03 15:40
acl2-infix_8.5dfsg-5build3_riscv64.deb 15256282024-Apr-07 23:42
acl2-books_8.5dfsg-5build3_riscv64.deb 11114387582024-Apr-07 23:42
acl2_8.5dfsg-5build3_riscv64.deb 263181462024-Apr-07 23:42
acl2-infix_8.5dfsg-5build3_arm64.deb 5544982024-Apr-11 15:38
acl2-books_8.5dfsg-5build3_arm64.deb 3535039342024-Apr-11 15:38
acl2_8.5dfsg-5build3_arm64.deb 253453222024-Apr-11 15:38
acl2_8.5dfsg-6.dsc 22682024-Jul-28 23:59
acl2_8.5dfsg-6.debian.tar.xz 3128482024-Jul-28 23:59
elpa-acl2_8.5dfsg-6_all.deb 725142024-Jul-29 04:20
acl2-doc_8.5dfsg-6_all.deb 4851702024-Jul-29 04:20
acl2-infix-source_8.5dfsg-6_all.deb 740202024-Jul-29 04:20
acl2-source_8.5dfsg-6_all.deb 36457502024-Jul-29 04:20
acl2-books-source_8.5dfsg-6_all.deb 238160102024-Jul-29 04:20
acl2-books-certs_8.5dfsg-6_all.deb 824689302024-Jul-29 04:20
acl2-infix_8.5dfsg-6_s390x.deb 5445082024-Jul-29 04:20
acl2-books_8.5dfsg-6_s390x.deb 1771498322024-Jul-29 04:20
acl2_8.5dfsg-6_s390x.deb 280497082024-Jul-29 04:20
acl2-infix_8.5dfsg-6_ppc64el.deb 6048162024-Jul-29 06:11
acl2-books_8.5dfsg-6_ppc64el.deb 1919908122024-Jul-29 06:11
acl2_8.5dfsg-6_ppc64el.deb 269467282024-Jul-29 06:11
acl2-infix_8.5dfsg-6_arm64.deb 5462282024-Jul-29 07:11
acl2-books_8.5dfsg-6_arm64.deb 1776298602024-Jul-29 07:11
acl2_8.5dfsg-6_arm64.deb 254590982024-Jul-29 07:11
acl2-infix_8.5dfsg-6_armhf.deb 5545722024-Jul-29 08:18
acl2-books_8.5dfsg-6_armhf.deb 1697042282024-Jul-29 08:18
acl2_8.5dfsg-6_armhf.deb 221335222024-Jul-29 08:18
acl2-infix_8.5dfsg-6_riscv64.deb 14560782024-Jul-31 19:50
acl2-books_8.5dfsg-6_riscv64.deb 5320593842024-Jul-31 19:50
acl2_8.5dfsg-6_riscv64.deb 254748542024-Jul-31 19:50

OpenSource / FreeSoft Mirrors Supported by Silicon Cloud
Million Thanks to following software suppliers:

The HTML/CSS is tailored from:
Mirror-Web
Mirrors-Index
The HTML/CSS of this website can download from:
HTML Code
The sync tool can download from:
TunaSync

Contact Us

OpenSource / FreeSoft Mirrors Supported by Silicon Cloud
Million Thanks to following software suppliers:

The HTML/CSS is tailored from:
Mirror-Web
Mirrors-Index
The HTML/CSS of this website can download from:
HTML Code
The sync tool can download from:
TunaSync

Contact Us

cube envelope hashtag github