| name | size | date |
|---|---|---|
| acl2-books_7.2dfsg-3_mips64el.deb | 108.25M | 2016-10-20 00:31:47 |
| acl2-infix_7.2dfsg-3_mips64el.deb | 423.7K | 2016-10-20 00:31:47 |
| acl2_7.2dfsg-3_mips64el.deb | 14.91M | 2016-10-20 00:31:47 |
| acl2-books_7.2dfsg-3_mipsel.deb | 74.22M | 2016-10-19 14:45:39 |
| acl2-infix_7.2dfsg-3_mipsel.deb | 426.3K | 2016-10-19 14:45:39 |
| acl2_7.2dfsg-3_mipsel.deb | 15.13M | 2016-10-19 14:45:39 |
| acl2-books_7.2dfsg-3_armel.deb | 86.26M | 2016-10-19 05:29:18 |
| acl2-infix_7.2dfsg-3_armel.deb | 381.8K | 2016-10-19 05:29:18 |
| acl2_7.2dfsg-3_armel.deb | 13.78M | 2016-10-19 05:29:18 |
| acl2-books_7.2dfsg-3_armhf.deb | 91.86M | 2016-10-19 01:33:00 |
| acl2-infix_7.2dfsg-3_armhf.deb | 400.6K | 2016-10-19 01:33:00 |
| acl2_7.2dfsg-3_armhf.deb | 13.99M | 2016-10-19 01:33:00 |
| acl2-books_7.2dfsg-3_mips.deb | 71.31M | 2016-10-18 15:12:37 |
| acl2-infix_7.2dfsg-3_mips.deb | 407.9K | 2016-10-18 15:12:37 |
| acl2_7.2dfsg-3_mips.deb | 15.05M | 2016-10-18 15:12:37 |
| acl2-books_7.2dfsg-3_s390x.deb | 101.59M | 2016-10-18 07:30:01 |
| acl2-infix_7.2dfsg-3_s390x.deb | 408.3K | 2016-10-18 07:30:01 |
| acl2_7.2dfsg-3_s390x.deb | 15.30M | 2016-10-18 07:30:01 |
| acl2-books_7.2dfsg-3_arm64.deb | 104.48M | 2016-10-18 05:59:40 |
| acl2-infix_7.2dfsg-3_arm64.deb | 420.2K | 2016-10-18 05:59:40 |
| acl2_7.2dfsg-3_arm64.deb | 14.94M | 2016-10-18 05:59:40 |
| acl2_7.2dfsg-3_i386.deb | 14.89M | 2016-10-17 23:35:10 |
| acl2-books_7.2dfsg-3_i386.deb | 86.26M | 2016-10-17 23:35:09 |
| acl2-infix_7.2dfsg-3_i386.deb | 381.0K | 2016-10-17 23:35:09 |
| acl2-books_7.2dfsg-3_ppc64el.deb | 98.82M | 2016-10-17 22:34:13 |
| acl2-infix_7.2dfsg-3_ppc64el.deb | 412.9K | 2016-10-17 22:34:13 |
| acl2_7.2dfsg-3_ppc64el.deb | 15.60M | 2016-10-17 22:34:13 |
| acl2_7.2dfsg-3_amd64.deb | 17.29M | 2016-10-17 14:35:13 |
| acl2-books-certs_7.2dfsg-3_all.deb | 52.26M | 2016-10-17 14:35:12 |
| acl2-books-source_7.2dfsg-3_all.deb | 10.36M | 2016-10-17 14:35:12 |
| acl2-books_7.2dfsg-3_amd64.deb | 103.10M | 2016-10-17 14:35:12 |
| acl2-doc_7.2dfsg-3_all.deb | 372.3K | 2016-10-17 14:35:12 |
| acl2-emacs_7.2dfsg-3_all.deb | 62.6K | 2016-10-17 14:35:12 |
| acl2-infix-source_7.2dfsg-3_all.deb | 77.0K | 2016-10-17 14:35:12 |
| acl2-infix_7.2dfsg-3_amd64.deb | 409.9K | 2016-10-17 14:35:12 |
| acl2-source_7.2dfsg-3_all.deb | 2.75M | 2016-10-17 14:35:12 |
| acl2_7.2dfsg-3.debian.tar.xz | 199.4K | 2016-10-17 14:35:12 |
| acl2_7.2dfsg-3.dsc | 2.2K | 2016-10-17 14:35:12 |
| acl2_7.2dfsg.orig.tar.gz | 61.43M | 2016-04-14 13:54:48 |
| acl2-books_6.5-2~bpo70+1_amd64.deb | 47.39M | 2015-01-14 16:26:23 |
| acl2-infix_6.5-2~bpo70+1_amd64.deb | 219.3K | 2015-01-14 16:26:23 |
| acl2_6.5-2~bpo70+1_amd64.deb | 23.86M | 2015-01-14 16:26:23 |
| acl2-books-certs_6.5-2~bpo70+1_all.deb | 18.69M | 2015-01-14 16:26:22 |
| acl2-books-source_6.5-2~bpo70+1_all.deb | 10.24M | 2015-01-14 16:26:22 |
| acl2-doc_6.5-2~bpo70+1_all.deb | 2.19M | 2015-01-14 16:26:22 |
| acl2-emacs_6.5-2~bpo70+1_all.deb | 71.2K | 2015-01-14 16:26:22 |
| acl2-infix-source_6.5-2~bpo70+1_all.deb | 90.0K | 2015-01-14 16:26:22 |
| acl2-source_6.5-2~bpo70+1_all.deb | 3.69M | 2015-01-14 16:26:22 |
| acl2_6.5-2~bpo70+1.debian.tar.gz | 159.6K | 2015-01-14 16:26:22 |
| acl2_6.5-2~bpo70+1.dsc | 2.3K | 2015-01-14 16:26:22 |
| acl2-books_6.5-2_mips.deb | 19.97M | 2014-10-02 23:44:23 |
| acl2-infix_6.5-2_mips.deb | 145.1K | 2014-10-02 23:44:23 |
| acl2_6.5-2_mips.deb | 13.10M | 2014-10-02 23:44:23 |
| acl2-books_6.5-2_mipsel.deb | 20.41M | 2014-09-28 20:37:48 |
| acl2-infix_6.5-2_mipsel.deb | 146.4K | 2014-09-28 20:37:48 |
| acl2_6.5-2_mipsel.deb | 13.40M | 2014-09-28 20:37:48 |
| acl2-books_6.5-2_arm64.deb | 21.84M | 2014-09-16 23:00:03 |
| acl2-infix_6.5-2_arm64.deb | 149.3K | 2014-09-16 23:00:03 |
| acl2_6.5-2_arm64.deb | 14.16M | 2014-09-16 23:00:03 |
| acl2-books_6.5-2_armhf.deb | 66.72M | 2014-09-12 10:12:21 |
| acl2-infix_6.5-2_armhf.deb | 424.4K | 2014-09-12 10:12:21 |
| acl2_6.5-2_armhf.deb | 13.50M | 2014-09-12 10:12:21 |
| acl2-books_6.5-2_armel.deb | 64.96M | 2014-09-09 11:25:28 |
| acl2-infix_6.5-2_armel.deb | 402.7K | 2014-09-09 11:25:28 |
| acl2_6.5-2_armel.deb | 13.10M | 2014-09-09 11:25:28 |
| acl2-books_6.5-2_kfreebsd-i386.deb | 17.88M | 2014-09-09 10:04:35 |
| acl2-infix_6.5-2_kfreebsd-i386.deb | 147.5K | 2014-09-09 10:04:35 |
| acl2_6.5-2_kfreebsd-i386.deb | 13.40M | 2014-09-09 10:04:35 |
| acl2-books_6.5-2_kfreebsd-amd64.deb | 22.09M | 2014-09-09 06:43:34 |
| acl2-infix_6.5-2_kfreebsd-amd64.deb | 145.1K | 2014-09-09 06:43:34 |
| acl2_6.5-2_kfreebsd-amd64.deb | 15.56M | 2014-09-09 06:43:34 |
| acl2-books_6.5-2_ppc64el.deb | 19.10M | 2014-09-09 04:07:28 |
| acl2-infix_6.5-2_ppc64el.deb | 152.3K | 2014-09-09 04:07:28 |
| acl2_6.5-2_ppc64el.deb | 13.50M | 2014-09-09 04:07:28 |
| acl2-books_6.5-2_s390x.deb | 19.82M | 2014-09-09 00:46:01 |
| acl2-infix_6.5-2_s390x.deb | 137.8K | 2014-09-09 00:46:01 |
| acl2_6.5-2_s390x.deb | 14.93M | 2014-09-09 00:46:01 |
| acl2-books_6.5-2_i386.deb | 20.79M | 2014-09-08 21:44:10 |
| acl2-infix_6.5-2_i386.deb | 148.0K | 2014-09-08 21:44:10 |
| acl2_6.5-2_i386.deb | 13.35M | 2014-09-08 21:44:10 |
| acl2-books_6.5-2_powerpc.deb | 18.12M | 2014-09-08 17:57:55 |
| acl2-infix_6.5-2_powerpc.deb | 136.4K | 2014-09-08 17:57:55 |
| acl2_6.5-2_powerpc.deb | 12.68M | 2014-09-08 17:57:55 |
| acl2-books-certs_6.5-2_all.deb | 6.20M | 2014-09-08 14:35:45 |
| acl2-books-source_6.5-2_all.deb | 6.63M | 2014-09-08 14:35:45 |
| acl2-books_6.5-2_amd64.deb | 22.06M | 2014-09-08 14:35:45 |
| acl2-doc_6.5-2_all.deb | 1.59M | 2014-09-08 14:35:45 |
| acl2-emacs_6.5-2_all.deb | 59.4K | 2014-09-08 14:35:45 |
| acl2-infix-source_6.5-2_all.deb | 77.6K | 2014-09-08 14:35:45 |
| acl2-infix_6.5-2_amd64.deb | 146.5K | 2014-09-08 14:35:45 |
| acl2-source_6.5-2_all.deb | 2.64M | 2014-09-08 14:35:45 |
| acl2_6.5-2.debian.tar.xz | 125.3K | 2014-09-08 14:35:45 |
| acl2_6.5-2.dsc | 1.8K | 2014-09-08 14:35:45 |
| acl2_6.5-2_amd64.deb | 15.56M | 2014-09-08 14:35:45 |
| acl2_6.5.orig-books.tar.gz | 14.28M | 2014-08-17 15:21:05 |
| acl2_6.5.orig.tar.gz | 5.91M | 2014-08-17 15:21:05 |
| acl2-books_4.3-3_mipsel.deb | 15.43M | 2012-04-26 21:49:11 |
| acl2-infix_4.3-3_mipsel.deb | 214.3K | 2012-04-26 21:49:11 |
| acl2_4.3-3_mipsel.deb | 22.51M | 2012-04-26 21:49:11 |
| acl2-books_4.3-3_ia64.deb | 18.17M | 2012-04-23 14:47:14 |
| acl2-infix_4.3-3_ia64.deb | 255.8K | 2012-04-23 14:47:14 |
| acl2_4.3-3_ia64.deb | 25.05M | 2012-04-23 14:47:14 |
| acl2-books_4.3-3_armel.deb | 36.22M | 2012-04-22 02:47:08 |
| acl2-infix_4.3-3_armel.deb | 368.9K | 2012-04-22 02:47:08 |
| acl2_4.3-3_armel.deb | 23.37M | 2012-04-22 02:47:08 |
| acl2-books_4.3-3_sparc.deb | 14.84M | 2012-04-21 23:02:08 |
| acl2-infix_4.3-3_sparc.deb | 211.7K | 2012-04-21 23:02:08 |
| acl2_4.3-3_sparc.deb | 26.91M | 2012-04-21 23:02:08 |
| acl2-books_4.3-3_armhf.deb | 36.49M | 2012-04-21 22:17:07 |
| acl2-infix_4.3-3_armhf.deb | 400.7K | 2012-04-21 22:17:07 |
| acl2_4.3-3_armhf.deb | 22.32M | 2012-04-21 22:17:07 |
| acl2-books_4.3-3_mips.deb | 16.16M | 2012-04-21 20:47:09 |
| acl2-infix_4.3-3_mips.deb | 226.2K | 2012-04-21 20:47:08 |
| acl2_4.3-3_mips.deb | 23.77M | 2012-04-21 20:47:08 |
| acl2-books_4.3-3_kfreebsd-amd64.deb | 15.08M | 2012-04-21 12:32:09 |
| acl2-infix_4.3-3_kfreebsd-amd64.deb | 200.6K | 2012-04-21 12:32:09 |
| acl2_4.3-3_kfreebsd-amd64.deb | 27.01M | 2012-04-21 12:32:09 |
| acl2-books_4.3-3_s390x.deb | 14.81M | 2012-04-21 08:47:09 |
| acl2-infix_4.3-3_s390x.deb | 190.2K | 2012-04-21 08:47:09 |
| acl2_4.3-3_s390x.deb | 29.23M | 2012-04-21 08:47:09 |
| acl2-books_4.3-3_powerpc.deb | 15.18M | 2012-04-21 01:47:07 |
| acl2-infix_4.3-3_powerpc.deb | 218.4K | 2012-04-21 01:47:07 |
| acl2_4.3-3_powerpc.deb | 24.52M | 2012-04-21 01:47:07 |
| acl2-books_4.3-3_kfreebsd-i386.deb | 12.90M | 2012-04-21 01:02:07 |
| acl2-infix_4.3-3_kfreebsd-i386.deb | 178.1K | 2012-04-21 01:02:07 |
| acl2_4.3-3_kfreebsd-i386.deb | 23.20M | 2012-04-21 01:02:07 |
| acl2-books_4.3-3_amd64.deb | 15.21M | 2012-04-21 00:02:07 |
| acl2-infix_4.3-3_amd64.deb | 198.9K | 2012-04-21 00:02:07 |
| acl2_4.3-3_amd64.deb | 27.01M | 2012-04-21 00:02:07 |
| acl2-books_4.3-3_s390.deb | 13.05M | 2012-04-20 23:17:07 |
| acl2-infix_4.3-3_s390.deb | 166.5K | 2012-04-20 23:17:07 |
| acl2_4.3-3_s390.deb | 25.06M | 2012-04-20 23:17:07 |
| acl2-books-certs_4.3-3_all.deb | 4.22M | 2012-04-20 19:38:38 |
| acl2-books-source_4.3-3_all.deb | 6.16M | 2012-04-20 19:38:38 |
| acl2-books_4.3-3_i386.deb | 13.25M | 2012-04-20 19:38:38 |
| acl2-doc_4.3-3_all.deb | 353.8K | 2012-04-20 19:38:38 |
| acl2-emacs_4.3-3_all.deb | 59.4K | 2012-04-20 19:38:38 |
| acl2-infix-source_4.3-3_all.deb | 89.3K | 2012-04-20 19:38:38 |
| acl2-infix_4.3-3_i386.deb | 179.8K | 2012-04-20 19:38:38 |
| acl2-source_4.3-3_all.deb | 3.14M | 2012-04-20 19:38:38 |
| acl2_4.3-3.debian.tar.gz | 17.9K | 2012-04-20 19:38:38 |
| acl2_4.3-3.dsc | 1.5K | 2012-04-20 19:38:38 |
| acl2_4.3-3_i386.deb | 23.17M | 2012-04-20 19:38:38 |
| acl2_4.3.orig.tar.gz | 14.54M | 2012-01-11 19:47:07 |
| acl2-books_4.0-3_mips.deb | 36.63M | 2010-07-23 14:32:03 |
| acl2-infix_4.0-3_mips.deb | 426.6K | 2010-07-23 14:32:03 |
| acl2_4.0-3_mips.deb | 21.89M | 2010-07-23 14:32:03 |
| acl2-books_4.0-3_powerpc.deb | 42.00M | 2010-07-19 20:47:04 |
| acl2-infix_4.0-3_powerpc.deb | 511.1K | 2010-07-19 20:47:04 |
| acl2_4.0-3_powerpc.deb | 23.94M | 2010-07-19 20:47:04 |
| acl2-books_4.0-3_mipsel.deb | 12.56M | 2010-07-19 15:47:03 |
| acl2-infix_4.0-3_mipsel.deb | 187.3K | 2010-07-19 15:47:03 |
| acl2_4.0-3_mipsel.deb | 20.80M | 2010-07-19 15:47:03 |
| acl2-books_4.0-3_sparc.deb | 35.27M | 2010-07-17 14:47:04 |
| acl2-infix_4.0-3_sparc.deb | 441.6K | 2010-07-17 14:47:03 |
| acl2_4.0-3_sparc.deb | 25.54M | 2010-07-17 14:47:03 |
| acl2-books_4.0-3_armel.deb | 32.64M | 2010-07-11 17:17:04 |
| acl2-infix_4.0-3_armel.deb | 383.7K | 2010-07-11 17:17:04 |
| acl2_4.0-3_armel.deb | 22.43M | 2010-07-11 17:17:04 |
| acl2-books_4.0-3_ia64.deb | 39.61M | 2010-07-10 11:17:04 |
| acl2-infix_4.0-3_ia64.deb | 0.55M | 2010-07-10 11:17:04 |
| acl2_4.0-3_ia64.deb | 23.76M | 2010-07-10 11:17:04 |
| acl2-books_4.0-3_s390.deb | 40.26M | 2010-07-10 09:47:04 |
| acl2-infix_4.0-3_s390.deb | 449.5K | 2010-07-10 09:47:04 |
| acl2_4.0-3_s390.deb | 23.65M | 2010-07-10 09:47:04 |
| acl2-books_4.0-3_kfreebsd-i386.deb | 32.22M | 2010-07-09 23:32:04 |
| acl2-infix_4.0-3_kfreebsd-i386.deb | 379.8K | 2010-07-09 23:32:04 |
| acl2_4.0-3_kfreebsd-i386.deb | 21.22M | 2010-07-09 23:32:04 |
| acl2-books_4.0-3_kfreebsd-amd64.deb | 36.66M | 2010-07-09 23:17:03 |
| acl2-infix_4.0-3_kfreebsd-amd64.deb | 421.2K | 2010-07-09 23:17:03 |
| acl2_4.0-3_kfreebsd-amd64.deb | 25.00M | 2010-07-09 23:17:03 |
| acl2-books_4.0-3_amd64.deb | 36.72M | 2010-07-09 21:32:04 |
| acl2-infix_4.0-3_amd64.deb | 420.5K | 2010-07-09 21:32:04 |
| acl2_4.0-3_amd64.deb | 25.02M | 2010-07-09 21:32:04 |
| acl2-books-certs_4.0-3_all.deb | 1.91M | 2010-07-09 17:02:03 |
| acl2-books-source_4.0-3_all.deb | 5.04M | 2010-07-09 17:02:03 |
| acl2-books_4.0-3_i386.deb | 32.43M | 2010-07-09 17:02:03 |
| acl2-doc_4.0-3_all.deb | 2.70M | 2010-07-09 17:02:03 |
| acl2-emacs_4.0-3_all.deb | 56.8K | 2010-07-09 17:02:03 |
| acl2-infix-source_4.0-3_all.deb | 87.2K | 2010-07-09 17:02:03 |
| acl2-infix_4.0-3_i386.deb | 381.3K | 2010-07-09 17:02:03 |
| acl2-source_4.0-3_all.deb | 2.89M | 2010-07-09 17:02:03 |
| acl2_4.0-3.diff.gz | 15.6K | 2010-07-09 17:02:03 |
| acl2_4.0-3.dsc | 1.1K | 2010-07-09 17:02:03 |
| acl2_4.0-3_i386.deb | 21.33M | 2010-07-09 17:02:03 |
| acl2_4.0.orig.tar.gz | 10.90M | 2010-07-08 04:47:03 |
| acl2-books_3.1-1_m68k.deb | 1.55M | 2007-02-12 07:02:01 |
| acl2-infix_3.1-1_m68k.deb | 191.1K | 2007-02-12 07:02:01 |
| acl2_3.1-1_m68k.deb | 15.10M | 2007-02-12 07:02:01 |
| acl2-books_3.1-1_mipsel.deb | 1.94M | 2007-01-08 09:32:01 |
| acl2-infix_3.1-1_mipsel.deb | 192.2K | 2007-01-08 09:32:01 |
| acl2_3.1-1_mipsel.deb | 14.28M | 2007-01-08 09:32:01 |
| acl2-books_3.1-1_sparc.deb | 1.82M | 2006-12-31 18:32:01 |
| acl2-infix_3.1-1_sparc.deb | 217.6K | 2006-12-31 18:32:01 |
| acl2_3.1-1_sparc.deb | 16.68M | 2006-12-31 18:32:01 |
| acl2-books_3.1-1_arm.deb | 1.61M | 2006-12-18 17:00:03 |
| acl2-infix_3.1-1_arm.deb | 185.7K | 2006-12-18 17:00:03 |
| acl2_3.1-1_arm.deb | 16.00M | 2006-12-18 17:00:03 |
| acl2-books_3.1-1_mips.deb | 1.96M | 2006-12-12 07:02:01 |
| acl2-infix_3.1-1_mips.deb | 197.3K | 2006-12-12 07:02:01 |
| acl2_3.1-1_mips.deb | 15.06M | 2006-12-12 07:02:01 |
| acl2-books_3.1-1_hppa.deb | 7.41M | 2006-12-12 05:02:01 |
| acl2-infix_3.1-1_hppa.deb | 408.1K | 2006-12-12 05:02:01 |
| acl2_3.1-1_hppa.deb | 15.39M | 2006-12-12 05:02:01 |
| acl2-books_3.1-1_ia64.deb | 2.85M | 2006-12-05 15:32:02 |
| acl2-infix_3.1-1_ia64.deb | 297.1K | 2006-12-05 15:32:02 |
| acl2_3.1-1_ia64.deb | 16.79M | 2006-12-05 15:32:02 |
| acl2-books_3.1-1_s390.deb | 1.70M | 2006-12-05 15:02:01 |
| acl2-infix_3.1-1_s390.deb | 162.4K | 2006-12-05 15:02:01 |
| acl2_3.1-1_s390.deb | 16.21M | 2006-12-05 15:02:01 |
| acl2-books_3.1-1_powerpc.deb | 2.22M | 2006-12-05 10:32:05 |
| acl2-infix_3.1-1_powerpc.deb | 243.0K | 2006-12-05 10:32:05 |
| acl2_3.1-1_powerpc.deb | 17.04M | 2006-12-05 10:32:05 |
| acl2-books_3.1-1_alpha.deb | 2.71M | 2006-12-05 10:32:03 |
| acl2-infix_3.1-1_alpha.deb | 251.2K | 2006-12-05 10:32:03 |
| acl2_3.1-1_alpha.deb | 15.78M | 2006-12-05 10:32:03 |
| acl2-books_3.1-1_amd64.deb | 2.16M | 2006-12-04 21:47:02 |
| acl2-infix_3.1-1_amd64.deb | 194.0K | 2006-12-04 21:47:02 |
| acl2_3.1-1_amd64.deb | 17.66M | 2006-12-04 21:47:02 |
| acl2-books-certs_3.1-1_all.deb | 4.74M | 2006-12-04 19:47:02 |
| acl2-books-source_3.1-1_all.deb | 2.14M | 2006-12-04 19:47:02 |
| acl2-books_3.1-1_i386.deb | 1.54M | 2006-12-04 19:47:02 |
| acl2-doc_3.1-1_all.deb | 1.93M | 2006-12-04 19:47:02 |
| acl2-emacs_3.1-1_all.deb | 49.4K | 2006-12-04 19:47:02 |
| acl2-infix-source_3.1-1_all.deb | 83.3K | 2006-12-04 19:47:02 |
| acl2-infix_3.1-1_i386.deb | 167.8K | 2006-12-04 19:47:02 |
| acl2-source_3.1-1_all.deb | 2.16M | 2006-12-04 19:47:02 |
| acl2_3.1-1.diff.gz | 13.0K | 2006-12-04 19:47:02 |
| acl2_3.1-1.dsc | 0.8K | 2006-12-04 19:47:02 |
| acl2_3.1-1_i386.deb | 15.46M | 2006-12-04 19:47:02 |
| acl2_3.1.orig.tar.gz | 6.42M | 2006-12-04 19:47:02 |
| acl2-emacs_2.9-2_all.deb | 47.6K | 2005-04-30 11:19:18 |
| acl2_2.9-2.dsc | 0.8K | 2005-04-30 11:19:18 |
| acl2_2.9.orig.tar.gz | 4.96M | 2005-04-30 11:19:18 |
| acl2-books_2.9-2_sparc.deb | 0.95M | 2004-11-28 16:32:06 |
| acl2-infix_2.9-2_sparc.deb | 248.9K | 2004-11-28 16:32:06 |
| acl2_2.9-2_sparc.deb | 21.33M | 2004-11-28 16:32:06 |
| acl2-books_2.9-2_ia64.deb | 1.44M | 2004-11-25 01:47:05 |
| acl2-infix_2.9-2_ia64.deb | 344.1K | 2004-11-25 01:47:05 |
| acl2_2.9-2_ia64.deb | 15.69M | 2004-11-25 01:47:05 |
| acl2-books_2.9-2_hppa.deb | 6.49M | 2004-11-25 01:47:02 |
| acl2-infix_2.9-2_hppa.deb | 381.9K | 2004-11-25 01:47:02 |
| acl2_2.9-2_hppa.deb | 13.67M | 2004-11-25 01:47:02 |
| acl2-books_2.9-2_mips.deb | 1.07M | 2004-11-16 17:47:01 |
| acl2-infix_2.9-2_mips.deb | 250.8K | 2004-11-16 17:47:01 |
| acl2_2.9-2_mips.deb | 13.64M | 2004-11-16 17:47:01 |
| acl2-books_2.9-2_m68k.deb | 0.76M | 2004-11-16 09:02:03 |
| acl2-infix_2.9-2_m68k.deb | 174.1K | 2004-11-16 09:02:03 |
| acl2_2.9-2_m68k.deb | 12.99M | 2004-11-16 09:02:03 |
| acl2-books_2.9-2_arm.deb | 0.88M | 2004-11-15 00:17:04 |
| acl2-infix_2.9-2_arm.deb | 204.2K | 2004-11-15 00:17:04 |
| acl2_2.9-2_arm.deb | 13.81M | 2004-11-15 00:17:04 |
| acl2-books_2.9-2_mipsel.deb | 1.04M | 2004-11-12 19:32:02 |
| acl2-infix_2.9-2_mipsel.deb | 239.3K | 2004-11-12 19:32:02 |
| acl2_2.9-2_mipsel.deb | 13.01M | 2004-11-12 19:32:02 |
| acl2-books_2.9-2_powerpc.deb | 1.21M | 2004-11-11 16:32:04 |
| acl2-infix_2.9-2_powerpc.deb | 307.5K | 2004-11-11 16:32:04 |
| acl2_2.9-2_powerpc.deb | 15.42M | 2004-11-11 16:32:04 |
| acl2-books_2.9-2_alpha.deb | 1.36M | 2004-11-11 16:32:02 |
| acl2-infix_2.9-2_alpha.deb | 284.7K | 2004-11-11 16:32:02 |
| acl2_2.9-2_alpha.deb | 14.56M | 2004-11-11 16:32:02 |
| acl2-books_2.9-2_s390.deb | 0.90M | 2004-11-11 10:32:02 |
| acl2_2.9-2_s390.deb | 14.40M | 2004-11-11 10:32:02 |
| acl2-infix_2.9-2_s390.deb | 177.7K | 2004-11-11 10:32:01 |
| acl2-books-certs_2.9-2_all.deb | 288.9K | 2004-11-11 03:02:03 |
| acl2-books-source_2.9-2_all.deb | 1.18M | 2004-11-11 03:02:03 |
| acl2-books_2.9-2_i386.deb | 0.79M | 2004-11-11 03:02:03 |
| acl2-doc_2.9-2_all.deb | 1.71M | 2004-11-11 03:02:03 |
| acl2-infix-source_2.9-2_all.deb | 82.3K | 2004-11-11 03:02:03 |
| acl2-infix_2.9-2_i386.deb | 176.9K | 2004-11-11 03:02:03 |
| acl2-source_2.9-2_all.deb | 1.95M | 2004-11-11 03:02:03 |
| acl2_2.9-2.diff.gz | 17.7K | 2004-11-11 03:02:03 |
| acl2_2.9-2_i386.deb | 13.09M | 2004-11-11 03:02:03 |