Parent directory/ | - | - |
acl2-infix_8.0dfsg-1_kfreebsd-i386.deb | 388.9 KiB | 2018-Jun-24 13:39 |
acl2-books_8.0dfsg-1_kfreebsd-i386.deb | 110.7 MiB | 2018-Jun-24 13:39 |
acl2_8.0dfsg-1_kfreebsd-i386.deb | 16.8 MiB | 2018-Jun-24 13:39 |
acl2_8.0dfsg-1_kfreebsd-amd64.deb | 18.8 MiB | 2018-Apr-21 15:32 |
acl2-infix_8.0dfsg-1_kfreebsd-amd64.deb | 420.8 KiB | 2018-Apr-21 15:32 |
acl2-books_8.0dfsg-1_kfreebsd-amd64.deb | 130.4 MiB | 2018-Apr-21 15:32 |
acl2-infix_8.0dfsg-1_mips.deb | 421.1 KiB | 2018-Jan-16 06:15 |
acl2-books_8.0dfsg-1_mips.deb | 126.0 MiB | 2018-Jan-16 06:15 |
acl2_8.0dfsg-1_mips.deb | 16.5 MiB | 2018-Jan-16 06:15 |
acl2_8.0dfsg-1_mipsel.deb | 16.7 MiB | 2018-Jan-16 05:14 |
acl2-books_8.0dfsg-1_mipsel.deb | 130.6 MiB | 2018-Jan-16 05:14 |
acl2-infix_8.0dfsg-1_mipsel.deb | 441.8 KiB | 2018-Jan-16 05:14 |
acl2-infix_8.0dfsg-1_mips64el.deb | 439.8 KiB | 2018-Jan-16 03:44 |
acl2_8.0dfsg-1_mips64el.deb | 16.4 MiB | 2018-Jan-16 03:44 |
acl2-books_8.0dfsg-1_mips64el.deb | 140.0 MiB | 2018-Jan-16 03:44 |
acl2_8.0dfsg-1_armhf.deb | 15.4 MiB | 2018-Jan-15 08:46 |
acl2-infix_8.0dfsg-1_armhf.deb | 406.5 KiB | 2018-Jan-15 08:46 |
acl2-books_8.0dfsg-1_armhf.deb | 119.6 MiB | 2018-Jan-15 08:46 |
acl2_8.0dfsg-1_arm64.deb | 17.0 MiB | 2018-Jan-14 02:47 |
acl2-books_8.0dfsg-1_arm64.deb | 134.8 MiB | 2018-Jan-14 02:47 |
acl2-infix_8.0dfsg-1_arm64.deb | 432.4 KiB | 2018-Jan-14 02:47 |
acl2-infix_8.0dfsg-1_i386.deb | 390.0 KiB | 2018-Jan-13 21:26 |
acl2_8.0dfsg-1_i386.deb | 16.2 MiB | 2018-Jan-13 21:26 |
acl2-books_8.0dfsg-1_i386.deb | 110.6 MiB | 2018-Jan-13 21:26 |
acl2-books_8.0dfsg-1_s390x.deb | 121.8 MiB | 2018-Jan-13 20:41 |
acl2_8.0dfsg-1_s390x.deb | 17.2 MiB | 2018-Jan-13 20:41 |
acl2-infix_8.0dfsg-1_s390x.deb | 397.0 KiB | 2018-Jan-13 20:41 |
acl2-books_8.0dfsg-1_ppc64el.deb | 130.5 MiB | 2018-Jan-13 20:26 |
acl2_8.0dfsg-1_ppc64el.deb | 18.5 MiB | 2018-Jan-13 20:26 |
acl2-infix_8.0dfsg-1_ppc64el.deb | 434.1 KiB | 2018-Jan-13 20:26 |
acl2-books_8.0dfsg-1_amd64.deb | 131.6 MiB | 2018-Jan-13 13:52 |
acl2-infix_8.0dfsg-1_amd64.deb | 421.9 KiB | 2018-Jan-13 13:52 |
acl2-source_8.0dfsg-1_all.deb | 2.9 MiB | 2018-Jan-13 13:52 |
acl2_8.0dfsg-1_amd64.deb | 18.9 MiB | 2018-Jan-13 13:52 |
acl2-infix-source_8.0dfsg-1_all.deb | 77.3 KiB | 2018-Jan-13 13:52 |
acl2-doc_8.0dfsg-1_all.deb | 392.1 KiB | 2018-Jan-13 13:52 |
acl2-emacs_8.0dfsg-1_all.deb | 66.0 KiB | 2018-Jan-13 13:52 |
acl2-books-source_8.0dfsg-1_all.deb | 11.9 MiB | 2018-Jan-13 13:52 |
acl2_8.0dfsg.orig.tar.gz | 74.0 MiB | 2018-Jan-13 13:52 |
acl2_8.0dfsg-1.debian.tar.xz | 200.0 KiB | 2018-Jan-13 13:52 |
acl2-books-certs_8.0dfsg-1_all.deb | 69.9 MiB | 2018-Jan-13 13:52 |
acl2_8.0dfsg-1.dsc | 2.2 KiB | 2018-Jan-13 13:52 |
acl2-books_7.4dfsg-4_mips64el.deb | 125.5 MiB | 2017-Oct-05 14:28 |
acl2_7.4dfsg-4_mips64el.deb | 16.4 MiB | 2017-Oct-05 14:28 |
acl2-infix_7.4dfsg-4_mips64el.deb | 438.5 KiB | 2017-Oct-05 14:28 |
acl2-books_7.4dfsg-4_mipsel.deb | 117.6 MiB | 2017-Oct-04 17:13 |
acl2-infix_7.4dfsg-4_mipsel.deb | 440.3 KiB | 2017-Oct-04 17:13 |
acl2_7.4dfsg-4_mipsel.deb | 15.9 MiB | 2017-Oct-04 17:13 |
acl2_7.4dfsg-4_armel.deb | 15.4 MiB | 2017-Oct-04 03:27 |
acl2-books_7.4dfsg-4_armel.deb | 107.4 MiB | 2017-Oct-04 03:27 |
acl2-infix_7.4dfsg-4_armel.deb | 392.5 KiB | 2017-Oct-04 03:27 |
acl2_7.4dfsg-4_mips.deb | 15.8 MiB | 2017-Oct-04 00:41 |
acl2-infix_7.4dfsg-4_mips.deb | 423.5 KiB | 2017-Oct-04 00:41 |
acl2-books_7.4dfsg-4_mips.deb | 112.3 MiB | 2017-Oct-04 00:41 |
acl2-books_7.4dfsg-4_armhf.deb | 101.4 MiB | 2017-Oct-04 00:26 |
acl2_7.4dfsg-4_armhf.deb | 15.2 MiB | 2017-Oct-04 00:26 |
acl2-infix_7.4dfsg-4_armhf.deb | 406.9 KiB | 2017-Oct-04 00:26 |
acl2_7.4dfsg-4_arm64.deb | 16.8 MiB | 2017-Oct-03 03:55 |
acl2-infix_7.4dfsg-4_arm64.deb | 433.7 KiB | 2017-Oct-03 03:55 |
acl2-books_7.4dfsg-4_arm64.deb | 121.1 MiB | 2017-Oct-03 03:55 |
acl2-books_7.4dfsg-4_i386.deb | 102.2 MiB | 2017-Oct-02 23:42 |
acl2-infix_7.4dfsg-4_i386.deb | 389.7 KiB | 2017-Oct-02 23:42 |
acl2_7.4dfsg-4_i386.deb | 15.5 MiB | 2017-Oct-02 23:42 |
acl2-infix_7.4dfsg-4_s390x.deb | 396.1 KiB | 2017-Oct-02 22:27 |
acl2-books_7.4dfsg-4_s390x.deb | 110.2 MiB | 2017-Oct-02 22:27 |
acl2_7.4dfsg-4_s390x.deb | 16.9 MiB | 2017-Oct-02 22:27 |
acl2-infix_7.4dfsg-4_ppc64el.deb | 432.4 KiB | 2017-Oct-02 22:12 |
acl2-books_7.4dfsg-4_ppc64el.deb | 117.3 MiB | 2017-Oct-02 22:12 |
acl2_7.4dfsg-4_ppc64el.deb | 17.3 MiB | 2017-Oct-02 22:12 |
acl2-doc_7.4dfsg-4_all.deb | 378.6 KiB | 2017-Oct-02 17:45 |
acl2-infix_7.4dfsg-4_amd64.deb | 422.9 KiB | 2017-Oct-02 17:45 |
acl2_7.4dfsg-4_amd64.deb | 17.9 MiB | 2017-Oct-02 17:45 |
acl2-source_7.4dfsg-4_all.deb | 2.9 MiB | 2017-Oct-02 17:45 |
acl2-emacs_7.4dfsg-4_all.deb | 65.4 KiB | 2017-Oct-02 17:45 |
acl2-infix-source_7.4dfsg-4_all.deb | 77.3 KiB | 2017-Oct-02 17:45 |
acl2-books_7.4dfsg-4_amd64.deb | 118.9 MiB | 2017-Oct-02 17:45 |
acl2-books-source_7.4dfsg-4_all.deb | 11.4 MiB | 2017-Oct-02 17:45 |
acl2_7.4dfsg-4.dsc | 2.2 KiB | 2017-Oct-02 17:45 |
acl2_7.4dfsg-4.debian.tar.xz | 199.9 KiB | 2017-Oct-02 17:45 |
acl2-books-certs_7.4dfsg-4_all.deb | 61.5 MiB | 2017-Oct-02 17:45 |
acl2_7.4dfsg.orig.tar.gz | 62.2 MiB | 2017-May-10 00:57 |
acl2-infix_7.2dfsg-3_mips64el.deb | 423.7 KiB | 2016-Oct-20 00:31 |
acl2_7.2dfsg-3_mips64el.deb | 14.9 MiB | 2016-Oct-20 00:31 |
acl2-books_7.2dfsg-3_mips64el.deb | 108.2 MiB | 2016-Oct-20 00:31 |
acl2_7.2dfsg-3_mipsel.deb | 15.1 MiB | 2016-Oct-19 14:45 |
acl2-infix_7.2dfsg-3_mipsel.deb | 426.3 KiB | 2016-Oct-19 14:45 |
acl2-books_7.2dfsg-3_mipsel.deb | 74.2 MiB | 2016-Oct-19 14:45 |
acl2_7.2dfsg-3_armel.deb | 13.8 MiB | 2016-Oct-19 05:29 |
acl2-infix_7.2dfsg-3_armel.deb | 381.8 KiB | 2016-Oct-19 05:29 |
acl2-books_7.2dfsg-3_armel.deb | 86.3 MiB | 2016-Oct-19 05:29 |
acl2-infix_7.2dfsg-3_armhf.deb | 400.6 KiB | 2016-Oct-19 01:33 |
acl2-books_7.2dfsg-3_armhf.deb | 91.9 MiB | 2016-Oct-19 01:33 |
acl2_7.2dfsg-3_armhf.deb | 14.0 MiB | 2016-Oct-19 01:33 |
acl2-infix_7.2dfsg-3_mips.deb | 407.9 KiB | 2016-Oct-18 15:12 |
acl2-books_7.2dfsg-3_mips.deb | 71.3 MiB | 2016-Oct-18 15:12 |
acl2_7.2dfsg-3_mips.deb | 15.0 MiB | 2016-Oct-18 15:12 |
acl2_7.2dfsg-3_s390x.deb | 15.3 MiB | 2016-Oct-18 07:30 |
acl2-books_7.2dfsg-3_s390x.deb | 101.6 MiB | 2016-Oct-18 07:30 |
acl2-infix_7.2dfsg-3_s390x.deb | 408.3 KiB | 2016-Oct-18 07:30 |
acl2-infix_7.2dfsg-3_arm64.deb | 420.2 KiB | 2016-Oct-18 05:59 |
acl2-books_7.2dfsg-3_arm64.deb | 104.5 MiB | 2016-Oct-18 05:59 |
acl2_7.2dfsg-3_arm64.deb | 14.9 MiB | 2016-Oct-18 05:59 |
acl2_7.2dfsg-3_i386.deb | 14.9 MiB | 2016-Oct-17 23:35 |
acl2-infix_7.2dfsg-3_i386.deb | 381.0 KiB | 2016-Oct-17 23:35 |
acl2-books_7.2dfsg-3_i386.deb | 86.3 MiB | 2016-Oct-17 23:35 |
acl2_7.2dfsg-3_ppc64el.deb | 15.6 MiB | 2016-Oct-17 22:34 |
acl2-infix_7.2dfsg-3_ppc64el.deb | 412.9 KiB | 2016-Oct-17 22:34 |
acl2-books_7.2dfsg-3_ppc64el.deb | 98.8 MiB | 2016-Oct-17 22:34 |
acl2_7.2dfsg-3_amd64.deb | 17.3 MiB | 2016-Oct-17 14:35 |
acl2-emacs_7.2dfsg-3_all.deb | 62.6 KiB | 2016-Oct-17 14:35 |
acl2-books-source_7.2dfsg-3_all.deb | 10.4 MiB | 2016-Oct-17 14:35 |
acl2-doc_7.2dfsg-3_all.deb | 372.3 KiB | 2016-Oct-17 14:35 |
acl2-infix-source_7.2dfsg-3_all.deb | 77.0 KiB | 2016-Oct-17 14:35 |
acl2_7.2dfsg-3.debian.tar.xz | 199.4 KiB | 2016-Oct-17 14:35 |
acl2-books-certs_7.2dfsg-3_all.deb | 52.3 MiB | 2016-Oct-17 14:35 |
acl2-infix_7.2dfsg-3_amd64.deb | 409.9 KiB | 2016-Oct-17 14:35 |
acl2-source_7.2dfsg-3_all.deb | 2.8 MiB | 2016-Oct-17 14:35 |
acl2-books_7.2dfsg-3_amd64.deb | 103.1 MiB | 2016-Oct-17 14:35 |
acl2_7.2dfsg-3.dsc | 2.2 KiB | 2016-Oct-17 14:35 |
acl2_7.2dfsg.orig.tar.gz | 61.4 MiB | 2016-Apr-14 13:54 |
acl2_6.5-2~bpo70+1_amd64.deb | 23.9 MiB | 2015-Jan-14 16:26 |
acl2-infix_6.5-2~bpo70+1_amd64.deb | 219.3 KiB | 2015-Jan-14 16:26 |
acl2-books_6.5-2~bpo70+1_amd64.deb | 47.4 MiB | 2015-Jan-14 16:26 |
acl2-infix-source_6.5-2~bpo70+1_all.deb | 90.0 KiB | 2015-Jan-14 16:26 |
acl2_6.5-2~bpo70+1.dsc | 2.3 KiB | 2015-Jan-14 16:26 |
acl2-emacs_6.5-2~bpo70+1_all.deb | 71.2 KiB | 2015-Jan-14 16:26 |
acl2_6.5-2~bpo70+1.debian.tar.gz | 159.6 KiB | 2015-Jan-14 16:26 |
acl2-books-certs_6.5-2~bpo70+1_all.deb | 18.7 MiB | 2015-Jan-14 16:26 |
acl2-books-source_6.5-2~bpo70+1_all.deb | 10.2 MiB | 2015-Jan-14 16:26 |
acl2-source_6.5-2~bpo70+1_all.deb | 3.7 MiB | 2015-Jan-14 16:26 |
acl2-doc_6.5-2~bpo70+1_all.deb | 2.2 MiB | 2015-Jan-14 16:26 |
acl2_6.5-2_mips.deb | 13.1 MiB | 2014-Oct-02 23:44 |
acl2-books_6.5-2_mips.deb | 20.0 MiB | 2014-Oct-02 23:44 |
acl2-infix_6.5-2_mips.deb | 145.1 KiB | 2014-Oct-02 23:44 |
acl2-books_6.5-2_mipsel.deb | 20.4 MiB | 2014-Sep-28 20:37 |
acl2-infix_6.5-2_mipsel.deb | 146.4 KiB | 2014-Sep-28 20:37 |
acl2_6.5-2_mipsel.deb | 13.4 MiB | 2014-Sep-28 20:37 |
acl2-infix_6.5-2_arm64.deb | 149.3 KiB | 2014-Sep-16 23:00 |
acl2-books_6.5-2_arm64.deb | 21.8 MiB | 2014-Sep-16 23:00 |
acl2_6.5-2_arm64.deb | 14.2 MiB | 2014-Sep-16 23:00 |
acl2_6.5-2_armhf.deb | 13.5 MiB | 2014-Sep-12 10:12 |
acl2-books_6.5-2_armhf.deb | 66.7 MiB | 2014-Sep-12 10:12 |
acl2-infix_6.5-2_armhf.deb | 424.4 KiB | 2014-Sep-12 10:12 |
acl2-infix_6.5-2_armel.deb | 402.7 KiB | 2014-Sep-09 11:25 |
acl2_6.5-2_armel.deb | 13.1 MiB | 2014-Sep-09 11:25 |
acl2-books_6.5-2_armel.deb | 65.0 MiB | 2014-Sep-09 11:25 |
acl2-infix_6.5-2_kfreebsd-i386.deb | 147.5 KiB | 2014-Sep-09 10:04 |
acl2-books_6.5-2_kfreebsd-i386.deb | 17.9 MiB | 2014-Sep-09 10:04 |
acl2_6.5-2_kfreebsd-i386.deb | 13.4 MiB | 2014-Sep-09 10:04 |
acl2-books_6.5-2_kfreebsd-amd64.deb | 22.1 MiB | 2014-Sep-09 06:43 |
acl2_6.5-2_kfreebsd-amd64.deb | 15.6 MiB | 2014-Sep-09 06:43 |
acl2-infix_6.5-2_kfreebsd-amd64.deb | 145.1 KiB | 2014-Sep-09 06:43 |
acl2-infix_6.5-2_ppc64el.deb | 152.3 KiB | 2014-Sep-09 04:07 |
acl2_6.5-2_ppc64el.deb | 13.5 MiB | 2014-Sep-09 04:07 |
acl2-books_6.5-2_ppc64el.deb | 19.1 MiB | 2014-Sep-09 04:07 |
acl2-infix_6.5-2_s390x.deb | 137.8 KiB | 2014-Sep-09 00:46 |
acl2-books_6.5-2_s390x.deb | 19.8 MiB | 2014-Sep-09 00:46 |
acl2_6.5-2_s390x.deb | 14.9 MiB | 2014-Sep-09 00:46 |
acl2-infix_6.5-2_i386.deb | 148.0 KiB | 2014-Sep-08 21:44 |
acl2-books_6.5-2_i386.deb | 20.8 MiB | 2014-Sep-08 21:44 |
acl2_6.5-2_i386.deb | 13.4 MiB | 2014-Sep-08 21:44 |
acl2-infix_6.5-2_powerpc.deb | 136.4 KiB | 2014-Sep-08 17:57 |
acl2-books_6.5-2_powerpc.deb | 18.1 MiB | 2014-Sep-08 17:57 |
acl2_6.5-2_powerpc.deb | 12.7 MiB | 2014-Sep-08 17:57 |
acl2-books-source_6.5-2_all.deb | 6.6 MiB | 2014-Sep-08 14:35 |
acl2-source_6.5-2_all.deb | 2.6 MiB | 2014-Sep-08 14:35 |
acl2_6.5-2_amd64.deb | 15.6 MiB | 2014-Sep-08 14:35 |
acl2-emacs_6.5-2_all.deb | 59.4 KiB | 2014-Sep-08 14:35 |
acl2-infix_6.5-2_amd64.deb | 146.5 KiB | 2014-Sep-08 14:35 |
acl2-books_6.5-2_amd64.deb | 22.1 MiB | 2014-Sep-08 14:35 |
acl2-books-certs_6.5-2_all.deb | 6.2 MiB | 2014-Sep-08 14:35 |
acl2_6.5-2.dsc | 1.8 KiB | 2014-Sep-08 14:35 |
acl2-infix-source_6.5-2_all.deb | 77.6 KiB | 2014-Sep-08 14:35 |
acl2_6.5-2.debian.tar.xz | 125.3 KiB | 2014-Sep-08 14:35 |
acl2-doc_6.5-2_all.deb | 1.6 MiB | 2014-Sep-08 14:35 |
acl2_6.5.orig-books.tar.gz | 14.3 MiB | 2014-Aug-17 15:21 |
acl2_6.5.orig.tar.gz | 5.9 MiB | 2014-Aug-17 15:21 |
acl2_4.3-3_mipsel.deb | 22.5 MiB | 2012-Apr-26 21:49 |
acl2-books_4.3-3_mipsel.deb | 15.4 MiB | 2012-Apr-26 21:49 |
acl2-infix_4.3-3_mipsel.deb | 214.3 KiB | 2012-Apr-26 21:49 |
acl2-books_4.3-3_ia64.deb | 18.2 MiB | 2012-Apr-23 14:47 |
acl2-infix_4.3-3_ia64.deb | 255.8 KiB | 2012-Apr-23 14:47 |
acl2_4.3-3_ia64.deb | 25.1 MiB | 2012-Apr-23 14:47 |
acl2_4.3-3_armel.deb | 23.4 MiB | 2012-Apr-22 02:47 |
acl2-infix_4.3-3_armel.deb | 368.9 KiB | 2012-Apr-22 02:47 |
acl2-books_4.3-3_armel.deb | 36.2 MiB | 2012-Apr-22 02:47 |
acl2-books_4.3-3_sparc.deb | 14.8 MiB | 2012-Apr-21 23:02 |
acl2_4.3-3_sparc.deb | 26.9 MiB | 2012-Apr-21 23:02 |
acl2-infix_4.3-3_sparc.deb | 211.7 KiB | 2012-Apr-21 23:02 |
acl2-books_4.3-3_armhf.deb | 36.5 MiB | 2012-Apr-21 22:17 |
acl2_4.3-3_armhf.deb | 22.3 MiB | 2012-Apr-21 22:17 |
acl2-infix_4.3-3_armhf.deb | 400.7 KiB | 2012-Apr-21 22:17 |
acl2-books_4.3-3_mips.deb | 16.2 MiB | 2012-Apr-21 20:47 |
acl2-infix_4.3-3_mips.deb | 226.2 KiB | 2012-Apr-21 20:47 |
acl2_4.3-3_mips.deb | 23.8 MiB | 2012-Apr-21 20:47 |
acl2_4.3-3_kfreebsd-amd64.deb | 27.0 MiB | 2012-Apr-21 12:32 |
acl2-infix_4.3-3_kfreebsd-amd64.deb | 200.6 KiB | 2012-Apr-21 12:32 |
acl2-books_4.3-3_kfreebsd-amd64.deb | 15.1 MiB | 2012-Apr-21 12:32 |
acl2_4.3-3_s390x.deb | 29.2 MiB | 2012-Apr-21 08:47 |
acl2-infix_4.3-3_s390x.deb | 190.2 KiB | 2012-Apr-21 08:47 |
acl2-books_4.3-3_s390x.deb | 14.8 MiB | 2012-Apr-21 08:47 |
acl2_4.3-3_powerpc.deb | 24.5 MiB | 2012-Apr-21 01:47 |
acl2-books_4.3-3_powerpc.deb | 15.2 MiB | 2012-Apr-21 01:47 |
acl2-infix_4.3-3_powerpc.deb | 218.4 KiB | 2012-Apr-21 01:47 |
acl2-books_4.3-3_kfreebsd-i386.deb | 12.9 MiB | 2012-Apr-21 01:02 |
acl2_4.3-3_kfreebsd-i386.deb | 23.2 MiB | 2012-Apr-21 01:02 |
acl2-infix_4.3-3_kfreebsd-i386.deb | 178.1 KiB | 2012-Apr-21 01:02 |
acl2-infix_4.3-3_amd64.deb | 198.9 KiB | 2012-Apr-21 00:02 |
acl2_4.3-3_amd64.deb | 27.0 MiB | 2012-Apr-21 00:02 |
acl2-books_4.3-3_amd64.deb | 15.2 MiB | 2012-Apr-21 00:02 |
acl2_4.3-3_s390.deb | 25.1 MiB | 2012-Apr-20 23:17 |
acl2-infix_4.3-3_s390.deb | 166.5 KiB | 2012-Apr-20 23:17 |
acl2-books_4.3-3_s390.deb | 13.0 MiB | 2012-Apr-20 23:17 |
acl2_4.3-3.debian.tar.gz | 17.9 KiB | 2012-Apr-20 19:38 |
acl2-source_4.3-3_all.deb | 3.1 MiB | 2012-Apr-20 19:38 |
acl2-infix-source_4.3-3_all.deb | 89.3 KiB | 2012-Apr-20 19:38 |
acl2-emacs_4.3-3_all.deb | 59.4 KiB | 2012-Apr-20 19:38 |
acl2_4.3-3_i386.deb | 23.2 MiB | 2012-Apr-20 19:38 |
acl2_4.3-3.dsc | 1.5 KiB | 2012-Apr-20 19:38 |
acl2-books-certs_4.3-3_all.deb | 4.2 MiB | 2012-Apr-20 19:38 |
acl2-doc_4.3-3_all.deb | 353.8 KiB | 2012-Apr-20 19:38 |
acl2-infix_4.3-3_i386.deb | 179.8 KiB | 2012-Apr-20 19:38 |
acl2-books-source_4.3-3_all.deb | 6.2 MiB | 2012-Apr-20 19:38 |
acl2-books_4.3-3_i386.deb | 13.3 MiB | 2012-Apr-20 19:38 |
acl2_4.3.orig.tar.gz | 14.5 MiB | 2012-Jan-11 19:47 |