| ../ | | - | Directory |
| acl2-books-certs_2.9-2_all.deb | 2004-Nov-11 03:02:03 | 288.8K | application/vnd.debian.binary-package |
| acl2-books-certs_3.1-1_all.deb | 2006-Dec-04 19:47:02 | 4.7M | application/vnd.debian.binary-package |
| acl2-books-certs_4.0-3_all.deb | 2010-Jul-09 18:02:03 | 1.9M | application/vnd.debian.binary-package |
| acl2-books-certs_4.3-3_all.deb | 2012-Apr-20 20:38:38 | 4.2M | application/vnd.debian.binary-package |
| acl2-books-certs_6.5-2_all.deb | 2014-Sep-08 15:35:45 | 6.2M | application/vnd.debian.binary-package |
| acl2-books-certs_6.5-2~bpo70+1_all.deb | 2015-Jan-14 16:26:22 | 18.7M | application/vnd.debian.binary-package |
| acl2-books-certs_7.2dfsg-3_all.deb | 2016-Oct-17 15:35:12 | 52.2M | application/vnd.debian.binary-package |
| acl2-books-certs_8.0dfsg-1_all.deb | 2018-Jan-13 13:52:57 | 69.9M | application/vnd.debian.binary-package |
| acl2-books-source_2.9-2_all.deb | 2004-Nov-11 03:02:03 | 1.1M | application/vnd.debian.binary-package |
| acl2-books-source_3.1-1_all.deb | 2006-Dec-04 19:47:02 | 2.1M | application/vnd.debian.binary-package |
| acl2-books-source_4.0-3_all.deb | 2010-Jul-09 18:02:03 | 5.0M | application/vnd.debian.binary-package |
| acl2-books-source_4.3-3_all.deb | 2012-Apr-20 20:38:38 | 6.1M | application/vnd.debian.binary-package |
| acl2-books-source_6.5-2_all.deb | 2014-Sep-08 15:35:45 | 6.6M | application/vnd.debian.binary-package |
| acl2-books-source_6.5-2~bpo70+1_all.deb | 2015-Jan-14 16:26:22 | 10.2M | application/vnd.debian.binary-package |
| acl2-books-source_7.2dfsg-3_all.deb | 2016-Oct-17 15:35:12 | 10.3M | application/vnd.debian.binary-package |
| acl2-books-source_8.0dfsg-1_all.deb | 2018-Jan-13 13:52:57 | 11.9M | application/vnd.debian.binary-package |
| acl2-books_2.9-2_alpha.deb | 2004-Nov-11 16:32:02 | 1.3M | application/vnd.debian.binary-package |
| acl2-books_2.9-2_arm.deb | 2004-Nov-15 00:17:04 | 903.7K | application/vnd.debian.binary-package |
| acl2-books_2.9-2_hppa.deb | 2004-Nov-25 01:47:02 | 6.5M | application/vnd.debian.binary-package |
| acl2-books_2.9-2_i386.deb | 2004-Nov-11 03:02:03 | 813.8K | application/vnd.debian.binary-package |
| acl2-books_2.9-2_ia64.deb | 2004-Nov-25 01:47:05 | 1.4M | application/vnd.debian.binary-package |
| acl2-books_2.9-2_m68k.deb | 2004-Nov-16 09:02:03 | 782.3K | application/vnd.debian.binary-package |
| acl2-books_2.9-2_mips.deb | 2004-Nov-16 17:47:01 | 1.0M | application/vnd.debian.binary-package |
| acl2-books_2.9-2_mipsel.deb | 2004-Nov-12 19:32:02 | 1.0M | application/vnd.debian.binary-package |
| acl2-books_2.9-2_powerpc.deb | 2004-Nov-11 16:32:04 | 1.2M | application/vnd.debian.binary-package |
| acl2-books_2.9-2_s390.deb | 2004-Nov-11 10:32:02 | 923.1K | application/vnd.debian.binary-package |
| acl2-books_2.9-2_sparc.deb | 2004-Nov-28 16:32:06 | 972.1K | application/vnd.debian.binary-package |
| acl2-books_3.1-1_alpha.deb | 2006-Dec-05 10:32:03 | 2.7M | application/vnd.debian.binary-package |
| acl2-books_3.1-1_amd64.deb | 2006-Dec-04 21:47:02 | 2.1M | application/vnd.debian.binary-package |
| acl2-books_3.1-1_arm.deb | 2006-Dec-18 17:00:03 | 1.6M | application/vnd.debian.binary-package |
| acl2-books_3.1-1_hppa.deb | 2006-Dec-12 05:02:01 | 7.4M | application/vnd.debian.binary-package |
| acl2-books_3.1-1_i386.deb | 2006-Dec-04 19:47:02 | 1.5M | application/vnd.debian.binary-package |
| acl2-books_3.1-1_ia64.deb | 2006-Dec-05 15:32:02 | 2.8M | application/vnd.debian.binary-package |
| acl2-books_3.1-1_m68k.deb | 2007-Feb-12 07:02:01 | 1.5M | application/vnd.debian.binary-package |
| acl2-books_3.1-1_mips.deb | 2006-Dec-12 07:02:01 | 1.9M | application/vnd.debian.binary-package |
| acl2-books_3.1-1_mipsel.deb | 2007-Jan-08 09:32:01 | 1.9M | application/vnd.debian.binary-package |
| acl2-books_3.1-1_powerpc.deb | 2006-Dec-05 10:32:05 | 2.2M | application/vnd.debian.binary-package |
| acl2-books_3.1-1_s390.deb | 2006-Dec-05 15:02:01 | 1.7M | application/vnd.debian.binary-package |
| acl2-books_3.1-1_sparc.deb | 2006-Dec-31 18:32:01 | 1.8M | application/vnd.debian.binary-package |
| acl2-books_4.0-3_amd64.deb | 2010-Jul-09 22:32:04 | 36.7M | application/vnd.debian.binary-package |
| acl2-books_4.0-3_armel.deb | 2010-Jul-11 18:17:04 | 32.6M | application/vnd.debian.binary-package |
| acl2-books_4.0-3_i386.deb | 2010-Jul-09 18:02:03 | 32.4M | application/vnd.debian.binary-package |
| acl2-books_4.0-3_ia64.deb | 2010-Jul-10 12:17:04 | 39.6M | application/vnd.debian.binary-package |
| acl2-books_4.0-3_kfreebsd-amd64.deb | 2010-Jul-10 00:17:03 | 36.6M | application/vnd.debian.binary-package |
| acl2-books_4.0-3_kfreebsd-i386.deb | 2010-Jul-10 00:32:04 | 32.2M | application/vnd.debian.binary-package |
| acl2-books_4.0-3_mips.deb | 2010-Jul-23 15:32:03 | 36.6M | application/vnd.debian.binary-package |
| acl2-books_4.0-3_mipsel.deb | 2010-Jul-19 16:47:03 | 12.5M | application/vnd.debian.binary-package |
| acl2-books_4.0-3_powerpc.deb | 2010-Jul-19 21:47:04 | 41.9M | application/vnd.debian.binary-package |
| acl2-books_4.0-3_s390.deb | 2010-Jul-10 10:47:04 | 40.2M | application/vnd.debian.binary-package |
| acl2-books_4.0-3_sparc.deb | 2010-Jul-17 15:47:04 | 35.2M | application/vnd.debian.binary-package |
| acl2-books_4.3-3_amd64.deb | 2012-Apr-21 01:02:07 | 15.2M | application/vnd.debian.binary-package |
| acl2-books_4.3-3_armel.deb | 2012-Apr-22 03:47:08 | 36.2M | application/vnd.debian.binary-package |
| acl2-books_4.3-3_armhf.deb | 2012-Apr-21 23:17:07 | 36.5M | application/vnd.debian.binary-package |
| acl2-books_4.3-3_i386.deb | 2012-Apr-20 20:38:38 | 13.2M | application/vnd.debian.binary-package |
| acl2-books_4.3-3_ia64.deb | 2012-Apr-23 15:47:14 | 18.1M | application/vnd.debian.binary-package |
| acl2-books_4.3-3_kfreebsd-amd64.deb | 2012-Apr-21 13:32:09 | 15.0M | application/vnd.debian.binary-package |
| acl2-books_4.3-3_kfreebsd-i386.deb | 2012-Apr-21 02:02:07 | 12.9M | application/vnd.debian.binary-package |
| acl2-books_4.3-3_mips.deb | 2012-Apr-21 21:47:09 | 16.1M | application/vnd.debian.binary-package |
| acl2-books_4.3-3_mipsel.deb | 2012-Apr-26 22:49:11 | 15.4M | application/vnd.debian.binary-package |
| acl2-books_4.3-3_powerpc.deb | 2012-Apr-21 02:47:07 | 15.1M | application/vnd.debian.binary-package |
| acl2-books_4.3-3_s390.deb | 2012-Apr-21 00:17:07 | 13.0M | application/vnd.debian.binary-package |
| acl2-books_4.3-3_s390x.deb | 2012-Apr-21 09:47:09 | 14.8M | application/vnd.debian.binary-package |
| acl2-books_4.3-3_sparc.deb | 2012-Apr-22 00:02:08 | 14.8M | application/vnd.debian.binary-package |
| acl2-books_6.5-2_amd64.deb | 2014-Sep-08 15:35:45 | 22.0M | application/vnd.debian.binary-package |
| acl2-books_6.5-2_arm64.deb | 2014-Sep-17 00:00:03 | 21.8M | application/vnd.debian.binary-package |
| acl2-books_6.5-2_armel.deb | 2014-Sep-09 12:25:28 | 64.9M | application/vnd.debian.binary-package |
| acl2-books_6.5-2_armhf.deb | 2014-Sep-12 11:12:21 | 66.7M | application/vnd.debian.binary-package |
| acl2-books_6.5-2_i386.deb | 2014-Sep-08 22:44:10 | 20.8M | application/vnd.debian.binary-package |
| acl2-books_6.5-2_kfreebsd-amd64.deb | 2014-Sep-09 07:43:34 | 22.0M | application/vnd.debian.binary-package |
| acl2-books_6.5-2_kfreebsd-i386.deb | 2014-Sep-09 11:04:35 | 17.8M | application/vnd.debian.binary-package |
| acl2-books_6.5-2_mips.deb | 2014-Oct-03 00:44:23 | 19.9M | application/vnd.debian.binary-package |
| acl2-books_6.5-2_mipsel.deb | 2014-Sep-28 21:37:48 | 20.4M | application/vnd.debian.binary-package |
| acl2-books_6.5-2_powerpc.deb | 2014-Sep-08 18:57:55 | 18.1M | application/vnd.debian.binary-package |
| acl2-books_6.5-2_ppc64el.deb | 2014-Sep-09 05:07:28 | 19.1M | application/vnd.debian.binary-package |
| acl2-books_6.5-2_s390x.deb | 2014-Sep-09 01:46:01 | 19.8M | application/vnd.debian.binary-package |
| acl2-books_6.5-2~bpo70+1_amd64.deb | 2015-Jan-14 16:26:23 | 47.4M | application/vnd.debian.binary-package |
| acl2-books_7.2dfsg-3_amd64.deb | 2016-Oct-17 15:35:12 | 103.1M | application/vnd.debian.binary-package |
| acl2-books_7.2dfsg-3_arm64.deb | 2016-Oct-18 06:59:40 | 104.4M | application/vnd.debian.binary-package |
| acl2-books_7.2dfsg-3_armel.deb | 2016-Oct-19 06:29:18 | 86.2M | application/vnd.debian.binary-package |
| acl2-books_7.2dfsg-3_armhf.deb | 2016-Oct-19 02:33:00 | 91.8M | application/vnd.debian.binary-package |
| acl2-books_7.2dfsg-3_i386.deb | 2016-Oct-18 00:35:09 | 86.2M | application/vnd.debian.binary-package |
| acl2-books_7.2dfsg-3_mips.deb | 2016-Oct-18 16:12:37 | 71.3M | application/vnd.debian.binary-package |
| acl2-books_7.2dfsg-3_mips64el.deb | 2016-Oct-20 01:31:47 | 108.2M | application/vnd.debian.binary-package |
| acl2-books_7.2dfsg-3_mipsel.deb | 2016-Oct-19 15:45:39 | 74.2M | application/vnd.debian.binary-package |
| acl2-books_7.2dfsg-3_ppc64el.deb | 2016-Oct-17 23:34:13 | 98.8M | application/vnd.debian.binary-package |
| acl2-books_7.2dfsg-3_s390x.deb | 2016-Oct-18 08:30:01 | 101.6M | application/vnd.debian.binary-package |
| acl2-books_8.0dfsg-1+b1_armel.deb | 2019-Feb-14 13:00:45 | 127.2M | application/vnd.debian.binary-package |
| acl2-books_8.0dfsg-1_amd64.deb | 2018-Jan-13 13:52:59 | 131.5M | application/vnd.debian.binary-package |
| acl2-books_8.0dfsg-1_arm64.deb | 2018-Jan-14 02:47:41 | 134.8M | application/vnd.debian.binary-package |
| acl2-books_8.0dfsg-1_armhf.deb | 2018-Jan-15 08:46:11 | 119.5M | application/vnd.debian.binary-package |
| acl2-books_8.0dfsg-1_i386.deb | 2018-Jan-13 21:26:14 | 110.6M | application/vnd.debian.binary-package |
| acl2-books_8.0dfsg-1_mips.deb | 2018-Jan-16 06:15:21 | 126.0M | application/vnd.debian.binary-package |
| acl2-books_8.0dfsg-1_mips64el.deb | 2018-Jan-16 03:44:09 | 140.0M | application/vnd.debian.binary-package |
| acl2-books_8.0dfsg-1_mipsel.deb | 2018-Jan-16 05:14:20 | 130.5M | application/vnd.debian.binary-package |
| acl2-books_8.0dfsg-1_ppc64el.deb | 2018-Jan-13 20:26:05 | 130.4M | application/vnd.debian.binary-package |
| acl2-books_8.0dfsg-1_s390x.deb | 2018-Jan-13 20:41:09 | 121.8M | application/vnd.debian.binary-package |
| acl2-doc_2.9-2_all.deb | 2004-Nov-11 03:02:03 | 1.7M | application/vnd.debian.binary-package |
| acl2-doc_3.1-1_all.deb | 2006-Dec-04 19:47:02 | 1.9M | application/vnd.debian.binary-package |
| acl2-doc_4.0-3_all.deb | 2010-Jul-09 18:02:03 | 2.7M | application/vnd.debian.binary-package |
| acl2-doc_4.3-3_all.deb | 2012-Apr-20 20:38:38 | 353.8K | application/vnd.debian.binary-package |
| acl2-doc_6.5-2_all.deb | 2014-Sep-08 15:35:45 | 1.6M | application/vnd.debian.binary-package |
| acl2-doc_6.5-2~bpo70+1_all.deb | 2015-Jan-14 16:26:22 | 2.1M | application/vnd.debian.binary-package |
| acl2-doc_7.2dfsg-3_all.deb | 2016-Oct-17 15:35:12 | 372.2K | application/vnd.debian.binary-package |
| acl2-doc_8.0dfsg-1_all.deb | 2018-Jan-13 13:52:59 | 392.1K | application/vnd.debian.binary-package |
| acl2-emacs_2.9-2_all.deb | 2005-Apr-30 12:19:18 | 47.6K | application/vnd.debian.binary-package |
| acl2-emacs_3.1-1_all.deb | 2006-Dec-04 19:47:02 | 49.3K | application/vnd.debian.binary-package |
| acl2-emacs_4.0-3_all.deb | 2010-Jul-09 18:02:03 | 56.8K | application/vnd.debian.binary-package |
| acl2-emacs_4.3-3_all.deb | 2012-Apr-20 20:38:38 | 59.4K | application/vnd.debian.binary-package |
| acl2-emacs_6.5-2_all.deb | 2014-Sep-08 15:35:45 | 59.4K | application/vnd.debian.binary-package |
| acl2-emacs_6.5-2~bpo70+1_all.deb | 2015-Jan-14 16:26:22 | 71.2K | application/vnd.debian.binary-package |
| acl2-emacs_7.2dfsg-3_all.deb | 2016-Oct-17 15:35:12 | 62.5K | application/vnd.debian.binary-package |
| acl2-emacs_8.0dfsg-1_all.deb | 2018-Jan-13 13:52:59 | 66.0K | application/vnd.debian.binary-package |
| acl2-infix-source_2.9-2_all.deb | 2004-Nov-11 03:02:03 | 82.2K | application/vnd.debian.binary-package |
| acl2-infix-source_3.1-1_all.deb | 2006-Dec-04 19:47:02 | 83.3K | application/vnd.debian.binary-package |
| acl2-infix-source_4.0-3_all.deb | 2010-Jul-09 18:02:03 | 87.2K | application/vnd.debian.binary-package |
| acl2-infix-source_4.3-3_all.deb | 2012-Apr-20 20:38:38 | 89.3K | application/vnd.debian.binary-package |
| acl2-infix-source_6.5-2_all.deb | 2014-Sep-08 15:35:45 | 77.6K | application/vnd.debian.binary-package |
| acl2-infix-source_6.5-2~bpo70+1_all.deb | 2015-Jan-14 16:26:22 | 90.0K | application/vnd.debian.binary-package |
| acl2-infix-source_7.2dfsg-3_all.deb | 2016-Oct-17 15:35:12 | 76.9K | application/vnd.debian.binary-package |
| acl2-infix-source_8.0dfsg-1_all.deb | 2018-Jan-13 13:52:59 | 77.3K | application/vnd.debian.binary-package |
| acl2-infix_2.9-2_alpha.deb | 2004-Nov-11 16:32:02 | 284.6K | application/vnd.debian.binary-package |
| acl2-infix_2.9-2_arm.deb | 2004-Nov-15 00:17:04 | 204.2K | application/vnd.debian.binary-package |
| acl2-infix_2.9-2_hppa.deb | 2004-Nov-25 01:47:02 | 381.8K | application/vnd.debian.binary-package |
| acl2-infix_2.9-2_i386.deb | 2004-Nov-11 03:02:03 | 176.8K | application/vnd.debian.binary-package |
| acl2-infix_2.9-2_ia64.deb | 2004-Nov-25 01:47:05 | 344.0K | application/vnd.debian.binary-package |
| acl2-infix_2.9-2_m68k.deb | 2004-Nov-16 09:02:03 | 174.0K | application/vnd.debian.binary-package |
| acl2-infix_2.9-2_mips.deb | 2004-Nov-16 17:47:01 | 250.8K | application/vnd.debian.binary-package |
| acl2-infix_2.9-2_mipsel.deb | 2004-Nov-12 19:32:02 | 239.3K | application/vnd.debian.binary-package |
| acl2-infix_2.9-2_powerpc.deb | 2004-Nov-11 16:32:04 | 307.5K | application/vnd.debian.binary-package |
| acl2-infix_2.9-2_s390.deb | 2004-Nov-11 10:32:01 | 177.7K | application/vnd.debian.binary-package |
| acl2-infix_2.9-2_sparc.deb | 2004-Nov-28 16:32:06 | 248.9K | application/vnd.debian.binary-package |
| acl2-infix_3.1-1_alpha.deb | 2006-Dec-05 10:32:03 | 251.2K | application/vnd.debian.binary-package |
| acl2-infix_3.1-1_amd64.deb | 2006-Dec-04 21:47:02 | 193.9K | application/vnd.debian.binary-package |
| acl2-infix_3.1-1_arm.deb | 2006-Dec-18 17:00:03 | 185.7K | application/vnd.debian.binary-package |
| acl2-infix_3.1-1_hppa.deb | 2006-Dec-12 05:02:01 | 408.0K | application/vnd.debian.binary-package |
| acl2-infix_3.1-1_i386.deb | 2006-Dec-04 19:47:02 | 167.8K | application/vnd.debian.binary-package |
| acl2-infix_3.1-1_ia64.deb | 2006-Dec-05 15:32:02 | 297.0K | application/vnd.debian.binary-package |
| acl2-infix_3.1-1_m68k.deb | 2007-Feb-12 07:02:01 | 191.1K | application/vnd.debian.binary-package |
| acl2-infix_3.1-1_mips.deb | 2006-Dec-12 07:02:01 | 197.3K | application/vnd.debian.binary-package |
| acl2-infix_3.1-1_mipsel.deb | 2007-Jan-08 09:32:01 | 192.1K | application/vnd.debian.binary-package |
| acl2-infix_3.1-1_powerpc.deb | 2006-Dec-05 10:32:05 | 243.0K | application/vnd.debian.binary-package |
| acl2-infix_3.1-1_s390.deb | 2006-Dec-05 15:02:01 | 162.4K | application/vnd.debian.binary-package |
| acl2-infix_3.1-1_sparc.deb | 2006-Dec-31 18:32:01 | 217.6K | application/vnd.debian.binary-package |
| acl2-infix_4.0-3_amd64.deb | 2010-Jul-09 22:32:04 | 420.4K | application/vnd.debian.binary-package |
| acl2-infix_4.0-3_armel.deb | 2010-Jul-11 18:17:04 | 383.7K | application/vnd.debian.binary-package |
| acl2-infix_4.0-3_i386.deb | 2010-Jul-09 18:02:03 | 381.2K | application/vnd.debian.binary-package |
| acl2-infix_4.0-3_ia64.deb | 2010-Jul-10 12:17:04 | 559.5K | application/vnd.debian.binary-package |
| acl2-infix_4.0-3_kfreebsd-amd64.deb | 2010-Jul-10 00:17:03 | 421.1K | application/vnd.debian.binary-package |
| acl2-infix_4.0-3_kfreebsd-i386.deb | 2010-Jul-10 00:32:04 | 379.8K | application/vnd.debian.binary-package |
| acl2-infix_4.0-3_mips.deb | 2010-Jul-23 15:32:03 | 426.6K | application/vnd.debian.binary-package |
| acl2-infix_4.0-3_mipsel.deb | 2010-Jul-19 16:47:03 | 187.3K | application/vnd.debian.binary-package |
| acl2-infix_4.0-3_powerpc.deb | 2010-Jul-19 21:47:04 | 511.0K | application/vnd.debian.binary-package |
| acl2-infix_4.0-3_s390.deb | 2010-Jul-10 10:47:04 | 449.4K | application/vnd.debian.binary-package |
| acl2-infix_4.0-3_sparc.deb | 2010-Jul-17 15:47:03 | 441.6K | application/vnd.debian.binary-package |
| acl2-infix_4.3-3_amd64.deb | 2012-Apr-21 01:02:07 | 198.9K | application/vnd.debian.binary-package |
| acl2-infix_4.3-3_armel.deb | 2012-Apr-22 03:47:08 | 368.9K | application/vnd.debian.binary-package |
| acl2-infix_4.3-3_armhf.deb | 2012-Apr-21 23:17:07 | 400.7K | application/vnd.debian.binary-package |
| acl2-infix_4.3-3_i386.deb | 2012-Apr-20 20:38:38 | 179.7K | application/vnd.debian.binary-package |
| acl2-infix_4.3-3_ia64.deb | 2012-Apr-23 15:47:14 | 255.8K | application/vnd.debian.binary-package |
| acl2-infix_4.3-3_kfreebsd-amd64.deb | 2012-Apr-21 13:32:09 | 200.5K | application/vnd.debian.binary-package |
| acl2-infix_4.3-3_kfreebsd-i386.deb | 2012-Apr-21 02:02:07 | 178.1K | application/vnd.debian.binary-package |
| acl2-infix_4.3-3_mips.deb | 2012-Apr-21 21:47:08 | 226.1K | application/vnd.debian.binary-package |
| acl2-infix_4.3-3_mipsel.deb | 2012-Apr-26 22:49:11 | 214.3K | application/vnd.debian.binary-package |
| acl2-infix_4.3-3_powerpc.deb | 2012-Apr-21 02:47:07 | 218.3K | application/vnd.debian.binary-package |
| acl2-infix_4.3-3_s390.deb | 2012-Apr-21 00:17:07 | 166.5K | application/vnd.debian.binary-package |
| acl2-infix_4.3-3_s390x.deb | 2012-Apr-21 09:47:09 | 190.2K | application/vnd.debian.binary-package |
| acl2-infix_4.3-3_sparc.deb | 2012-Apr-22 00:02:08 | 211.7K | application/vnd.debian.binary-package |
| acl2-infix_6.5-2_amd64.deb | 2014-Sep-08 15:35:45 | 146.5K | application/vnd.debian.binary-package |
| acl2-infix_6.5-2_arm64.deb | 2014-Sep-17 00:00:03 | 149.2K | application/vnd.debian.binary-package |
| acl2-infix_6.5-2_armel.deb | 2014-Sep-09 12:25:28 | 402.6K | application/vnd.debian.binary-package |
| acl2-infix_6.5-2_armhf.deb | 2014-Sep-12 11:12:21 | 424.4K | application/vnd.debian.binary-package |
| acl2-infix_6.5-2_i386.deb | 2014-Sep-08 22:44:10 | 148.0K | application/vnd.debian.binary-package |
| acl2-infix_6.5-2_kfreebsd-amd64.deb | 2014-Sep-09 07:43:34 | 145.0K | application/vnd.debian.binary-package |
| acl2-infix_6.5-2_kfreebsd-i386.deb | 2014-Sep-09 11:04:35 | 147.5K | application/vnd.debian.binary-package |
| acl2-infix_6.5-2_mips.deb | 2014-Oct-03 00:44:23 | 145.0K | application/vnd.debian.binary-package |
| acl2-infix_6.5-2_mipsel.deb | 2014-Sep-28 21:37:48 | 146.4K | application/vnd.debian.binary-package |
| acl2-infix_6.5-2_powerpc.deb | 2014-Sep-08 18:57:55 | 136.4K | application/vnd.debian.binary-package |
| acl2-infix_6.5-2_ppc64el.deb | 2014-Sep-09 05:07:28 | 152.2K | application/vnd.debian.binary-package |
| acl2-infix_6.5-2_s390x.deb | 2014-Sep-09 01:46:01 | 137.8K | application/vnd.debian.binary-package |
| acl2-infix_6.5-2~bpo70+1_amd64.deb | 2015-Jan-14 16:26:23 | 219.2K | application/vnd.debian.binary-package |
| acl2-infix_7.2dfsg-3_amd64.deb | 2016-Oct-17 15:35:12 | 409.9K | application/vnd.debian.binary-package |
| acl2-infix_7.2dfsg-3_arm64.deb | 2016-Oct-18 06:59:40 | 420.1K | application/vnd.debian.binary-package |
| acl2-infix_7.2dfsg-3_armel.deb | 2016-Oct-19 06:29:18 | 381.7K | application/vnd.debian.binary-package |
| acl2-infix_7.2dfsg-3_armhf.deb | 2016-Oct-19 02:33:00 | 400.6K | application/vnd.debian.binary-package |
| acl2-infix_7.2dfsg-3_i386.deb | 2016-Oct-18 00:35:09 | 381.0K | application/vnd.debian.binary-package |
| acl2-infix_7.2dfsg-3_mips.deb | 2016-Oct-18 16:12:37 | 407.9K | application/vnd.debian.binary-package |
| acl2-infix_7.2dfsg-3_mips64el.deb | 2016-Oct-20 01:31:47 | 423.7K | application/vnd.debian.binary-package |
| acl2-infix_7.2dfsg-3_mipsel.deb | 2016-Oct-19 15:45:39 | 426.2K | application/vnd.debian.binary-package |
| acl2-infix_7.2dfsg-3_ppc64el.deb | 2016-Oct-17 23:34:13 | 412.9K | application/vnd.debian.binary-package |
| acl2-infix_7.2dfsg-3_s390x.deb | 2016-Oct-18 08:30:01 | 408.3K | application/vnd.debian.binary-package |
| acl2-infix_8.0dfsg-1+b1_armel.deb | 2019-Feb-14 13:00:45 | 431.8K | application/vnd.debian.binary-package |
| acl2-infix_8.0dfsg-1_amd64.deb | 2018-Jan-13 13:52:59 | 421.9K | application/vnd.debian.binary-package |
| acl2-infix_8.0dfsg-1_arm64.deb | 2018-Jan-14 02:47:41 | 432.4K | application/vnd.debian.binary-package |
| acl2-infix_8.0dfsg-1_armhf.deb | 2018-Jan-15 08:46:11 | 406.5K | application/vnd.debian.binary-package |
| acl2-infix_8.0dfsg-1_i386.deb | 2018-Jan-13 21:26:14 | 389.9K | application/vnd.debian.binary-package |
| acl2-infix_8.0dfsg-1_mips.deb | 2018-Jan-16 06:15:21 | 421.1K | application/vnd.debian.binary-package |
| acl2-infix_8.0dfsg-1_mips64el.deb | 2018-Jan-16 03:44:09 | 439.8K | application/vnd.debian.binary-package |
| acl2-infix_8.0dfsg-1_mipsel.deb | 2018-Jan-16 05:14:20 | 441.7K | application/vnd.debian.binary-package |
| acl2-infix_8.0dfsg-1_ppc64el.deb | 2018-Jan-13 20:26:05 | 434.0K | application/vnd.debian.binary-package |
| acl2-infix_8.0dfsg-1_s390x.deb | 2018-Jan-13 20:41:09 | 397.0K | application/vnd.debian.binary-package |
| acl2-source_2.9-2_all.deb | 2004-Nov-11 03:02:03 | 1.9M | application/vnd.debian.binary-package |
| acl2-source_3.1-1_all.deb | 2006-Dec-04 19:47:02 | 2.1M | application/vnd.debian.binary-package |
| acl2-source_4.0-3_all.deb | 2010-Jul-09 18:02:03 | 2.9M | application/vnd.debian.binary-package |
| acl2-source_4.3-3_all.deb | 2012-Apr-20 20:38:38 | 3.1M | application/vnd.debian.binary-package |
| acl2-source_6.5-2_all.deb | 2014-Sep-08 15:35:45 | 2.6M | application/vnd.debian.binary-package |
| acl2-source_6.5-2~bpo70+1_all.deb | 2015-Jan-14 16:26:22 | 3.7M | application/vnd.debian.binary-package |
| acl2-source_7.2dfsg-3_all.deb | 2016-Oct-17 15:35:12 | 2.7M | application/vnd.debian.binary-package |
| acl2-source_8.0dfsg-1_all.deb | 2018-Jan-13 13:52:59 | 2.9M | application/vnd.debian.binary-package |
| acl2_2.9-2.diff.gz | 2004-Nov-11 03:02:03 | 17.7K | application/gzip |
| acl2_2.9-2.dsc | 2005-Apr-30 12:19:18 | 0.7K | application/octet-stream |
| acl2_2.9-2_alpha.deb | 2004-Nov-11 16:32:02 | 14.5M | application/vnd.debian.binary-package |
| acl2_2.9-2_arm.deb | 2004-Nov-15 00:17:04 | 13.8M | application/vnd.debian.binary-package |
| acl2_2.9-2_hppa.deb | 2004-Nov-25 01:47:02 | 13.6M | application/vnd.debian.binary-package |
| acl2_2.9-2_i386.deb | 2004-Nov-11 03:02:03 | 13.0M | application/vnd.debian.binary-package |
| acl2_2.9-2_ia64.deb | 2004-Nov-25 01:47:05 | 15.7M | application/vnd.debian.binary-package |
| acl2_2.9-2_m68k.deb | 2004-Nov-16 09:02:03 | 12.9M | application/vnd.debian.binary-package |
| acl2_2.9-2_mips.deb | 2004-Nov-16 17:47:01 | 13.6M | application/vnd.debian.binary-package |
| acl2_2.9-2_mipsel.deb | 2004-Nov-12 19:32:02 | 13.0M | application/vnd.debian.binary-package |
| acl2_2.9-2_powerpc.deb | 2004-Nov-11 16:32:04 | 15.4M | application/vnd.debian.binary-package |
| acl2_2.9-2_s390.deb | 2004-Nov-11 10:32:02 | 14.4M | application/vnd.debian.binary-package |
| acl2_2.9-2_sparc.deb | 2004-Nov-28 16:32:06 | 21.3M | application/vnd.debian.binary-package |
| acl2_2.9.orig.tar.gz | 2005-Apr-30 12:19:18 | 4.9M | application/x-gtar-compressed |
| acl2_3.1-1.diff.gz | 2006-Dec-04 19:47:02 | 12.9K | application/gzip |
| acl2_3.1-1.dsc | 2006-Dec-04 19:47:02 | 0.8K | application/octet-stream |
| acl2_3.1-1_alpha.deb | 2006-Dec-05 10:32:03 | 15.7M | application/vnd.debian.binary-package |
| acl2_3.1-1_amd64.deb | 2006-Dec-04 21:47:02 | 17.6M | application/vnd.debian.binary-package |
| acl2_3.1-1_arm.deb | 2006-Dec-18 17:00:03 | 15.9M | application/vnd.debian.binary-package |
| acl2_3.1-1_hppa.deb | 2006-Dec-12 05:02:01 | 15.3M | application/vnd.debian.binary-package |
| acl2_3.1-1_i386.deb | 2006-Dec-04 19:47:02 | 15.4M | application/vnd.debian.binary-package |
| acl2_3.1-1_ia64.deb | 2006-Dec-05 15:32:02 | 16.8M | application/vnd.debian.binary-package |
| acl2_3.1-1_m68k.deb | 2007-Feb-12 07:02:01 | 15.1M | application/vnd.debian.binary-package |
| acl2_3.1-1_mips.deb | 2006-Dec-12 07:02:01 | 15.0M | application/vnd.debian.binary-package |
| acl2_3.1-1_mipsel.deb | 2007-Jan-08 09:32:01 | 14.2M | application/vnd.debian.binary-package |
| acl2_3.1-1_powerpc.deb | 2006-Dec-05 10:32:05 | 17.0M | application/vnd.debian.binary-package |
| acl2_3.1-1_s390.deb | 2006-Dec-05 15:02:01 | 16.2M | application/vnd.debian.binary-package |
| acl2_3.1-1_sparc.deb | 2006-Dec-31 18:32:01 | 16.6M | application/vnd.debian.binary-package |
| acl2_3.1.orig.tar.gz | 2006-Dec-04 19:47:02 | 6.4M | application/x-gtar-compressed |
| acl2_4.0-3.diff.gz | 2010-Jul-09 18:02:03 | 15.5K | application/gzip |
| acl2_4.0-3.dsc | 2010-Jul-09 18:02:03 | 1.1K | application/octet-stream |
| acl2_4.0-3_amd64.deb | 2010-Jul-09 22:32:04 | 25.0M | application/vnd.debian.binary-package |
| acl2_4.0-3_armel.deb | 2010-Jul-11 18:17:04 | 22.4M | application/vnd.debian.binary-package |
| acl2_4.0-3_i386.deb | 2010-Jul-09 18:02:03 | 21.3M | application/vnd.debian.binary-package |
| acl2_4.0-3_ia64.deb | 2010-Jul-10 12:17:04 | 23.7M | application/vnd.debian.binary-package |
| acl2_4.0-3_kfreebsd-amd64.deb | 2010-Jul-10 00:17:03 | 24.9M | application/vnd.debian.binary-package |
| acl2_4.0-3_kfreebsd-i386.deb | 2010-Jul-10 00:32:04 | 21.2M | application/vnd.debian.binary-package |
| acl2_4.0-3_mips.deb | 2010-Jul-23 15:32:03 | 21.9M | application/vnd.debian.binary-package |
| acl2_4.0-3_mipsel.deb | 2010-Jul-19 16:47:03 | 20.8M | application/vnd.debian.binary-package |
| acl2_4.0-3_powerpc.deb | 2010-Jul-19 21:47:04 | 23.9M | application/vnd.debian.binary-package |
| acl2_4.0-3_s390.deb | 2010-Jul-10 10:47:04 | 23.6M | application/vnd.debian.binary-package |
| acl2_4.0-3_sparc.deb | 2010-Jul-17 15:47:03 | 25.5M | application/vnd.debian.binary-package |
| acl2_4.0.orig.tar.gz | 2010-Jul-08 05:47:03 | 10.9M | application/x-gtar-compressed |
| acl2_4.3-3.debian.tar.gz | 2012-Apr-20 20:38:38 | 17.8K | application/x-gtar-compressed |
| acl2_4.3-3.dsc | 2012-Apr-20 20:38:38 | 1.4K | application/octet-stream |
| acl2_4.3-3_amd64.deb | 2012-Apr-21 01:02:07 | 27.0M | application/vnd.debian.binary-package |
| acl2_4.3-3_armel.deb | 2012-Apr-22 03:47:08 | 23.3M | application/vnd.debian.binary-package |
| acl2_4.3-3_armhf.deb | 2012-Apr-21 23:17:07 | 22.3M | application/vnd.debian.binary-package |
| acl2_4.3-3_i386.deb | 2012-Apr-20 20:38:38 | 23.1M | application/vnd.debian.binary-package |
| acl2_4.3-3_ia64.deb | 2012-Apr-23 15:47:14 | 25.0M | application/vnd.debian.binary-package |
| acl2_4.3-3_kfreebsd-amd64.deb | 2012-Apr-21 13:32:09 | 27.0M | application/vnd.debian.binary-package |
| acl2_4.3-3_kfreebsd-i386.deb | 2012-Apr-21 02:02:07 | 23.2M | application/vnd.debian.binary-package |
| acl2_4.3-3_mips.deb | 2012-Apr-21 21:47:08 | 23.7M | application/vnd.debian.binary-package |
| acl2_4.3-3_mipsel.deb | 2012-Apr-26 22:49:11 | 22.5M | application/vnd.debian.binary-package |
| acl2_4.3-3_powerpc.deb | 2012-Apr-21 02:47:07 | 24.5M | application/vnd.debian.binary-package |
| acl2_4.3-3_s390.deb | 2012-Apr-21 00:17:07 | 25.0M | application/vnd.debian.binary-package |
| acl2_4.3-3_s390x.deb | 2012-Apr-21 09:47:09 | 29.2M | application/vnd.debian.binary-package |
| acl2_4.3-3_sparc.deb | 2012-Apr-22 00:02:08 | 26.9M | application/vnd.debian.binary-package |
| acl2_4.3.orig.tar.gz | 2012-Jan-11 19:47:07 | 14.5M | application/x-gtar-compressed |
| acl2_6.5-2.debian.tar.xz | 2014-Sep-08 15:35:45 | 125.2K | application/x-xz |
| acl2_6.5-2.dsc | 2014-Sep-08 15:35:45 | 1.7K | application/octet-stream |
| acl2_6.5-2_amd64.deb | 2014-Sep-08 15:35:45 | 15.5M | application/vnd.debian.binary-package |
| acl2_6.5-2_arm64.deb | 2014-Sep-17 00:00:03 | 14.1M | application/vnd.debian.binary-package |
| acl2_6.5-2_armel.deb | 2014-Sep-09 12:25:28 | 13.0M | application/vnd.debian.binary-package |
| acl2_6.5-2_armhf.deb | 2014-Sep-12 11:12:21 | 13.5M | application/vnd.debian.binary-package |
| acl2_6.5-2_i386.deb | 2014-Sep-08 22:44:10 | 13.3M | application/vnd.debian.binary-package |
| acl2_6.5-2_kfreebsd-amd64.deb | 2014-Sep-09 07:43:34 | 15.5M | application/vnd.debian.binary-package |
| acl2_6.5-2_kfreebsd-i386.deb | 2014-Sep-09 11:04:35 | 13.4M | application/vnd.debian.binary-package |
| acl2_6.5-2_mips.deb | 2014-Oct-03 00:44:23 | 13.0M | application/vnd.debian.binary-package |
| acl2_6.5-2_mipsel.deb | 2014-Sep-28 21:37:48 | 13.4M | application/vnd.debian.binary-package |
| acl2_6.5-2_powerpc.deb | 2014-Sep-08 18:57:55 | 12.6M | application/vnd.debian.binary-package |
| acl2_6.5-2_ppc64el.deb | 2014-Sep-09 05:07:28 | 13.5M | application/vnd.debian.binary-package |
| acl2_6.5-2_s390x.deb | 2014-Sep-09 01:46:01 | 14.9M | application/vnd.debian.binary-package |
| acl2_6.5-2~bpo70+1.debian.tar.gz | 2015-Jan-14 16:26:22 | 159.6K | application/x-gtar-compressed |
| acl2_6.5-2~bpo70+1.dsc | 2015-Jan-14 16:26:22 | 2.3K | application/octet-stream |
| acl2_6.5-2~bpo70+1_amd64.deb | 2015-Jan-14 16:26:23 | 23.8M | application/vnd.debian.binary-package |
| acl2_6.5.orig-books.tar.gz | 2014-Aug-17 16:21:05 | 14.2M | application/x-gtar-compressed |
| acl2_6.5.orig.tar.gz | 2014-Aug-17 16:21:05 | 5.9M | application/x-gtar-compressed |
| acl2_7.2dfsg-3.debian.tar.xz | 2016-Oct-17 15:35:12 | 199.3K | application/x-xz |
| acl2_7.2dfsg-3.dsc | 2016-Oct-17 15:35:12 | 2.1K | application/octet-stream |
| acl2_7.2dfsg-3_amd64.deb | 2016-Oct-17 15:35:13 | 17.2M | application/vnd.debian.binary-package |
| acl2_7.2dfsg-3_arm64.deb | 2016-Oct-18 06:59:40 | 14.9M | application/vnd.debian.binary-package |
| acl2_7.2dfsg-3_armel.deb | 2016-Oct-19 06:29:18 | 13.7M | application/vnd.debian.binary-package |
| acl2_7.2dfsg-3_armhf.deb | 2016-Oct-19 02:33:00 | 13.9M | application/vnd.debian.binary-package |
| acl2_7.2dfsg-3_i386.deb | 2016-Oct-18 00:35:10 | 14.9M | application/vnd.debian.binary-package |
| acl2_7.2dfsg-3_mips.deb | 2016-Oct-18 16:12:37 | 15.0M | application/vnd.debian.binary-package |
| acl2_7.2dfsg-3_mips64el.deb | 2016-Oct-20 01:31:47 | 14.9M | application/vnd.debian.binary-package |
| acl2_7.2dfsg-3_mipsel.deb | 2016-Oct-19 15:45:39 | 15.1M | application/vnd.debian.binary-package |
| acl2_7.2dfsg-3_ppc64el.deb | 2016-Oct-17 23:34:13 | 15.6M | application/vnd.debian.binary-package |
| acl2_7.2dfsg-3_s390x.deb | 2016-Oct-18 08:30:01 | 15.3M | application/vnd.debian.binary-package |
| acl2_7.2dfsg.orig.tar.gz | 2016-Apr-14 14:54:48 | 61.4M | application/x-gtar-compressed |
| acl2_8.0dfsg-1+b1_armel.deb | 2019-Feb-14 13:00:45 | 15.9M | application/vnd.debian.binary-package |
| acl2_8.0dfsg-1.debian.tar.xz | 2018-Jan-13 13:52:57 | 199.9K | application/x-xz |
| acl2_8.0dfsg-1.dsc | 2018-Jan-13 13:52:56 | 2.1K | application/octet-stream |
| acl2_8.0dfsg-1_amd64.deb | 2018-Jan-13 13:52:59 | 18.9M | application/vnd.debian.binary-package |
| acl2_8.0dfsg-1_arm64.deb | 2018-Jan-14 02:47:42 | 17.0M | application/vnd.debian.binary-package |
| acl2_8.0dfsg-1_armhf.deb | 2018-Jan-15 08:46:12 | 15.4M | application/vnd.debian.binary-package |
| acl2_8.0dfsg-1_i386.deb | 2018-Jan-13 21:26:14 | 16.2M | application/vnd.debian.binary-package |
| acl2_8.0dfsg-1_mips.deb | 2018-Jan-16 06:15:21 | 16.5M | application/vnd.debian.binary-package |
| acl2_8.0dfsg-1_mips64el.deb | 2018-Jan-16 03:44:09 | 16.4M | application/vnd.debian.binary-package |
| acl2_8.0dfsg-1_mipsel.deb | 2018-Jan-16 05:14:20 | 16.6M | application/vnd.debian.binary-package |
| acl2_8.0dfsg-1_ppc64el.deb | 2018-Jan-13 20:26:05 | 18.5M | application/vnd.debian.binary-package |
| acl2_8.0dfsg-1_s390x.deb | 2018-Jan-13 20:41:09 | 17.2M | application/vnd.debian.binary-package |
| acl2_8.0dfsg.orig.tar.gz | 2018-Jan-13 13:52:57 | 74.0M | application/x-gtar-compressed |