| Parent Directory/ | | - | Directory |
| acl2-books-certs_4.3-3_all.deb | 2012-Apr-20 21:38:38 | 4.2M | application/octet-stream |
| acl2-books-certs_6.5-2_all.deb | 2014-Sep-08 16:35:45 | 6.2M | application/octet-stream |
| acl2-books-certs_6.5-2~bpo70+1_all.deb | 2015-Jan-14 17:26:22 | 18.7M | application/octet-stream |
| acl2-books-certs_7.0-1_all.deb | 2015-Jan-27 03:50:49 | 66.1M | application/octet-stream |
| acl2-books-certs_7.2dfsg-3_all.deb | 2016-Oct-17 16:35:12 | 52.2M | application/octet-stream |
| acl2-books-certs_8.0dfsg-1_all.deb | 2018-Jan-13 14:52:57 | 69.9M | application/octet-stream |
| acl2-books-certs_8.3dfsg-2_all.deb | 2021-Jan-28 03:25:23 | 138.6M | application/octet-stream |
| acl2-books-certs_8.3dfsg-3_all.deb | 2021-Feb-10 15:24:59 | 138.5M | application/octet-stream |
| acl2-books-source_4.3-3_all.deb | 2012-Apr-20 21:38:38 | 6.1M | application/octet-stream |
| acl2-books-source_6.5-2_all.deb | 2014-Sep-08 16:35:45 | 6.6M | application/octet-stream |
| acl2-books-source_6.5-2~bpo70+1_all.deb | 2015-Jan-14 17:26:22 | 10.2M | application/octet-stream |
| acl2-books-source_7.0-1_all.deb | 2015-Jan-27 03:50:48 | 8.4M | application/octet-stream |
| acl2-books-source_7.2dfsg-3_all.deb | 2016-Oct-17 16:35:12 | 10.3M | application/octet-stream |
| acl2-books-source_8.0dfsg-1_all.deb | 2018-Jan-13 14:52:57 | 11.9M | application/octet-stream |
| acl2-books-source_8.3dfsg-2_all.deb | 2021-Jan-28 03:25:23 | 18.6M | application/octet-stream |
| acl2-books-source_8.3dfsg-3_all.deb | 2021-Feb-10 15:24:59 | 18.6M | application/octet-stream |
| acl2-books_4.3-3_amd64.deb | 2012-Apr-21 02:02:07 | 15.2M | application/octet-stream |
| acl2-books_4.3-3_armhf.deb | 2012-Apr-22 00:17:07 | 36.5M | application/octet-stream |
| acl2-books_4.3-3_i386.deb | 2012-Apr-20 21:38:38 | 13.2M | application/octet-stream |
| acl2-books_4.3-3_kfreebsd-amd64.deb | 2012-Apr-21 14:32:09 | 15.0M | application/octet-stream |
| acl2-books_4.3-3_kfreebsd-i386.deb | 2012-Apr-21 03:02:07 | 12.9M | application/octet-stream |
| acl2-books_4.3-3_mips.deb | 2012-Apr-21 22:47:09 | 16.1M | application/octet-stream |
| acl2-books_4.3-3_mipsel.deb | 2012-Apr-26 23:49:11 | 15.4M | application/octet-stream |
| acl2-books_4.3-3_powerpc.deb | 2012-Apr-21 03:47:07 | 15.1M | application/octet-stream |
| acl2-books_6.5-2_amd64.deb | 2014-Sep-08 16:35:45 | 22.0M | application/octet-stream |
| acl2-books_6.5-2_arm64.deb | 2014-Sep-17 01:00:03 | 21.8M | application/octet-stream |
| acl2-books_6.5-2_armhf.deb | 2014-Sep-12 12:12:21 | 66.7M | application/octet-stream |
| acl2-books_6.5-2_i386.deb | 2014-Sep-08 23:44:10 | 20.8M | application/octet-stream |
| acl2-books_6.5-2_kfreebsd-amd64.deb | 2014-Sep-09 08:43:34 | 22.0M | application/octet-stream |
| acl2-books_6.5-2_kfreebsd-i386.deb | 2014-Sep-09 12:04:35 | 17.8M | application/octet-stream |
| acl2-books_6.5-2_mips.deb | 2014-Oct-03 01:44:23 | 19.9M | application/octet-stream |
| acl2-books_6.5-2_mipsel.deb | 2014-Sep-28 22:37:48 | 20.4M | application/octet-stream |
| acl2-books_6.5-2_powerpc.deb | 2014-Sep-08 19:57:55 | 18.1M | application/octet-stream |
| acl2-books_6.5-2_ppc64el.deb | 2014-Sep-09 06:07:28 | 19.1M | application/octet-stream |
| acl2-books_6.5-2~bpo70+1_amd64.deb | 2015-Jan-14 17:26:23 | 47.4M | application/octet-stream |
| acl2-books_7.0-1_kfreebsd-amd64.deb | 2015-Jan-27 15:18:39 | 23.9M | application/octet-stream |
| acl2-books_7.2dfsg-3_amd64.deb | 2016-Oct-17 16:35:12 | 103.1M | application/octet-stream |
| acl2-books_7.2dfsg-3_arm64.deb | 2016-Oct-18 07:59:40 | 104.4M | application/octet-stream |
| acl2-books_7.2dfsg-3_armhf.deb | 2016-Oct-19 03:33:00 | 91.8M | application/octet-stream |
| acl2-books_7.2dfsg-3_i386.deb | 2016-Oct-18 01:35:09 | 86.2M | application/octet-stream |
| acl2-books_7.2dfsg-3_kfreebsd-i386.deb | 2016-Oct-18 00:19:00 | 64.7M | application/octet-stream |
| acl2-books_7.2dfsg-3_mips.deb | 2016-Oct-18 17:12:37 | 71.3M | application/octet-stream |
| acl2-books_7.2dfsg-3_mips64el.deb | 2016-Oct-20 02:31:47 | 108.2M | application/octet-stream |
| acl2-books_7.2dfsg-3_mipsel.deb | 2016-Oct-19 16:45:39 | 74.2M | application/octet-stream |
| acl2-books_7.2dfsg-3_powerpc.deb | 2016-Oct-18 12:31:06 | 65.9M | application/octet-stream |
| acl2-books_7.2dfsg-3_ppc64el.deb | 2016-Oct-18 00:34:13 | 98.8M | application/octet-stream |
| acl2-books_8.0dfsg-1_amd64.deb | 2018-Jan-13 14:52:59 | 131.5M | application/octet-stream |
| acl2-books_8.0dfsg-1_arm64.deb | 2018-Jan-14 03:47:41 | 134.8M | application/octet-stream |
| acl2-books_8.0dfsg-1_armhf.deb | 2018-Jan-15 09:46:11 | 119.5M | application/octet-stream |
| acl2-books_8.0dfsg-1_i386.deb | 2018-Jan-13 22:26:14 | 110.6M | application/octet-stream |
| acl2-books_8.0dfsg-1_mips.deb | 2018-Jan-16 07:15:21 | 126.0M | application/octet-stream |
| acl2-books_8.0dfsg-1_mips64el.deb | 2018-Jan-16 04:44:09 | 140.0M | application/octet-stream |
| acl2-books_8.0dfsg-1_mipsel.deb | 2018-Jan-16 06:14:20 | 130.5M | application/octet-stream |
| acl2-books_8.0dfsg-1_ppc64el.deb | 2018-Jan-13 21:26:05 | 130.4M | application/octet-stream |
| acl2-books_8.3dfsg-2_amd64.deb | 2021-Jan-27 22:57:13 | 241.1M | application/octet-stream |
| acl2-books_8.3dfsg-2_arm64.deb | 2021-Jan-28 16:43:01 | 235.9M | application/octet-stream |
| acl2-books_8.3dfsg-2_armhf.deb | 2021-Jan-28 07:42:54 | 222.9M | application/octet-stream |
| acl2-books_8.3dfsg-2_i386.deb | 2021-Jan-27 23:22:26 | 203.9M | application/octet-stream |
| acl2-books_8.3dfsg-2_mips64el.deb | 2021-Jan-30 20:12:15 | 253.6M | application/octet-stream |
| acl2-books_8.3dfsg-2_mipsel.deb | 2021-Jan-29 10:42:16 | 227.9M | application/octet-stream |
| acl2-books_8.3dfsg-2_ppc64el.deb | 2021-Jan-28 00:44:10 | 244.7M | application/octet-stream |
| acl2-books_8.3dfsg-3_amd64.deb | 2021-Feb-10 15:25:01 | 241.1M | application/octet-stream |
| acl2-books_8.3dfsg-3_arm64.deb | 2021-Sep-14 20:43:53 | 235.8M | application/octet-stream |
| acl2-books_8.3dfsg-3_i386.deb | 2021-Sep-14 08:45:46 | 203.4M | application/octet-stream |
| acl2-books_8.3dfsg-3_ppc64el.deb | 2021-Sep-14 11:57:58 | 244.9M | application/octet-stream |
| acl2-doc_4.3-3_all.deb | 2012-Apr-20 21:38:38 | 353.8K | application/octet-stream |
| acl2-doc_6.5-2_all.deb | 2014-Sep-08 16:35:45 | 1.6M | application/octet-stream |
| acl2-doc_6.5-2~bpo70+1_all.deb | 2015-Jan-14 17:26:22 | 2.1M | application/octet-stream |
| acl2-doc_7.0-1_all.deb | 2015-Jan-27 03:50:49 | 336.7K | application/octet-stream |
| acl2-doc_7.2dfsg-3_all.deb | 2016-Oct-17 16:35:12 | 372.2K | application/octet-stream |
| acl2-doc_8.0dfsg-1_all.deb | 2018-Jan-13 14:52:59 | 392.1K | application/octet-stream |
| acl2-doc_8.3dfsg-2_all.deb | 2021-Jan-28 03:25:23 | 437.1K | application/octet-stream |
| acl2-doc_8.3dfsg-3_all.deb | 2021-Feb-10 15:25:01 | 437.1K | application/octet-stream |
| acl2-emacs_4.3-3_all.deb | 2012-Apr-20 21:38:38 | 59.4K | application/octet-stream |
| acl2-emacs_6.5-2_all.deb | 2014-Sep-08 16:35:45 | 59.4K | application/octet-stream |
| acl2-emacs_6.5-2~bpo70+1_all.deb | 2015-Jan-14 17:26:22 | 71.2K | application/octet-stream |
| acl2-emacs_7.0-1_all.deb | 2015-Jan-27 03:50:48 | 59.9K | application/octet-stream |
| acl2-emacs_7.2dfsg-3_all.deb | 2016-Oct-17 16:35:12 | 62.5K | application/octet-stream |
| acl2-emacs_8.0dfsg-1_all.deb | 2018-Jan-13 14:52:59 | 66.0K | application/octet-stream |
| acl2-emacs_8.3dfsg-2_all.deb | 2021-Jan-28 03:25:23 | 67.8K | application/octet-stream |
| acl2-infix-source_4.3-3_all.deb | 2012-Apr-20 21:38:38 | 89.3K | application/octet-stream |
| acl2-infix-source_6.5-2_all.deb | 2014-Sep-08 16:35:45 | 77.6K | application/octet-stream |
| acl2-infix-source_6.5-2~bpo70+1_all.deb | 2015-Jan-14 17:26:22 | 90.0K | application/octet-stream |
| acl2-infix-source_7.0-1_all.deb | 2015-Jan-27 03:50:48 | 77.6K | application/octet-stream |
| acl2-infix-source_7.2dfsg-3_all.deb | 2016-Oct-17 16:35:12 | 76.9K | application/octet-stream |
| acl2-infix-source_8.0dfsg-1_all.deb | 2018-Jan-13 14:52:59 | 77.3K | application/octet-stream |
| acl2-infix-source_8.3dfsg-2_all.deb | 2021-Jan-28 03:25:23 | 78.0K | application/octet-stream |
| acl2-infix-source_8.3dfsg-3_all.deb | 2021-Feb-10 15:25:01 | 78.0K | application/octet-stream |
| acl2-infix_4.3-3_amd64.deb | 2012-Apr-21 02:02:07 | 198.9K | application/octet-stream |
| acl2-infix_4.3-3_armhf.deb | 2012-Apr-22 00:17:07 | 400.7K | application/octet-stream |
| acl2-infix_4.3-3_i386.deb | 2012-Apr-20 21:38:38 | 179.7K | application/octet-stream |
| acl2-infix_4.3-3_kfreebsd-amd64.deb | 2012-Apr-21 14:32:09 | 200.5K | application/octet-stream |
| acl2-infix_4.3-3_kfreebsd-i386.deb | 2012-Apr-21 03:02:07 | 178.1K | application/octet-stream |
| acl2-infix_4.3-3_mips.deb | 2012-Apr-21 22:47:08 | 226.1K | application/octet-stream |
| acl2-infix_4.3-3_mipsel.deb | 2012-Apr-26 23:49:11 | 214.3K | application/octet-stream |
| acl2-infix_4.3-3_powerpc.deb | 2012-Apr-21 03:47:07 | 218.3K | application/octet-stream |
| acl2-infix_6.5-2_amd64.deb | 2014-Sep-08 16:35:45 | 146.5K | application/octet-stream |
| acl2-infix_6.5-2_arm64.deb | 2014-Sep-17 01:00:03 | 149.2K | application/octet-stream |
| acl2-infix_6.5-2_armhf.deb | 2014-Sep-12 12:12:21 | 424.4K | application/octet-stream |
| acl2-infix_6.5-2_i386.deb | 2014-Sep-08 23:44:10 | 148.0K | application/octet-stream |
| acl2-infix_6.5-2_kfreebsd-amd64.deb | 2014-Sep-09 08:43:34 | 145.0K | application/octet-stream |
| acl2-infix_6.5-2_kfreebsd-i386.deb | 2014-Sep-09 12:04:35 | 147.5K | application/octet-stream |
| acl2-infix_6.5-2_mips.deb | 2014-Oct-03 01:44:23 | 145.0K | application/octet-stream |
| acl2-infix_6.5-2_mipsel.deb | 2014-Sep-28 22:37:48 | 146.4K | application/octet-stream |
| acl2-infix_6.5-2_powerpc.deb | 2014-Sep-08 19:57:55 | 136.4K | application/octet-stream |
| acl2-infix_6.5-2_ppc64el.deb | 2014-Sep-09 06:07:28 | 152.2K | application/octet-stream |
| acl2-infix_6.5-2~bpo70+1_amd64.deb | 2015-Jan-14 17:26:23 | 219.2K | application/octet-stream |
| acl2-infix_7.0-1_kfreebsd-amd64.deb | 2015-Jan-27 15:18:39 | 146.7K | application/octet-stream |
| acl2-infix_7.2dfsg-3_amd64.deb | 2016-Oct-17 16:35:12 | 409.9K | application/octet-stream |
| acl2-infix_7.2dfsg-3_arm64.deb | 2016-Oct-18 07:59:40 | 420.1K | application/octet-stream |
| acl2-infix_7.2dfsg-3_armhf.deb | 2016-Oct-19 03:33:00 | 400.6K | application/octet-stream |
| acl2-infix_7.2dfsg-3_i386.deb | 2016-Oct-18 01:35:09 | 381.0K | application/octet-stream |
| acl2-infix_7.2dfsg-3_kfreebsd-i386.deb | 2016-Oct-18 00:19:00 | 380.4K | application/octet-stream |
| acl2-infix_7.2dfsg-3_mips.deb | 2016-Oct-18 17:12:37 | 407.9K | application/octet-stream |
| acl2-infix_7.2dfsg-3_mips64el.deb | 2016-Oct-20 02:31:47 | 423.7K | application/octet-stream |
| acl2-infix_7.2dfsg-3_mipsel.deb | 2016-Oct-19 16:45:39 | 426.2K | application/octet-stream |
| acl2-infix_7.2dfsg-3_powerpc.deb | 2016-Oct-18 12:31:06 | 375.9K | application/octet-stream |
| acl2-infix_7.2dfsg-3_ppc64el.deb | 2016-Oct-18 00:34:13 | 412.9K | application/octet-stream |
| acl2-infix_8.0dfsg-1_amd64.deb | 2018-Jan-13 14:52:59 | 421.9K | application/octet-stream |
| acl2-infix_8.0dfsg-1_arm64.deb | 2018-Jan-14 03:47:41 | 432.4K | application/octet-stream |
| acl2-infix_8.0dfsg-1_armhf.deb | 2018-Jan-15 09:46:11 | 406.5K | application/octet-stream |
| acl2-infix_8.0dfsg-1_i386.deb | 2018-Jan-13 22:26:14 | 389.9K | application/octet-stream |
| acl2-infix_8.0dfsg-1_mips.deb | 2018-Jan-16 07:15:21 | 421.1K | application/octet-stream |
| acl2-infix_8.0dfsg-1_mips64el.deb | 2018-Jan-16 04:44:09 | 439.8K | application/octet-stream |
| acl2-infix_8.0dfsg-1_mipsel.deb | 2018-Jan-16 06:14:20 | 441.7K | application/octet-stream |
| acl2-infix_8.0dfsg-1_ppc64el.deb | 2018-Jan-13 21:26:05 | 434.0K | application/octet-stream |
| acl2-infix_8.3dfsg-2_amd64.deb | 2021-Jan-27 22:57:13 | 478.8K | application/octet-stream |
| acl2-infix_8.3dfsg-2_arm64.deb | 2021-Jan-28 16:43:01 | 469.4K | application/octet-stream |
| acl2-infix_8.3dfsg-2_armhf.deb | 2021-Jan-28 07:42:54 | 478.2K | application/octet-stream |
| acl2-infix_8.3dfsg-2_i386.deb | 2021-Jan-27 23:22:26 | 484.8K | application/octet-stream |
| acl2-infix_8.3dfsg-2_mips64el.deb | 2021-Jan-30 20:12:15 | 503.3K | application/octet-stream |
| acl2-infix_8.3dfsg-2_mipsel.deb | 2021-Jan-29 10:42:16 | 508.9K | application/octet-stream |
| acl2-infix_8.3dfsg-2_ppc64el.deb | 2021-Jan-28 00:44:10 | 497.8K | application/octet-stream |
| acl2-infix_8.3dfsg-3_amd64.deb | 2021-Feb-10 15:25:01 | 479.8K | application/octet-stream |
| acl2-infix_8.3dfsg-3_arm64.deb | 2021-Sep-14 20:43:53 | 470.2K | application/octet-stream |
| acl2-infix_8.3dfsg-3_i386.deb | 2021-Sep-14 08:45:46 | 484.9K | application/octet-stream |
| acl2-infix_8.3dfsg-3_ppc64el.deb | 2021-Sep-14 11:57:58 | 497.2K | application/octet-stream |
| acl2-source_4.3-3_all.deb | 2012-Apr-20 21:38:38 | 3.1M | application/octet-stream |
| acl2-source_6.5-2_all.deb | 2014-Sep-08 16:35:45 | 2.6M | application/octet-stream |
| acl2-source_6.5-2~bpo70+1_all.deb | 2015-Jan-14 17:26:22 | 3.7M | application/octet-stream |
| acl2-source_7.0-1_all.deb | 2015-Jan-27 03:50:48 | 2.7M | application/octet-stream |
| acl2-source_7.2dfsg-3_all.deb | 2016-Oct-17 16:35:12 | 2.7M | application/octet-stream |
| acl2-source_8.0dfsg-1_all.deb | 2018-Jan-13 14:52:59 | 2.9M | application/octet-stream |
| acl2-source_8.3dfsg-2_all.deb | 2021-Jan-28 03:25:23 | 3.1M | application/octet-stream |
| acl2-source_8.3dfsg-3_all.deb | 2021-Feb-10 15:25:01 | 3.1M | application/octet-stream |
| acl2_4.3-3.debian.tar.gz | 2012-Apr-20 21:38:38 | 17.8K | application/x-gzip |
| acl2_4.3-3.dsc | 2012-Apr-20 21:38:38 | 1.4K | application/octet-stream |
| acl2_4.3-3_amd64.deb | 2012-Apr-21 02:02:07 | 27.0M | application/octet-stream |
| acl2_4.3-3_armhf.deb | 2012-Apr-22 00:17:07 | 22.3M | application/octet-stream |
| acl2_4.3-3_i386.deb | 2012-Apr-20 21:38:38 | 23.1M | application/octet-stream |
| acl2_4.3-3_kfreebsd-amd64.deb | 2012-Apr-21 14:32:09 | 27.0M | application/octet-stream |
| acl2_4.3-3_kfreebsd-i386.deb | 2012-Apr-21 03:02:07 | 23.2M | application/octet-stream |
| acl2_4.3-3_mips.deb | 2012-Apr-21 22:47:08 | 23.7M | application/octet-stream |
| acl2_4.3-3_mipsel.deb | 2012-Apr-26 23:49:11 | 22.5M | application/octet-stream |
| acl2_4.3-3_powerpc.deb | 2012-Apr-21 03:47:07 | 24.5M | application/octet-stream |
| acl2_4.3.orig.tar.gz | 2012-Jan-11 20:47:07 | 14.5M | application/x-gzip |
| acl2_6.5-2.debian.tar.xz | 2014-Sep-08 16:35:45 | 125.2K | application/octet-stream |
| acl2_6.5-2.dsc | 2014-Sep-08 16:35:45 | 1.7K | application/octet-stream |
| acl2_6.5-2_amd64.deb | 2014-Sep-08 16:35:45 | 15.5M | application/octet-stream |
| acl2_6.5-2_arm64.deb | 2014-Sep-17 01:00:03 | 14.1M | application/octet-stream |
| acl2_6.5-2_armhf.deb | 2014-Sep-12 12:12:21 | 13.5M | application/octet-stream |
| acl2_6.5-2_i386.deb | 2014-Sep-08 23:44:10 | 13.3M | application/octet-stream |
| acl2_6.5-2_kfreebsd-amd64.deb | 2014-Sep-09 08:43:34 | 15.5M | application/octet-stream |
| acl2_6.5-2_kfreebsd-i386.deb | 2014-Sep-09 12:04:35 | 13.4M | application/octet-stream |
| acl2_6.5-2_mips.deb | 2014-Oct-03 01:44:23 | 13.0M | application/octet-stream |
| acl2_6.5-2_mipsel.deb | 2014-Sep-28 22:37:48 | 13.4M | application/octet-stream |
| acl2_6.5-2_powerpc.deb | 2014-Sep-08 19:57:55 | 12.6M | application/octet-stream |
| acl2_6.5-2_ppc64el.deb | 2014-Sep-09 06:07:28 | 13.5M | application/octet-stream |
| acl2_6.5-2~bpo70+1.debian.tar.gz | 2015-Jan-14 17:26:22 | 159.6K | application/x-gzip |
| acl2_6.5-2~bpo70+1.dsc | 2015-Jan-14 17:26:22 | 2.3K | application/octet-stream |
| acl2_6.5-2~bpo70+1_amd64.deb | 2015-Jan-14 17:26:23 | 23.8M | application/octet-stream |
| acl2_6.5.orig-books.tar.gz | 2014-Aug-17 17:21:05 | 14.2M | application/x-gzip |
| acl2_6.5.orig.tar.gz | 2014-Aug-17 17:21:05 | 5.9M | application/x-gzip |
| acl2_7.0-1.debian.tar.xz | 2015-Jan-27 03:50:48 | 125.8K | application/octet-stream |
| acl2_7.0-1.dsc | 2015-Jan-27 03:50:48 | 2.1K | application/octet-stream |
| acl2_7.0-1_kfreebsd-amd64.deb | 2015-Jan-27 15:18:39 | 15.1M | application/octet-stream |
| acl2_7.0.orig.tar.gz | 2015-Jan-27 03:50:48 | 55.6M | application/x-gzip |
| acl2_7.2dfsg-3.debian.tar.xz | 2016-Oct-17 16:35:12 | 199.3K | application/octet-stream |
| acl2_7.2dfsg-3.dsc | 2016-Oct-17 16:35:12 | 2.1K | application/octet-stream |
| acl2_7.2dfsg-3_amd64.deb | 2016-Oct-17 16:35:13 | 17.2M | application/octet-stream |
| acl2_7.2dfsg-3_arm64.deb | 2016-Oct-18 07:59:40 | 14.9M | application/octet-stream |
| acl2_7.2dfsg-3_armhf.deb | 2016-Oct-19 03:33:00 | 13.9M | application/octet-stream |
| acl2_7.2dfsg-3_i386.deb | 2016-Oct-18 01:35:10 | 14.9M | application/octet-stream |
| acl2_7.2dfsg-3_kfreebsd-i386.deb | 2016-Oct-18 00:19:00 | 14.8M | application/octet-stream |
| acl2_7.2dfsg-3_mips.deb | 2016-Oct-18 17:12:37 | 15.0M | application/octet-stream |
| acl2_7.2dfsg-3_mips64el.deb | 2016-Oct-20 02:31:47 | 14.9M | application/octet-stream |
| acl2_7.2dfsg-3_mipsel.deb | 2016-Oct-19 16:45:39 | 15.1M | application/octet-stream |
| acl2_7.2dfsg-3_powerpc.deb | 2016-Oct-18 12:31:06 | 15.3M | application/octet-stream |
| acl2_7.2dfsg-3_ppc64el.deb | 2016-Oct-18 00:34:13 | 15.6M | application/octet-stream |
| acl2_7.2dfsg.orig.tar.gz | 2016-Apr-14 15:54:48 | 61.4M | application/x-gzip |
| acl2_8.0dfsg-1.debian.tar.xz | 2018-Jan-13 14:52:57 | 199.9K | application/octet-stream |
| acl2_8.0dfsg-1.dsc | 2018-Jan-13 14:52:56 | 2.1K | application/octet-stream |
| acl2_8.0dfsg-1_amd64.deb | 2018-Jan-13 14:52:59 | 18.9M | application/octet-stream |
| acl2_8.0dfsg-1_arm64.deb | 2018-Jan-14 03:47:42 | 17.0M | application/octet-stream |
| acl2_8.0dfsg-1_armhf.deb | 2018-Jan-15 09:46:12 | 15.4M | application/octet-stream |
| acl2_8.0dfsg-1_i386.deb | 2018-Jan-13 22:26:14 | 16.2M | application/octet-stream |
| acl2_8.0dfsg-1_mips.deb | 2018-Jan-16 07:15:21 | 16.5M | application/octet-stream |
| acl2_8.0dfsg-1_mips64el.deb | 2018-Jan-16 04:44:09 | 16.4M | application/octet-stream |
| acl2_8.0dfsg-1_mipsel.deb | 2018-Jan-16 06:14:20 | 16.6M | application/octet-stream |
| acl2_8.0dfsg-1_ppc64el.deb | 2018-Jan-13 21:26:05 | 18.5M | application/octet-stream |
| acl2_8.0dfsg.orig.tar.gz | 2018-Jan-13 14:52:57 | 74.0M | application/x-gzip |
| acl2_8.3dfsg-2.debian.tar.xz | 2021-Jan-27 15:34:22 | 222.9K | application/octet-stream |
| acl2_8.3dfsg-2.dsc | 2021-Jan-27 15:34:22 | 2.2K | application/octet-stream |
| acl2_8.3dfsg-2_amd64.deb | 2021-Jan-27 22:57:13 | 20.4M | application/octet-stream |
| acl2_8.3dfsg-2_arm64.deb | 2021-Jan-28 16:43:01 | 18.9M | application/octet-stream |
| acl2_8.3dfsg-2_armhf.deb | 2021-Jan-28 07:42:54 | 17.7M | application/octet-stream |
| acl2_8.3dfsg-2_i386.deb | 2021-Jan-27 23:22:27 | 18.5M | application/octet-stream |
| acl2_8.3dfsg-2_mips64el.deb | 2021-Jan-30 20:12:16 | 18.3M | application/octet-stream |
| acl2_8.3dfsg-2_mipsel.deb | 2021-Jan-29 10:42:16 | 18.8M | application/octet-stream |
| acl2_8.3dfsg-2_ppc64el.deb | 2021-Jan-28 00:44:10 | 21.5M | application/octet-stream |
| acl2_8.3dfsg-3.debian.tar.xz | 2021-Feb-10 15:24:58 | 256.4K | application/octet-stream |
| acl2_8.3dfsg-3.dsc | 2021-Feb-10 15:24:58 | 2.2K | application/octet-stream |
| acl2_8.3dfsg-3_amd64.deb | 2021-Feb-10 15:25:01 | 20.4M | application/octet-stream |
| acl2_8.3dfsg-3_arm64.deb | 2021-Sep-14 20:43:54 | 19.0M | application/octet-stream |
| acl2_8.3dfsg-3_i386.deb | 2021-Sep-14 08:45:46 | 18.5M | application/octet-stream |
| acl2_8.3dfsg-3_ppc64el.deb | 2021-Sep-14 11:57:58 | 20.6M | application/octet-stream |
| acl2_8.3dfsg.orig.tar.gz | 2020-Aug-24 04:39:38 | 111.8M | application/x-gzip |
| elpa-acl2_8.3dfsg-3_all.deb | 2021-Feb-10 15:25:01 | 74.7K | application/octet-stream |