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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
acl2_6.3-5.debian.tar.gz 1614802013-Oct-21 22:09
acl2_6.3-5.dsc 17492013-Oct-21 22:09
acl2_6.3.orig.tar.gz 70688952013-Oct-21 22:09
acl2_6.3.orig-books.tar.gz 135989912013-Oct-21 22:09
acl2-infix_6.3-5_powerpc.deb 2171462013-Oct-23 03:49
acl2-books_6.3-5_powerpc.deb 395028042013-Oct-23 03:49
acl2_6.3-5_powerpc.deb 258904702013-Oct-23 03:49
acl2-infix_6.3-5_armhf.deb 5873002013-Oct-23 13:44
acl2-books_6.3-5_armhf.deb 1133506182013-Oct-23 13:44
acl2_6.3-5_armhf.deb 242282322013-Oct-23 13:44
acl2-source_6.3-5_all.deb 37951382013-Oct-25 01:36
acl2-books-certs_6.3-5_all.deb 116411122013-Oct-25 01:36
acl2-emacs_6.3-5_all.deb 563022013-Oct-25 01:36
acl2-infix-source_6.3-5_all.deb 880342013-Oct-25 01:36
acl2-books-source_6.3-5_all.deb 95702222013-Oct-25 01:36
acl2-doc_6.3-5_all.deb 127287782013-Oct-25 01:36
acl2_7.1-1.debian.tar.xz 1289002015-Jun-02 08:24
acl2_7.1.orig.tar.gz 633423342015-Jun-02 08:24
acl2_7.1-1.dsc 22032015-Jun-02 08:24
acl2-infix_7.1-1_powerpc.deb 1359342015-Jun-02 14:48
acl2-books_7.1-1_powerpc.deb 161545342015-Jun-02 14:48
acl2_7.1-1_powerpc.deb 140983822015-Jun-02 14:48
acl2-infix_7.1-1_armhf.deb 4333762015-Jun-02 21:58
acl2_7.1-1_armhf.deb 161365082015-Jun-02 21:58
acl2-books_7.1-1_armhf.deb 624210902015-Jun-02 21:58
acl2_7.1-1_arm64.deb 156465102015-Jun-02 23:43
acl2-infix_7.1-1_arm64.deb 1510242015-Jun-02 23:43
acl2-books_7.1-1_arm64.deb 195832142015-Jun-02 23:43
acl2-books-certs_7.1-1_all.deb 131911602015-Jun-27 22:48
acl2-doc_7.1-1_all.deb 3617802015-Jun-27 22:48
acl2-emacs_7.1-1_all.deb 565242015-Jun-27 22:48
acl2-books-source_7.1-1_all.deb 103331522015-Jun-27 22:48
acl2-infix-source_7.1-1_all.deb 720202015-Jun-27 22:48
acl2-source_7.1-1_all.deb 28382302015-Jun-27 22:48
acl2_8.0dfsg-1.dsc 22452018-Jan-14 08:08
acl2_8.0dfsg.orig.tar.gz 776355712018-Jan-14 08:08
acl2_8.0dfsg-1.debian.tar.xz 2047602018-Jan-14 08:08
acl2-infix-source_8.0dfsg-1_all.deb 718882018-Jan-14 12:08
acl2-source_8.0dfsg-1_all.deb 30744882018-Jan-14 12:08
acl2-doc_8.0dfsg-1_all.deb 3943602018-Jan-14 12:08
acl2-books-source_8.0dfsg-1_all.deb 124661042018-Jan-14 12:08
acl2-books-certs_8.0dfsg-1_all.deb 734031842018-Jan-14 12:08
acl2-emacs_8.0dfsg-1_all.deb 603402018-Jan-14 12:08
acl2-infix_8.0dfsg-1_armhf.deb 4097802018-Jan-22 08:13
acl2_8.0dfsg-1_armhf.deb 161803122018-Jan-22 08:13
acl2-books_8.0dfsg-1_armhf.deb 1212814002018-Jan-22 08:13
acl2-books_8.0dfsg-1_arm64.deb 1412664002018-Jan-22 12:23
acl2_8.0dfsg-1_arm64.deb 177356082018-Jan-22 12:23
acl2-infix_8.0dfsg-1_arm64.deb 4306002018-Jan-22 12:23
acl2_8.0dfsg-1_s390x.deb 186956282018-Jan-24 06:18
acl2-infix_8.0dfsg-1_s390x.deb 3870402018-Jan-24 06:18
acl2-books_8.0dfsg-1_s390x.deb 1274516602018-Jan-24 06:18
acl2-infix_8.0dfsg-1_ppc64el.deb 4753842018-Jan-31 23:57
acl2-books_8.0dfsg-1_ppc64el.deb 1419161602018-Jan-31 23:58
acl2_8.0dfsg-1_ppc64el.deb 195531482018-Jan-31 23:58
acl2_8.2dfsg.orig.tar.gz 806527252019-Dec-20 08:13
acl2_8.2dfsg-3build1.debian.tar.xz 2060242020-Mar-23 16:00
acl2_8.2dfsg-3build1.dsc 22962020-Mar-23 16:00
acl2-infix_8.2dfsg-3build1_s390x.deb 4449882020-Mar-23 21:14
acl2_8.2dfsg-3build1_s390x.deb 211047802020-Mar-23 21:14
acl2-books_8.2dfsg-3build1_s390x.deb 1556542722020-Mar-23 21:14
acl2-infix-source_8.2dfsg-3build1_all.deb 719202020-Mar-23 22:24
acl2-books-certs_8.2dfsg-3build1_all.deb 689798922020-Mar-23 22:24
acl2-doc_8.2dfsg-3build1_all.deb 4281002020-Mar-23 22:24
acl2-source_8.2dfsg-3build1_all.deb 32688122020-Mar-23 22:24
acl2-books-source_8.2dfsg-3build1_all.deb 142901122020-Mar-23 22:24
acl2-emacs_8.2dfsg-3build1_all.deb 605202020-Mar-23 22:24
acl2-infix_8.2dfsg-3build1_ppc64el.deb 4972962020-Mar-24 00:18
acl2-books_8.2dfsg-3build1_ppc64el.deb 1778132602020-Mar-24 00:18
acl2_8.2dfsg-3build1_ppc64el.deb 218980602020-Mar-24 00:18
acl2_8.2dfsg-3build1_armhf.deb 186148722020-Mar-24 17:18
acl2-infix_8.2dfsg-3build1_armhf.deb 4578522020-Mar-24 17:18
acl2-books_8.2dfsg-3build1_armhf.deb 1585610122020-Mar-24 17:18
acl2-books_8.2dfsg-3build1_arm64.deb 1692970642020-Mar-24 17:48
acl2-infix_8.2dfsg-3build1_arm64.deb 4719122020-Mar-24 17:48
acl2_8.2dfsg-3build1_arm64.deb 203428882020-Mar-24 17:48
acl2_8.4dfsg.orig.tar.gz 2029918392021-Oct-29 08:18
acl2_8.4dfsg-2.dsc 22812021-Nov-02 08:24
acl2_8.4dfsg-2.debian.tar.xz 3116282021-Nov-02 08:24
acl2-books_8.4dfsg-2_s390x.deb 3413222842021-Dec-19 02:36
acl2_8.4dfsg-2_s390x.deb 259752902021-Dec-19 02:36
acl2-infix_8.4dfsg-2_s390x.deb 5672242021-Dec-19 02:36
elpa-acl2_8.4dfsg-2_all.deb 707902021-Dec-19 10:09
acl2-doc_8.4dfsg-2_all.deb 4516562021-Dec-19 10:09
acl2-source_8.4dfsg-2_all.deb 35368282021-Dec-19 10:10
acl2-books-certs_8.4dfsg-2_all.deb 2318312222021-Dec-19 10:10
acl2-books-source_8.4dfsg-2_all.deb 221362042021-Dec-19 10:10
acl2-infix-source_8.4dfsg-2_all.deb 736802021-Dec-19 10:10
acl2-infix_8.4dfsg-2_ppc64el.deb 6186042021-Dec-26 04:23
acl2-books_8.4dfsg-2_ppc64el.deb 3694541522021-Dec-26 04:23
acl2_8.4dfsg-2_ppc64el.deb 263865782021-Dec-26 04:23
acl2_8.4dfsg-2_armhf.deb 223257882021-Dec-26 14:49
acl2-books_8.4dfsg-2_armhf.deb 3361488642021-Dec-26 14:49
acl2-infix_8.4dfsg-2_armhf.deb 5646122021-Dec-26 14:49
acl2-books_8.4dfsg-2_arm64.deb 3510628262021-Dec-26 16:08
acl2-infix_8.4dfsg-2_arm64.deb 5726082021-Dec-26 16:08
acl2_8.4dfsg-2_arm64.deb 250909102021-Dec-26 16:08
acl2_8.5dfsg.orig.tar.gz 2235465942022-Jul-28 08:33
acl2_8.5dfsg-5build3.dsc 23712024-Apr-01 14:43
acl2_8.5dfsg-5build3.debian.tar.xz 3130362024-Apr-01 14:43
acl2-infix_8.5dfsg-5build3_s390x.deb 5538742024-Apr-02 14:59
acl2-books_8.5dfsg-5build3_s390x.deb 3467538962024-Apr-02 14:59
acl2_8.5dfsg-5build3_s390x.deb 285035042024-Apr-02 14:59
acl2-source_8.5dfsg-5build3_all.deb 36524522024-Apr-02 17:02
acl2-infix-source_8.5dfsg-5build3_all.deb 741482024-Apr-02 17:02
acl2-doc_8.5dfsg-5build3_all.deb 4853082024-Apr-02 17:02
elpa-acl2_8.5dfsg-5build3_all.deb 724322024-Apr-02 17:02
acl2-books-source_8.5dfsg-5build3_all.deb 238013622024-Apr-02 17:02
acl2-books-certs_8.5dfsg-5build3_all.deb 2262344362024-Apr-02 17:03
acl2-infix_8.5dfsg-5build3_ppc64el.deb 6086702024-Apr-02 22:19
acl2_8.5dfsg-5build3_ppc64el.deb 272822142024-Apr-02 22:19
acl2-books_8.5dfsg-5build3_ppc64el.deb 3673507082024-Apr-02 22:19
acl2-infix_8.5dfsg-5build3_armhf.deb 5545802024-Apr-04 00:40
acl2_8.5dfsg-5build3_armhf.deb 224194162024-Apr-04 00:40
acl2-books_8.5dfsg-5build3_armhf.deb 3330557362024-Apr-04 00:40
acl2-infix_8.5dfsg-5build3_riscv64.deb 15256282024-Apr-08 08:42
acl2-books_8.5dfsg-5build3_riscv64.deb 11114387582024-Apr-08 08:42
acl2_8.5dfsg-5build3_riscv64.deb 263181462024-Apr-08 08:42
acl2-infix_8.5dfsg-5build3_arm64.deb 5544982024-Apr-12 00:38
acl2-books_8.5dfsg-5build3_arm64.deb 3535039342024-Apr-12 00:38
acl2_8.5dfsg-5build3_arm64.deb 253453222024-Apr-12 00:38
acl2_8.5dfsg-6.dsc 22682024-Jul-29 08:59
acl2_8.5dfsg-6.debian.tar.xz 3128482024-Jul-29 08:59
elpa-acl2_8.5dfsg-6_all.deb 725142024-Jul-29 13:20
acl2-doc_8.5dfsg-6_all.deb 4851702024-Jul-29 13:20
acl2-infix-source_8.5dfsg-6_all.deb 740202024-Jul-29 13:20
acl2-source_8.5dfsg-6_all.deb 36457502024-Jul-29 13:20
acl2-books-source_8.5dfsg-6_all.deb 238160102024-Jul-29 13:20
acl2-books-certs_8.5dfsg-6_all.deb 824689302024-Jul-29 13:20
acl2-infix_8.5dfsg-6_s390x.deb 5445082024-Jul-29 13:20
acl2-books_8.5dfsg-6_s390x.deb 1771498322024-Jul-29 13:20
acl2_8.5dfsg-6_s390x.deb 280497082024-Jul-29 13:20
acl2-infix_8.5dfsg-6_ppc64el.deb 6048162024-Jul-29 15:11
acl2-books_8.5dfsg-6_ppc64el.deb 1919908122024-Jul-29 15:11
acl2_8.5dfsg-6_ppc64el.deb 269467282024-Jul-29 15:11
acl2-infix_8.5dfsg-6_arm64.deb 5462282024-Jul-29 16:11
acl2-books_8.5dfsg-6_arm64.deb 1776298602024-Jul-29 16:11
acl2_8.5dfsg-6_arm64.deb 254590982024-Jul-29 16:11
acl2-infix_8.5dfsg-6_armhf.deb 5545722024-Jul-29 17:18
acl2-books_8.5dfsg-6_armhf.deb 1697042282024-Jul-29 17:18
acl2_8.5dfsg-6_armhf.deb 221335222024-Jul-29 17:18
acl2-infix_8.5dfsg-6_riscv64.deb 14560782024-Aug-01 04:50
acl2-books_8.5dfsg-6_riscv64.deb 5320593842024-Aug-01 04:50
acl2_8.5dfsg-6_riscv64.deb 254748542024-Aug-01 04:50
acl2_8.6+dfsg.orig.tar.gz 2403293452025-May-02 01:25
acl2_8.6+dfsg-3.dsc 22882025-May-15 09:35
acl2_8.6+dfsg-3.debian.tar.xz 7112002025-May-15 09:36
acl2-infix_8.6+dfsg-3_s390x.deb 10175802025-May-15 12:38
acl2_8.6+dfsg-3_s390x.deb 442078062025-May-15 12:38
acl2-books_8.6+dfsg-3_s390x.deb 5001882142025-May-15 12:38
elpa-acl2_8.6+dfsg-3_all.deb 805122025-May-15 16:30
acl2-books-source_8.6+dfsg-3_all.deb 276224562025-May-15 16:30
acl2-infix-source_8.6+dfsg-3_all.deb 745162025-May-15 16:30
acl2-doc_8.6+dfsg-3_all.deb 5284262025-May-15 16:30
acl2-source_8.6+dfsg-3_all.deb 40619142025-May-15 16:30
acl2-books-certs_8.6+dfsg-3_all.deb 2806632082025-May-15 16:30
acl2-infix_8.6+dfsg-3_arm64.deb 9920382025-May-15 17:55
acl2_8.6+dfsg-3_arm64.deb 473580362025-May-15 17:55
acl2-books_8.6+dfsg-3_arm64.deb 4931609722025-May-15 17:55
acl2-infix_8.6+dfsg-3_ppc64el.deb 10662402025-May-15 19:20
acl2-books_8.6+dfsg-3_ppc64el.deb 5227932022025-May-15 19:20
acl2_8.6+dfsg-3_ppc64el.deb 491512562025-May-15 19:20
acl2-infix_8.6+dfsg-3_riscv64.deb 26284982025-May-19 16:22
acl2-books_8.6+dfsg-3_riscv64.deb 13276483722025-May-19 16:22
acl2_8.6+dfsg-3_riscv64.deb 494495062025-May-19 16:22
acl2-infix_8.6+dfsg-3_armhf.deb 9877462025-May-20 04:24
acl2-books_8.6+dfsg-3_armhf.deb 4659119822025-May-20 04:24
acl2_8.6+dfsg-3_armhf.deb 564260162025-May-20 04:24
acl2_8.6+dfsg-3build1.dsc 23122026-Feb-04 07:43
acl2_8.6+dfsg-3build1.debian.tar.xz 7111202026-Feb-04 07:43
acl2-infix_8.6+dfsg-3build1_s390x.deb 10123442026-Feb-04 12:07
acl2-books_8.6+dfsg-3build1_s390x.deb 4981568302026-Feb-04 12:07
acl2_8.6+dfsg-3build1_s390x.deb 489011482026-Feb-04 12:07
elpa-acl2_8.6+dfsg-3build1_all.deb 806302026-Feb-04 15:32
acl2-infix-source_8.6+dfsg-3build1_all.deb 746262026-Feb-04 15:32
acl2-source_8.6+dfsg-3build1_all.deb 40621042026-Feb-04 15:32
acl2-doc_8.6+dfsg-3build1_all.deb 5285122026-Feb-04 15:32
acl2-books-source_8.6+dfsg-3build1_all.deb 277768522026-Feb-04 15:32
acl2-books-certs_8.6+dfsg-3build1_all.deb 2800094422026-Feb-04 15:32
acl2-infix_8.6+dfsg-3build1_arm64.deb 9822662026-Feb-04 17:06
acl2-books_8.6+dfsg-3build1_arm64.deb 4879647862026-Feb-04 17:06
acl2_8.6+dfsg-3build1_arm64.deb 481032442026-Feb-04 17:06
acl2-infix_8.6+dfsg-3build1_armhf.deb 9877562026-Feb-04 17:06
acl2-books_8.6+dfsg-3build1_armhf.deb 4511256762026-Feb-04 17:06
acl2_8.6+dfsg-3build1_armhf.deb 570174442026-Feb-04 17:06
acl2-infix_8.6+dfsg-3build1_ppc64el.deb 10633882026-Feb-04 17:06
acl2-books_8.6+dfsg-3build1_ppc64el.deb 5257736802026-Feb-04 17:06
acl2_8.6+dfsg-3build1_ppc64el.deb 486717542026-Feb-04 17:06
acl2-infix_8.6+dfsg-3build1_riscv64.deb 30410522026-Feb-11 19:24
acl2-books_8.6+dfsg-3build1_riscv64.deb 15228303062026-Feb-11 19:24
acl2_8.6+dfsg-3build1_riscv64.deb 490925082026-Feb-11 19:24
acl2_8.7+dfsg.orig.tar.gz 2497976302026-Jun-18 02:34
acl2_8.7+dfsg-3.dsc 22882026-Jul-18 08:14
acl2_8.7+dfsg-3.debian.tar.xz 9019282026-Jul-18 08:14
acl2-infix_8.7+dfsg-3_s390x.deb 10355962026-Jul-18 13:21
acl2-books_8.7+dfsg-3_s390x.deb 5520030242026-Jul-18 13:21
acl2_8.7+dfsg-3_s390x.deb 467545562026-Jul-18 13:21
acl2-infix_8.7+dfsg-3_armhf.deb 10169122026-Jul-18 16:30
acl2-books_8.7+dfsg-3_armhf.deb 5156208742026-Jul-18 16:31
acl2_8.7+dfsg-3_armhf.deb 532524462026-Jul-18 16:31
acl2-source_8.7+dfsg-3_all.deb 41374982026-Jul-18 16:54
elpa-acl2_8.7+dfsg-3_all.deb 795582026-Jul-18 16:54
acl2-doc_8.7+dfsg-3_all.deb 5496922026-Jul-18 16:54
acl2-infix-source_8.7+dfsg-3_all.deb 736522026-Jul-18 16:54
acl2-books-source_8.7+dfsg-3_all.deb 297828902026-Jul-18 16:54
acl2-books-certs_8.7+dfsg-3_all.deb 3052602422026-Jul-18 16:54
acl2-infix_8.7+dfsg-3_arm64.deb 10038502026-Jul-18 16:56
acl2-books_8.7+dfsg-3_arm64.deb 5351568462026-Jul-18 16:56
acl2_8.7+dfsg-3_arm64.deb 429885582026-Jul-18 16:56
acl2-infix_8.7+dfsg-3_ppc64el.deb 10955282026-Jul-18 17:59
acl2-books_8.7+dfsg-3_ppc64el.deb 5915372322026-Jul-18 18:01
acl2_8.7+dfsg-3_ppc64el.deb 446226302026-Jul-18 18:01
acl2-infix_8.7+dfsg-3_riscv64.deb 31221362026-Jul-31 06:21
acl2_8.7+dfsg-3_riscv64.deb 451033482026-Jul-31 06:21
acl2-books_8.7+dfsg-3_riscv64.deb 17094703562026-Jul-31 06:21