Index of /debian/pool/main/a/acl2
Name Last modified Size Description
![[DIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
acl2-books-certs_4.3-3_all.deb 20-Apr-2012 22:38 4.2M
acl2-books-certs_6.5-2_all.deb 08-Sep-2014 17:35 6.2M
acl2-books-certs_6.5-2~bpo70+1_all.deb 14-Jan-2015 18:26 19M
acl2-books-certs_7.2dfsg-3_all.deb 17-Oct-2016 17:35 52M
acl2-books-certs_7.4dfsg-3.1_all.deb 10-Aug-2017 00:12 61M
acl2-books-certs_7.4dfsg-4_all.deb 02-Oct-2017 20:45 62M
acl2-books-certs_8.0dfsg-1_all.deb 13-Jan-2018 15:52 70M
acl2-books-source_4.3-3_all.deb 20-Apr-2012 22:38 6.2M
acl2-books-source_6.5-2_all.deb 08-Sep-2014 17:35 6.6M
acl2-books-source_6.5-2~bpo70+1_all.deb 14-Jan-2015 18:26 10M
acl2-books-source_7.2dfsg-3_all.deb 17-Oct-2016 17:35 10M
acl2-books-source_7.4dfsg-3.1_all.deb 10-Aug-2017 00:12 11M
acl2-books-source_7.4dfsg-4_all.deb 02-Oct-2017 20:45 11M
acl2-books-source_8.0dfsg-1_all.deb 13-Jan-2018 15:52 12M
acl2-books_4.3-3_amd64.deb 21-Apr-2012 03:02 15M
acl2-books_4.3-3_armel.deb 22-Apr-2012 05:47 36M
acl2-books_4.3-3_armhf.deb 22-Apr-2012 01:17 36M
acl2-books_4.3-3_i386.deb 20-Apr-2012 22:38 13M
acl2-books_4.3-3_ia64.deb 23-Apr-2012 17:47 18M
acl2-books_4.3-3_kfreebsd-amd64.deb 21-Apr-2012 15:32 15M
acl2-books_4.3-3_kfreebsd-i386.deb 21-Apr-2012 04:02 13M
acl2-books_4.3-3_mips.deb 21-Apr-2012 23:47 16M
acl2-books_4.3-3_mipsel.deb 27-Apr-2012 00:49 15M
acl2-books_4.3-3_powerpc.deb 21-Apr-2012 04:47 15M
acl2-books_4.3-3_s390.deb 21-Apr-2012 02:17 13M
acl2-books_4.3-3_s390x.deb 21-Apr-2012 11:47 15M
acl2-books_4.3-3_sparc.deb 22-Apr-2012 02:02 15M
acl2-books_6.5-2_amd64.deb 08-Sep-2014 17:35 22M
acl2-books_6.5-2_arm64.deb 17-Sep-2014 02:00 22M
acl2-books_6.5-2_armel.deb 09-Sep-2014 14:25 65M
acl2-books_6.5-2_armhf.deb 12-Sep-2014 13:12 67M
acl2-books_6.5-2_i386.deb 09-Sep-2014 00:44 21M
acl2-books_6.5-2_kfreebsd-amd64.deb 09-Sep-2014 09:43 22M
acl2-books_6.5-2_kfreebsd-i386.deb 09-Sep-2014 13:04 18M
acl2-books_6.5-2_mips.deb 03-Oct-2014 02:44 20M
acl2-books_6.5-2_mipsel.deb 28-Sep-2014 23:37 20M
acl2-books_6.5-2_powerpc.deb 08-Sep-2014 20:57 18M
acl2-books_6.5-2_ppc64el.deb 09-Sep-2014 07:07 19M
acl2-books_6.5-2_s390x.deb 09-Sep-2014 03:46 20M
acl2-books_6.5-2~bpo70+1_amd64.deb 14-Jan-2015 18:26 47M
acl2-books_7.2dfsg-3_amd64.deb 17-Oct-2016 17:35 103M
acl2-books_7.2dfsg-3_arm64.deb 18-Oct-2016 08:59 104M
acl2-books_7.2dfsg-3_armel.deb 19-Oct-2016 08:29 86M
acl2-books_7.2dfsg-3_armhf.deb 19-Oct-2016 04:33 92M
acl2-books_7.2dfsg-3_i386.deb 18-Oct-2016 02:35 86M
acl2-books_7.2dfsg-3_mips.deb 18-Oct-2016 18:12 71M
acl2-books_7.2dfsg-3_mips64el.deb 20-Oct-2016 03:31 108M
acl2-books_7.2dfsg-3_mipsel.deb 19-Oct-2016 17:45 74M
acl2-books_7.2dfsg-3_ppc64el.deb 18-Oct-2016 01:34 99M
acl2-books_7.2dfsg-3_s390x.deb 18-Oct-2016 10:30 102M
acl2-books_7.4dfsg-3.1_kfreebsd-i386.deb 10-Aug-2017 13:19 102M
acl2-books_7.4dfsg-4_amd64.deb 02-Oct-2017 20:45 119M
acl2-books_7.4dfsg-4_arm64.deb 03-Oct-2017 06:55 121M
acl2-books_7.4dfsg-4_armel.deb 04-Oct-2017 06:27 107M
acl2-books_7.4dfsg-4_armhf.deb 04-Oct-2017 03:26 101M
acl2-books_7.4dfsg-4_i386.deb 03-Oct-2017 02:42 102M
acl2-books_7.4dfsg-4_kfreebsd-amd64.deb 03-Oct-2017 05:55 119M
acl2-books_7.4dfsg-4_mips.deb 04-Oct-2017 03:41 112M
acl2-books_7.4dfsg-4_mips64el.deb 05-Oct-2017 17:28 125M
acl2-books_7.4dfsg-4_mipsel.deb 04-Oct-2017 20:13 118M
acl2-books_7.4dfsg-4_ppc64el.deb 03-Oct-2017 01:12 117M
acl2-books_7.4dfsg-4_s390x.deb 03-Oct-2017 01:27 110M
acl2-books_8.0dfsg-1_amd64.deb 13-Jan-2018 15:52 132M
acl2-books_8.0dfsg-1_arm64.deb 14-Jan-2018 04:47 135M
acl2-books_8.0dfsg-1_armhf.deb 15-Jan-2018 10:46 120M
acl2-books_8.0dfsg-1_i386.deb 13-Jan-2018 23:26 111M
acl2-books_8.0dfsg-1_mips.deb 16-Jan-2018 08:15 126M
acl2-books_8.0dfsg-1_mips64el.deb 16-Jan-2018 05:44 140M
acl2-books_8.0dfsg-1_mipsel.deb 16-Jan-2018 07:14 131M
acl2-books_8.0dfsg-1_powerpc.deb 13-Jan-2018 23:56 114M
acl2-books_8.0dfsg-1_ppc64el.deb 13-Jan-2018 22:26 130M
acl2-books_8.0dfsg-1_s390x.deb 13-Jan-2018 22:41 122M
acl2-doc_4.3-3_all.deb 20-Apr-2012 22:38 354K
acl2-doc_6.5-2_all.deb 08-Sep-2014 17:35 1.6M
acl2-doc_6.5-2~bpo70+1_all.deb 14-Jan-2015 18:26 2.2M
acl2-doc_7.2dfsg-3_all.deb 17-Oct-2016 17:35 372K
acl2-doc_7.4dfsg-3.1_all.deb 10-Aug-2017 00:12 379K
acl2-doc_7.4dfsg-4_all.deb 02-Oct-2017 20:45 379K
acl2-doc_8.0dfsg-1_all.deb 13-Jan-2018 15:52 392K
acl2-emacs_4.3-3_all.deb 20-Apr-2012 22:38 59K
acl2-emacs_6.5-2_all.deb 08-Sep-2014 17:35 59K
acl2-emacs_6.5-2~bpo70+1_all.deb 14-Jan-2015 18:26 71K
acl2-emacs_7.2dfsg-3_all.deb 17-Oct-2016 17:35 63K
acl2-emacs_7.4dfsg-3.1_all.deb 10-Aug-2017 00:12 65K
acl2-emacs_7.4dfsg-4_all.deb 02-Oct-2017 20:45 65K
acl2-emacs_8.0dfsg-1_all.deb 13-Jan-2018 15:52 66K
acl2-infix-source_4.3-3_all.deb 20-Apr-2012 22:38 89K
acl2-infix-source_6.5-2_all.deb 08-Sep-2014 17:35 78K
acl2-infix-source_6.5-2~bpo70+1_all.deb 14-Jan-2015 18:26 90K
acl2-infix-source_7.2dfsg-3_all.deb 17-Oct-2016 17:35 77K
acl2-infix-source_7.4dfsg-3.1_all.deb 10-Aug-2017 00:12 77K
acl2-infix-source_7.4dfsg-4_all.deb 02-Oct-2017 20:45 77K
acl2-infix-source_8.0dfsg-1_all.deb 13-Jan-2018 15:52 77K
acl2-infix_4.3-3_amd64.deb 21-Apr-2012 03:02 199K
acl2-infix_4.3-3_armel.deb 22-Apr-2012 05:47 369K
acl2-infix_4.3-3_armhf.deb 22-Apr-2012 01:17 401K
acl2-infix_4.3-3_i386.deb 20-Apr-2012 22:38 180K
acl2-infix_4.3-3_ia64.deb 23-Apr-2012 17:47 256K
acl2-infix_4.3-3_kfreebsd-amd64.deb 21-Apr-2012 15:32 201K
acl2-infix_4.3-3_kfreebsd-i386.deb 21-Apr-2012 04:02 178K
acl2-infix_4.3-3_mips.deb 21-Apr-2012 23:47 226K
acl2-infix_4.3-3_mipsel.deb 27-Apr-2012 00:49 214K
acl2-infix_4.3-3_powerpc.deb 21-Apr-2012 04:47 218K
acl2-infix_4.3-3_s390.deb 21-Apr-2012 02:17 167K
acl2-infix_4.3-3_s390x.deb 21-Apr-2012 11:47 190K
acl2-infix_4.3-3_sparc.deb 22-Apr-2012 02:02 212K
acl2-infix_6.5-2_amd64.deb 08-Sep-2014 17:35 147K
acl2-infix_6.5-2_arm64.deb 17-Sep-2014 02:00 149K
acl2-infix_6.5-2_armel.deb 09-Sep-2014 14:25 403K
acl2-infix_6.5-2_armhf.deb 12-Sep-2014 13:12 424K
acl2-infix_6.5-2_i386.deb 09-Sep-2014 00:44 148K
acl2-infix_6.5-2_kfreebsd-amd64.deb 09-Sep-2014 09:43 145K
acl2-infix_6.5-2_kfreebsd-i386.deb 09-Sep-2014 13:04 147K
acl2-infix_6.5-2_mips.deb 03-Oct-2014 02:44 145K
acl2-infix_6.5-2_mipsel.deb 28-Sep-2014 23:37 146K
acl2-infix_6.5-2_powerpc.deb 08-Sep-2014 20:57 136K
acl2-infix_6.5-2_ppc64el.deb 09-Sep-2014 07:07 152K
acl2-infix_6.5-2_s390x.deb 09-Sep-2014 03:46 138K
acl2-infix_6.5-2~bpo70+1_amd64.deb 14-Jan-2015 18:26 219K
acl2-infix_7.2dfsg-3_amd64.deb 17-Oct-2016 17:35 410K
acl2-infix_7.2dfsg-3_arm64.deb 18-Oct-2016 08:59 420K
acl2-infix_7.2dfsg-3_armel.deb 19-Oct-2016 08:29 382K
acl2-infix_7.2dfsg-3_armhf.deb 19-Oct-2016 04:33 401K
acl2-infix_7.2dfsg-3_i386.deb 18-Oct-2016 02:35 381K
acl2-infix_7.2dfsg-3_mips.deb 18-Oct-2016 18:12 408K
acl2-infix_7.2dfsg-3_mips64el.deb 20-Oct-2016 03:31 424K
acl2-infix_7.2dfsg-3_mipsel.deb 19-Oct-2016 17:45 426K
acl2-infix_7.2dfsg-3_ppc64el.deb 18-Oct-2016 01:34 413K
acl2-infix_7.2dfsg-3_s390x.deb 18-Oct-2016 10:30 408K
acl2-infix_7.4dfsg-3.1_kfreebsd-i386.deb 10-Aug-2017 13:19 389K
acl2-infix_7.4dfsg-4_amd64.deb 02-Oct-2017 20:45 423K
acl2-infix_7.4dfsg-4_arm64.deb 03-Oct-2017 06:55 434K
acl2-infix_7.4dfsg-4_armel.deb 04-Oct-2017 06:27 392K
acl2-infix_7.4dfsg-4_armhf.deb 04-Oct-2017 03:26 407K
acl2-infix_7.4dfsg-4_i386.deb 03-Oct-2017 02:42 390K
acl2-infix_7.4dfsg-4_kfreebsd-amd64.deb 03-Oct-2017 05:55 420K
acl2-infix_7.4dfsg-4_mips.deb 04-Oct-2017 03:41 424K
acl2-infix_7.4dfsg-4_mips64el.deb 05-Oct-2017 17:28 438K
acl2-infix_7.4dfsg-4_mipsel.deb 04-Oct-2017 20:13 440K
acl2-infix_7.4dfsg-4_ppc64el.deb 03-Oct-2017 01:12 432K
acl2-infix_7.4dfsg-4_s390x.deb 03-Oct-2017 01:27 396K
acl2-infix_8.0dfsg-1_amd64.deb 13-Jan-2018 15:52 422K
acl2-infix_8.0dfsg-1_arm64.deb 14-Jan-2018 04:47 432K
acl2-infix_8.0dfsg-1_armhf.deb 15-Jan-2018 10:46 407K
acl2-infix_8.0dfsg-1_i386.deb 13-Jan-2018 23:26 390K
acl2-infix_8.0dfsg-1_mips.deb 16-Jan-2018 08:15 421K
acl2-infix_8.0dfsg-1_mips64el.deb 16-Jan-2018 05:44 440K
acl2-infix_8.0dfsg-1_mipsel.deb 16-Jan-2018 07:14 442K
acl2-infix_8.0dfsg-1_powerpc.deb 13-Jan-2018 23:56 396K
acl2-infix_8.0dfsg-1_ppc64el.deb 13-Jan-2018 22:26 434K
acl2-infix_8.0dfsg-1_s390x.deb 13-Jan-2018 22:41 397K
acl2-source_4.3-3_all.deb 20-Apr-2012 22:38 3.1M
acl2-source_6.5-2_all.deb 08-Sep-2014 17:35 2.6M
acl2-source_6.5-2~bpo70+1_all.deb 14-Jan-2015 18:26 3.7M
acl2-source_7.2dfsg-3_all.deb 17-Oct-2016 17:35 2.8M
acl2-source_7.4dfsg-3.1_all.deb 10-Aug-2017 00:12 2.9M
acl2-source_7.4dfsg-4_all.deb 02-Oct-2017 20:45 2.9M
acl2-source_8.0dfsg-1_all.deb 13-Jan-2018 15:52 2.9M
![[ ]](/icons/compressed.gif)
acl2_4.3-3.debian.tar.gz 20-Apr-2012 22:38 18K
![[TXT]](/icons/text.gif)
acl2_4.3-3.dsc 20-Apr-2012 22:38 1.5K
acl2_4.3-3_amd64.deb 21-Apr-2012 03:02 27M
acl2_4.3-3_armel.deb 22-Apr-2012 05:47 23M
acl2_4.3-3_armhf.deb 22-Apr-2012 01:17 22M
acl2_4.3-3_i386.deb 20-Apr-2012 22:38 23M
acl2_4.3-3_ia64.deb 23-Apr-2012 17:47 25M
acl2_4.3-3_kfreebsd-amd64.deb 21-Apr-2012 15:32 27M
acl2_4.3-3_kfreebsd-i386.deb 21-Apr-2012 04:02 23M
acl2_4.3-3_mips.deb 21-Apr-2012 23:47 24M
acl2_4.3-3_mipsel.deb 27-Apr-2012 00:49 23M
acl2_4.3-3_powerpc.deb 21-Apr-2012 04:47 25M
acl2_4.3-3_s390.deb 21-Apr-2012 02:17 25M
acl2_4.3-3_s390x.deb 21-Apr-2012 11:47 29M
acl2_4.3-3_sparc.deb 22-Apr-2012 02:02 27M
acl2_4.3.orig.tar.gz 11-Jan-2012 21:47 15M
acl2_6.5-2.debian.tar.xz 08-Sep-2014 17:35 125K
acl2_6.5-2.dsc 08-Sep-2014 17:35 1.8K
acl2_6.5-2_amd64.deb 08-Sep-2014 17:35 16M
acl2_6.5-2_arm64.deb 17-Sep-2014 02:00 14M
acl2_6.5-2_armel.deb 09-Sep-2014 14:25 13M
acl2_6.5-2_armhf.deb 12-Sep-2014 13:12 14M
acl2_6.5-2_i386.deb 09-Sep-2014 00:44 13M
acl2_6.5-2_kfreebsd-amd64.deb 09-Sep-2014 09:43 16M
acl2_6.5-2_kfreebsd-i386.deb 09-Sep-2014 13:04 13M
acl2_6.5-2_mips.deb 03-Oct-2014 02:44 13M
acl2_6.5-2_mipsel.deb 28-Sep-2014 23:37 13M
acl2_6.5-2_powerpc.deb 08-Sep-2014 20:57 13M
acl2_6.5-2_ppc64el.deb 09-Sep-2014 07:07 14M
acl2_6.5-2_s390x.deb 09-Sep-2014 03:46 15M
acl2_6.5-2~bpo70+1.debian.tar.gz 14-Jan-2015 18:26 160K
acl2_6.5-2~bpo70+1.dsc 14-Jan-2015 18:26 2.3K
acl2_6.5-2~bpo70+1_amd64.deb 14-Jan-2015 18:26 24M
acl2_6.5.orig-books.tar.gz 17-Aug-2014 18:21 14M
acl2_6.5.orig.tar.gz 17-Aug-2014 18:21 5.9M
acl2_7.2dfsg-3.debian.tar.xz 17-Oct-2016 17:35 199K
acl2_7.2dfsg-3.dsc 17-Oct-2016 17:35 2.2K
acl2_7.2dfsg-3_amd64.deb 17-Oct-2016 17:35 17M
acl2_7.2dfsg-3_arm64.deb 18-Oct-2016 08:59 15M
acl2_7.2dfsg-3_armel.deb 19-Oct-2016 08:29 14M
acl2_7.2dfsg-3_armhf.deb 19-Oct-2016 04:33 14M
acl2_7.2dfsg-3_i386.deb 18-Oct-2016 02:35 15M
acl2_7.2dfsg-3_mips.deb 18-Oct-2016 18:12 15M
acl2_7.2dfsg-3_mips64el.deb 20-Oct-2016 03:31 15M
acl2_7.2dfsg-3_mipsel.deb 19-Oct-2016 17:45 15M
acl2_7.2dfsg-3_ppc64el.deb 18-Oct-2016 01:34 16M
acl2_7.2dfsg-3_s390x.deb 18-Oct-2016 10:30 15M
acl2_7.2dfsg.orig.tar.gz 14-Apr-2016 16:54 61M
acl2_7.4dfsg-3.1.debian.tar.xz 04-Aug-2017 16:19 200K
acl2_7.4dfsg-3.1.dsc 04-Aug-2017 16:19 2.3K
acl2_7.4dfsg-3.1_kfreebsd-i386.deb 10-Aug-2017 13:19 16M
acl2_7.4dfsg-4.debian.tar.xz 02-Oct-2017 20:45 200K
acl2_7.4dfsg-4.dsc 02-Oct-2017 20:45 2.2K
acl2_7.4dfsg-4_amd64.deb 02-Oct-2017 20:45 18M
acl2_7.4dfsg-4_arm64.deb 03-Oct-2017 06:55 17M
acl2_7.4dfsg-4_armel.deb 04-Oct-2017 06:27 15M
acl2_7.4dfsg-4_armhf.deb 04-Oct-2017 03:26 15M
acl2_7.4dfsg-4_i386.deb 03-Oct-2017 02:42 15M
acl2_7.4dfsg-4_kfreebsd-amd64.deb 03-Oct-2017 05:55 18M
acl2_7.4dfsg-4_mips.deb 04-Oct-2017 03:41 16M
acl2_7.4dfsg-4_mips64el.deb 05-Oct-2017 17:28 16M
acl2_7.4dfsg-4_mipsel.deb 04-Oct-2017 20:13 16M
acl2_7.4dfsg-4_ppc64el.deb 03-Oct-2017 01:12 17M
acl2_7.4dfsg-4_s390x.deb 03-Oct-2017 01:27 17M
acl2_7.4dfsg.orig.tar.gz 10-May-2017 03:57 62M
acl2_8.0dfsg-1.debian.tar.xz 13-Jan-2018 15:52 200K
acl2_8.0dfsg-1.dsc 13-Jan-2018 15:52 2.2K
acl2_8.0dfsg-1_amd64.deb 13-Jan-2018 15:52 19M
acl2_8.0dfsg-1_arm64.deb 14-Jan-2018 04:47 17M
acl2_8.0dfsg-1_armhf.deb 15-Jan-2018 10:46 15M
acl2_8.0dfsg-1_i386.deb 13-Jan-2018 23:26 16M
acl2_8.0dfsg-1_mips.deb 16-Jan-2018 08:15 17M
acl2_8.0dfsg-1_mips64el.deb 16-Jan-2018 05:44 16M
acl2_8.0dfsg-1_mipsel.deb 16-Jan-2018 07:14 17M
acl2_8.0dfsg-1_powerpc.deb 13-Jan-2018 23:56 18M
acl2_8.0dfsg-1_ppc64el.deb 13-Jan-2018 22:26 19M
acl2_8.0dfsg-1_s390x.deb 13-Jan-2018 22:41 17M
acl2_8.0dfsg.orig.tar.gz 13-Jan-2018 15:52 74M