Index of /debian-archive/debian/pool/main/a/acl2/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
acl2_8.0dfsg-1+b1_armel.deb16.0 MiB2019-Feb-14 15:00
acl2-books_8.0dfsg-1+b1_armel.deb127.3 MiB2019-Feb-14 15:00
acl2-infix_8.0dfsg-1+b1_armel.deb431.8 KiB2019-Feb-14 15:00
acl2_8.0dfsg-1_mips.deb16.5 MiB2018-Jan-16 08:15
acl2-books_8.0dfsg-1_mips.deb126.0 MiB2018-Jan-16 08:15
acl2-infix_8.0dfsg-1_mips.deb421.1 KiB2018-Jan-16 08:15
acl2_8.0dfsg-1_mipsel.deb16.7 MiB2018-Jan-16 07:14
acl2-books_8.0dfsg-1_mipsel.deb130.6 MiB2018-Jan-16 07:14
acl2-infix_8.0dfsg-1_mipsel.deb441.8 KiB2018-Jan-16 07:14
acl2_8.0dfsg-1_mips64el.deb16.4 MiB2018-Jan-16 05:44
acl2-books_8.0dfsg-1_mips64el.deb140.0 MiB2018-Jan-16 05:44
acl2-infix_8.0dfsg-1_mips64el.deb439.8 KiB2018-Jan-16 05:44
acl2_8.0dfsg-1_armhf.deb15.4 MiB2018-Jan-15 10:46
acl2-books_8.0dfsg-1_armhf.deb119.6 MiB2018-Jan-15 10:46
acl2-infix_8.0dfsg-1_armhf.deb406.5 KiB2018-Jan-15 10:46
acl2_8.0dfsg-1_arm64.deb17.0 MiB2018-Jan-14 04:47
acl2-books_8.0dfsg-1_arm64.deb134.8 MiB2018-Jan-14 04:47
acl2-infix_8.0dfsg-1_arm64.deb432.4 KiB2018-Jan-14 04:47
acl2_8.0dfsg-1_i386.deb16.2 MiB2018-Jan-13 23:26
acl2-books_8.0dfsg-1_i386.deb110.6 MiB2018-Jan-13 23:26
acl2-infix_8.0dfsg-1_i386.deb390.0 KiB2018-Jan-13 23:26
acl2-books_8.0dfsg-1_s390x.deb121.8 MiB2018-Jan-13 22:41
acl2-infix_8.0dfsg-1_s390x.deb397.0 KiB2018-Jan-13 22:41
acl2_8.0dfsg-1_s390x.deb17.2 MiB2018-Jan-13 22:41
acl2-books_8.0dfsg-1_ppc64el.deb130.5 MiB2018-Jan-13 22:26
acl2-infix_8.0dfsg-1_ppc64el.deb434.1 KiB2018-Jan-13 22:26
acl2_8.0dfsg-1_ppc64el.deb18.5 MiB2018-Jan-13 22:26
acl2-doc_8.0dfsg-1_all.deb392.1 KiB2018-Jan-13 15:52
acl2-emacs_8.0dfsg-1_all.deb66.0 KiB2018-Jan-13 15:52
acl2_8.0dfsg-1_amd64.deb18.9 MiB2018-Jan-13 15:52
acl2-books_8.0dfsg-1_amd64.deb131.6 MiB2018-Jan-13 15:52
acl2-infix-source_8.0dfsg-1_all.deb77.3 KiB2018-Jan-13 15:52
acl2-infix_8.0dfsg-1_amd64.deb421.9 KiB2018-Jan-13 15:52
acl2-source_8.0dfsg-1_all.deb2.9 MiB2018-Jan-13 15:52
acl2_8.0dfsg-1.debian.tar.xz200.0 KiB2018-Jan-13 15:52
acl2-books-certs_8.0dfsg-1_all.deb69.9 MiB2018-Jan-13 15:52
acl2-books-source_8.0dfsg-1_all.deb11.9 MiB2018-Jan-13 15:52
acl2_8.0dfsg.orig.tar.gz74.0 MiB2018-Jan-13 15:52
acl2_8.0dfsg-1.dsc2.2 KiB2018-Jan-13 15:52
acl2_7.2dfsg-3_mips64el.deb14.9 MiB2016-Oct-20 02:31
acl2-books_7.2dfsg-3_mips64el.deb108.2 MiB2016-Oct-20 02:31
acl2-infix_7.2dfsg-3_mips64el.deb423.7 KiB2016-Oct-20 02:31
acl2_7.2dfsg-3_mipsel.deb15.1 MiB2016-Oct-19 16:45
acl2-books_7.2dfsg-3_mipsel.deb74.2 MiB2016-Oct-19 16:45
acl2-infix_7.2dfsg-3_mipsel.deb426.3 KiB2016-Oct-19 16:45
acl2-books_7.2dfsg-3_armel.deb86.3 MiB2016-Oct-19 07:29
acl2_7.2dfsg-3_armel.deb13.8 MiB2016-Oct-19 07:29
acl2-infix_7.2dfsg-3_armel.deb381.8 KiB2016-Oct-19 07:29
acl2-books_7.2dfsg-3_armhf.deb91.9 MiB2016-Oct-19 03:33
acl2_7.2dfsg-3_armhf.deb14.0 MiB2016-Oct-19 03:33
acl2-infix_7.2dfsg-3_armhf.deb400.6 KiB2016-Oct-19 03:33
acl2-books_7.2dfsg-3_mips.deb71.3 MiB2016-Oct-18 17:12
acl2_7.2dfsg-3_mips.deb15.0 MiB2016-Oct-18 17:12
acl2-infix_7.2dfsg-3_mips.deb407.9 KiB2016-Oct-18 17:12
acl2_7.2dfsg-3_s390x.deb15.3 MiB2016-Oct-18 09:30
acl2-books_7.2dfsg-3_s390x.deb101.6 MiB2016-Oct-18 09:30
acl2-infix_7.2dfsg-3_s390x.deb408.3 KiB2016-Oct-18 09:30
acl2_7.2dfsg-3_arm64.deb14.9 MiB2016-Oct-18 07:59
acl2-books_7.2dfsg-3_arm64.deb104.5 MiB2016-Oct-18 07:59
acl2-infix_7.2dfsg-3_arm64.deb420.2 KiB2016-Oct-18 07:59
acl2_7.2dfsg-3_i386.deb14.9 MiB2016-Oct-18 01:35
acl2-books_7.2dfsg-3_i386.deb86.3 MiB2016-Oct-18 01:35
acl2-infix_7.2dfsg-3_i386.deb381.0 KiB2016-Oct-18 01:35
acl2_7.2dfsg-3_ppc64el.deb15.6 MiB2016-Oct-18 00:34
acl2-books_7.2dfsg-3_ppc64el.deb98.8 MiB2016-Oct-18 00:34
acl2-infix_7.2dfsg-3_ppc64el.deb412.9 KiB2016-Oct-18 00:34
acl2_7.2dfsg-3_amd64.deb17.3 MiB2016-Oct-17 16:35
acl2_7.2dfsg-3.debian.tar.xz199.4 KiB2016-Oct-17 16:35
acl2_7.2dfsg-3.dsc2.2 KiB2016-Oct-17 16:35
acl2-books_7.2dfsg-3_amd64.deb103.1 MiB2016-Oct-17 16:35
acl2-books-source_7.2dfsg-3_all.deb10.4 MiB2016-Oct-17 16:35
acl2-doc_7.2dfsg-3_all.deb372.3 KiB2016-Oct-17 16:35
acl2-emacs_7.2dfsg-3_all.deb62.6 KiB2016-Oct-17 16:35
acl2-infix-source_7.2dfsg-3_all.deb77.0 KiB2016-Oct-17 16:35
acl2-infix_7.2dfsg-3_amd64.deb409.9 KiB2016-Oct-17 16:35
acl2-books-certs_7.2dfsg-3_all.deb52.3 MiB2016-Oct-17 16:35
acl2-source_7.2dfsg-3_all.deb2.8 MiB2016-Oct-17 16:35
acl2_7.2dfsg.orig.tar.gz61.4 MiB2016-Apr-14 15:54
acl2-books_6.5-2~bpo70+1_amd64.deb47.4 MiB2015-Jan-14 18:26
acl2-infix_6.5-2~bpo70+1_amd64.deb219.3 KiB2015-Jan-14 18:26
acl2_6.5-2~bpo70+1_amd64.deb23.9 MiB2015-Jan-14 18:26
acl2-books-certs_6.5-2~bpo70+1_all.deb18.7 MiB2015-Jan-14 18:26
acl2-books-source_6.5-2~bpo70+1_all.deb10.2 MiB2015-Jan-14 18:26
acl2-doc_6.5-2~bpo70+1_all.deb2.2 MiB2015-Jan-14 18:26
acl2-emacs_6.5-2~bpo70+1_all.deb71.2 KiB2015-Jan-14 18:26
acl2-infix-source_6.5-2~bpo70+1_all.deb90.0 KiB2015-Jan-14 18:26
acl2-source_6.5-2~bpo70+1_all.deb3.7 MiB2015-Jan-14 18:26
acl2_6.5-2~bpo70+1.debian.tar.gz159.6 KiB2015-Jan-14 18:26
acl2_6.5-2~bpo70+1.dsc2.3 KiB2015-Jan-14 18:26
acl2-books_6.5-2_mips.deb20.0 MiB2014-Oct-03 01:44
acl2-infix_6.5-2_mips.deb145.1 KiB2014-Oct-03 01:44
acl2_6.5-2_mips.deb13.1 MiB2014-Oct-03 01:44
acl2-books_6.5-2_mipsel.deb20.4 MiB2014-Sep-28 22:37
acl2-infix_6.5-2_mipsel.deb146.4 KiB2014-Sep-28 22:37
acl2_6.5-2_mipsel.deb13.4 MiB2014-Sep-28 22:37
acl2-books_6.5-2_arm64.deb21.8 MiB2014-Sep-17 01:00
acl2-infix_6.5-2_arm64.deb149.3 KiB2014-Sep-17 01:00
acl2_6.5-2_arm64.deb14.2 MiB2014-Sep-17 01:00
acl2-books_6.5-2_armhf.deb66.7 MiB2014-Sep-12 12:12
acl2-infix_6.5-2_armhf.deb424.4 KiB2014-Sep-12 12:12
acl2_6.5-2_armhf.deb13.5 MiB2014-Sep-12 12:12
acl2-books_6.5-2_armel.deb65.0 MiB2014-Sep-09 13:25
acl2-infix_6.5-2_armel.deb402.7 KiB2014-Sep-09 13:25
acl2_6.5-2_armel.deb13.1 MiB2014-Sep-09 13:25
acl2-books_6.5-2_kfreebsd-i386.deb17.9 MiB2014-Sep-09 12:04
acl2-infix_6.5-2_kfreebsd-i386.deb147.5 KiB2014-Sep-09 12:04
acl2_6.5-2_kfreebsd-i386.deb13.4 MiB2014-Sep-09 12:04
acl2-books_6.5-2_kfreebsd-amd64.deb22.1 MiB2014-Sep-09 08:43
acl2-infix_6.5-2_kfreebsd-amd64.deb145.1 KiB2014-Sep-09 08:43
acl2_6.5-2_kfreebsd-amd64.deb15.6 MiB2014-Sep-09 08:43
acl2-books_6.5-2_ppc64el.deb19.1 MiB2014-Sep-09 06:07
acl2-infix_6.5-2_ppc64el.deb152.3 KiB2014-Sep-09 06:07
acl2_6.5-2_ppc64el.deb13.5 MiB2014-Sep-09 06:07
acl2-books_6.5-2_s390x.deb19.8 MiB2014-Sep-09 02:46
acl2-infix_6.5-2_s390x.deb137.8 KiB2014-Sep-09 02:46
acl2_6.5-2_s390x.deb14.9 MiB2014-Sep-09 02:46
acl2-books_6.5-2_i386.deb20.8 MiB2014-Sep-08 23:44
acl2-infix_6.5-2_i386.deb148.0 KiB2014-Sep-08 23:44
acl2_6.5-2_i386.deb13.4 MiB2014-Sep-08 23:44
acl2-books_6.5-2_powerpc.deb18.1 MiB2014-Sep-08 19:57
acl2-infix_6.5-2_powerpc.deb136.4 KiB2014-Sep-08 19:57
acl2_6.5-2_powerpc.deb12.7 MiB2014-Sep-08 19:57
acl2-books-certs_6.5-2_all.deb6.2 MiB2014-Sep-08 16:35
acl2-books-source_6.5-2_all.deb6.6 MiB2014-Sep-08 16:35
acl2-books_6.5-2_amd64.deb22.1 MiB2014-Sep-08 16:35
acl2-doc_6.5-2_all.deb1.6 MiB2014-Sep-08 16:35
acl2-emacs_6.5-2_all.deb59.4 KiB2014-Sep-08 16:35
acl2-infix-source_6.5-2_all.deb77.6 KiB2014-Sep-08 16:35
acl2-source_6.5-2_all.deb2.6 MiB2014-Sep-08 16:35
acl2-infix_6.5-2_amd64.deb146.5 KiB2014-Sep-08 16:35
acl2_6.5-2.debian.tar.xz125.3 KiB2014-Sep-08 16:35
acl2_6.5-2.dsc1.8 KiB2014-Sep-08 16:35
acl2_6.5-2_amd64.deb15.6 MiB2014-Sep-08 16:35
acl2_6.5.orig-books.tar.gz14.3 MiB2014-Aug-17 17:21
acl2_6.5.orig.tar.gz5.9 MiB2014-Aug-17 17:21
acl2-books_4.3-3_mipsel.deb15.4 MiB2012-Apr-26 23:49
acl2-infix_4.3-3_mipsel.deb214.3 KiB2012-Apr-26 23:49
acl2_4.3-3_mipsel.deb22.5 MiB2012-Apr-26 23:49
acl2-books_4.3-3_ia64.deb18.2 MiB2012-Apr-23 16:47
acl2-infix_4.3-3_ia64.deb255.8 KiB2012-Apr-23 16:47
acl2_4.3-3_ia64.deb25.1 MiB2012-Apr-23 16:47
acl2-books_4.3-3_armel.deb36.2 MiB2012-Apr-22 04:47
acl2-infix_4.3-3_armel.deb368.9 KiB2012-Apr-22 04:47
acl2_4.3-3_armel.deb23.4 MiB2012-Apr-22 04:47
acl2-books_4.3-3_sparc.deb14.8 MiB2012-Apr-22 01:02
acl2-infix_4.3-3_sparc.deb211.7 KiB2012-Apr-22 01:02
acl2_4.3-3_sparc.deb26.9 MiB2012-Apr-22 01:02
acl2-books_4.3-3_armhf.deb36.5 MiB2012-Apr-22 00:17
acl2-infix_4.3-3_armhf.deb400.7 KiB2012-Apr-22 00:17
acl2_4.3-3_armhf.deb22.3 MiB2012-Apr-22 00:17
acl2-books_4.3-3_mips.deb16.2 MiB2012-Apr-21 22:47
acl2-infix_4.3-3_mips.deb226.2 KiB2012-Apr-21 22:47
acl2_4.3-3_mips.deb23.8 MiB2012-Apr-21 22:47
acl2-books_4.3-3_kfreebsd-amd64.deb15.1 MiB2012-Apr-21 14:32
acl2-infix_4.3-3_kfreebsd-amd64.deb200.6 KiB2012-Apr-21 14:32
acl2_4.3-3_kfreebsd-amd64.deb27.0 MiB2012-Apr-21 14:32
acl2-books_4.3-3_s390x.deb14.8 MiB2012-Apr-21 10:47
acl2-infix_4.3-3_s390x.deb190.2 KiB2012-Apr-21 10:47
acl2_4.3-3_s390x.deb29.2 MiB2012-Apr-21 10:47
acl2-books_4.3-3_powerpc.deb15.2 MiB2012-Apr-21 03:47
acl2-infix_4.3-3_powerpc.deb218.4 KiB2012-Apr-21 03:47
acl2_4.3-3_powerpc.deb24.5 MiB2012-Apr-21 03:47
acl2-books_4.3-3_kfreebsd-i386.deb12.9 MiB2012-Apr-21 03:02
acl2-infix_4.3-3_kfreebsd-i386.deb178.1 KiB2012-Apr-21 03:02
acl2_4.3-3_kfreebsd-i386.deb23.2 MiB2012-Apr-21 03:02
acl2-books_4.3-3_amd64.deb15.2 MiB2012-Apr-21 02:02
acl2-infix_4.3-3_amd64.deb198.9 KiB2012-Apr-21 02:02
acl2_4.3-3_amd64.deb27.0 MiB2012-Apr-21 02:02
acl2-books_4.3-3_s390.deb13.0 MiB2012-Apr-21 01:17
acl2-infix_4.3-3_s390.deb166.5 KiB2012-Apr-21 01:17
acl2_4.3-3_s390.deb25.1 MiB2012-Apr-21 01:17
acl2-books-certs_4.3-3_all.deb4.2 MiB2012-Apr-20 21:38
acl2-books-source_4.3-3_all.deb6.2 MiB2012-Apr-20 21:38
acl2-books_4.3-3_i386.deb13.3 MiB2012-Apr-20 21:38
acl2-doc_4.3-3_all.deb353.8 KiB2012-Apr-20 21:38
acl2-emacs_4.3-3_all.deb59.4 KiB2012-Apr-20 21:38
acl2-infix-source_4.3-3_all.deb89.3 KiB2012-Apr-20 21:38
acl2-source_4.3-3_all.deb3.1 MiB2012-Apr-20 21:38
acl2-infix_4.3-3_i386.deb179.8 KiB2012-Apr-20 21:38
acl2_4.3-3.debian.tar.gz17.9 KiB2012-Apr-20 21:38
acl2_4.3-3.dsc1.5 KiB2012-Apr-20 21:38
acl2_4.3-3_i386.deb23.2 MiB2012-Apr-20 21:38
acl2_4.3.orig.tar.gz14.5 MiB2012-Jan-11 21:47
acl2-books_4.0-3_mips.deb36.6 MiB2010-Jul-23 16:32
acl2-infix_4.0-3_mips.deb426.6 KiB2010-Jul-23 16:32
acl2_4.0-3_mips.deb21.9 MiB2010-Jul-23 16:32
acl2-books_4.0-3_powerpc.deb42.0 MiB2010-Jul-19 22:47
acl2-infix_4.0-3_powerpc.deb511.1 KiB2010-Jul-19 22:47
acl2_4.0-3_powerpc.deb23.9 MiB2010-Jul-19 22:47
acl2-books_4.0-3_mipsel.deb12.6 MiB2010-Jul-19 17:47
acl2-infix_4.0-3_mipsel.deb187.3 KiB2010-Jul-19 17:47
acl2_4.0-3_mipsel.deb20.8 MiB2010-Jul-19 17:47
acl2-books_4.0-3_sparc.deb35.3 MiB2010-Jul-17 16:47
acl2-infix_4.0-3_sparc.deb441.6 KiB2010-Jul-17 16:47
acl2_4.0-3_sparc.deb25.5 MiB2010-Jul-17 16:47
acl2-books_4.0-3_armel.deb32.6 MiB2010-Jul-11 19:17
acl2-infix_4.0-3_armel.deb383.7 KiB2010-Jul-11 19:17
acl2_4.0-3_armel.deb22.4 MiB2010-Jul-11 19:17
acl2-books_4.0-3_ia64.deb39.6 MiB2010-Jul-10 13:17
acl2-infix_4.0-3_ia64.deb559.5 KiB2010-Jul-10 13:17
acl2_4.0-3_ia64.deb23.8 MiB2010-Jul-10 13:17
acl2-books_4.0-3_s390.deb40.3 MiB2010-Jul-10 11:47
acl2-infix_4.0-3_s390.deb449.5 KiB2010-Jul-10 11:47
acl2_4.0-3_s390.deb23.7 MiB2010-Jul-10 11:47
acl2-books_4.0-3_kfreebsd-i386.deb32.2 MiB2010-Jul-10 01:32
acl2-infix_4.0-3_kfreebsd-i386.deb379.8 KiB2010-Jul-10 01:32
acl2_4.0-3_kfreebsd-i386.deb21.2 MiB2010-Jul-10 01:32
acl2-books_4.0-3_kfreebsd-amd64.deb36.7 MiB2010-Jul-10 01:17
acl2-infix_4.0-3_kfreebsd-amd64.deb421.2 KiB2010-Jul-10 01:17
acl2_4.0-3_kfreebsd-amd64.deb25.0 MiB2010-Jul-10 01:17
acl2-books_4.0-3_amd64.deb36.7 MiB2010-Jul-09 23:32
acl2-infix_4.0-3_amd64.deb420.5 KiB2010-Jul-09 23:32
acl2_4.0-3_amd64.deb25.0 MiB2010-Jul-09 23:32
acl2-books-certs_4.0-3_all.deb1.9 MiB2010-Jul-09 19:02
acl2-books-source_4.0-3_all.deb5.0 MiB2010-Jul-09 19:02
acl2-doc_4.0-3_all.deb2.7 MiB2010-Jul-09 19:02
acl2-emacs_4.0-3_all.deb56.8 KiB2010-Jul-09 19:02
acl2-books_4.0-3_i386.deb32.4 MiB2010-Jul-09 19:02
acl2-infix-source_4.0-3_all.deb87.2 KiB2010-Jul-09 19:02
acl2-infix_4.0-3_i386.deb381.3 KiB2010-Jul-09 19:02
acl2-source_4.0-3_all.deb2.9 MiB2010-Jul-09 19:02
acl2_4.0-3.diff.gz15.6 KiB2010-Jul-09 19:02
acl2_4.0-3.dsc1.1 KiB2010-Jul-09 19:02
acl2_4.0-3_i386.deb21.3 MiB2010-Jul-09 19:02
acl2_4.0.orig.tar.gz10.9 MiB2010-Jul-08 06:47
acl2-books_3.1-1_m68k.deb1.6 MiB2007-Feb-12 09:02
acl2-infix_3.1-1_m68k.deb191.1 KiB2007-Feb-12 09:02
acl2_3.1-1_m68k.deb15.1 MiB2007-Feb-12 09:02
acl2-books_3.1-1_mipsel.deb1.9 MiB2007-Jan-08 11:32
acl2-infix_3.1-1_mipsel.deb192.2 KiB2007-Jan-08 11:32
acl2_3.1-1_mipsel.deb14.3 MiB2007-Jan-08 11:32
acl2-books_3.1-1_sparc.deb1.8 MiB2006-Dec-31 20:32
acl2-infix_3.1-1_sparc.deb217.6 KiB2006-Dec-31 20:32
acl2_3.1-1_sparc.deb16.7 MiB2006-Dec-31 20:32
acl2-books_3.1-1_arm.deb1.6 MiB2006-Dec-18 19:00
acl2-infix_3.1-1_arm.deb185.7 KiB2006-Dec-18 19:00
acl2_3.1-1_arm.deb16.0 MiB2006-Dec-18 19:00
acl2-books_3.1-1_mips.deb2.0 MiB2006-Dec-12 09:02
acl2-infix_3.1-1_mips.deb197.3 KiB2006-Dec-12 09:02
acl2_3.1-1_mips.deb15.1 MiB2006-Dec-12 09:02
acl2-books_3.1-1_hppa.deb7.4 MiB2006-Dec-12 07:02
acl2-infix_3.1-1_hppa.deb408.1 KiB2006-Dec-12 07:02
acl2_3.1-1_hppa.deb15.4 MiB2006-Dec-12 07:02
acl2-books_3.1-1_ia64.deb2.8 MiB2006-Dec-05 17:32
acl2-infix_3.1-1_ia64.deb297.1 KiB2006-Dec-05 17:32
acl2_3.1-1_ia64.deb16.8 MiB2006-Dec-05 17:32
acl2-books_3.1-1_s390.deb1.7 MiB2006-Dec-05 17:02
acl2-infix_3.1-1_s390.deb162.4 KiB2006-Dec-05 17:02
acl2_3.1-1_s390.deb16.2 MiB2006-Dec-05 17:02
acl2-books_3.1-1_powerpc.deb2.2 MiB2006-Dec-05 12:32
acl2-infix_3.1-1_powerpc.deb243.0 KiB2006-Dec-05 12:32
acl2_3.1-1_powerpc.deb17.0 MiB2006-Dec-05 12:32
acl2-books_3.1-1_alpha.deb2.7 MiB2006-Dec-05 12:32
acl2-infix_3.1-1_alpha.deb251.2 KiB2006-Dec-05 12:32
acl2_3.1-1_alpha.deb15.8 MiB2006-Dec-05 12:32
acl2-books_3.1-1_amd64.deb2.2 MiB2006-Dec-04 23:47
acl2-infix_3.1-1_amd64.deb194.0 KiB2006-Dec-04 23:47
acl2_3.1-1_amd64.deb17.7 MiB2006-Dec-04 23:47
acl2-books-certs_3.1-1_all.deb4.7 MiB2006-Dec-04 21:47
acl2-books-source_3.1-1_all.deb2.1 MiB2006-Dec-04 21:47
acl2-books_3.1-1_i386.deb1.5 MiB2006-Dec-04 21:47
acl2-doc_3.1-1_all.deb1.9 MiB2006-Dec-04 21:47
acl2-emacs_3.1-1_all.deb49.4 KiB2006-Dec-04 21:47
acl2-infix-source_3.1-1_all.deb83.3 KiB2006-Dec-04 21:47
acl2-infix_3.1-1_i386.deb167.8 KiB2006-Dec-04 21:47
acl2_3.1-1.diff.gz13.0 KiB2006-Dec-04 21:47
acl2_3.1-1.dsc822 B2006-Dec-04 21:47
acl2-source_3.1-1_all.deb2.2 MiB2006-Dec-04 21:47
acl2_3.1-1_i386.deb15.5 MiB2006-Dec-04 21:47
acl2_3.1.orig.tar.gz6.4 MiB2006-Dec-04 21:47
acl2-emacs_2.9-2_all.deb47.6 KiB2005-Apr-30 13:19
acl2_2.9-2.dsc794 B2005-Apr-30 13:19
acl2_2.9.orig.tar.gz5.0 MiB2005-Apr-30 13:19
acl2-books_2.9-2_sparc.deb972.2 KiB2004-Nov-28 18:32
acl2-infix_2.9-2_sparc.deb248.9 KiB2004-Nov-28 18:32
acl2_2.9-2_sparc.deb21.3 MiB2004-Nov-28 18:32
acl2-books_2.9-2_ia64.deb1.4 MiB2004-Nov-25 03:47
acl2-infix_2.9-2_ia64.deb344.1 KiB2004-Nov-25 03:47
acl2_2.9-2_ia64.deb15.7 MiB2004-Nov-25 03:47
acl2-books_2.9-2_hppa.deb6.5 MiB2004-Nov-25 03:47
acl2-infix_2.9-2_hppa.deb381.9 KiB2004-Nov-25 03:47
acl2_2.9-2_hppa.deb13.7 MiB2004-Nov-25 03:47
acl2-books_2.9-2_mips.deb1.1 MiB2004-Nov-16 19:47
acl2-infix_2.9-2_mips.deb250.8 KiB2004-Nov-16 19:47
acl2_2.9-2_mips.deb13.6 MiB2004-Nov-16 19:47
acl2-books_2.9-2_m68k.deb782.3 KiB2004-Nov-16 11:02
acl2-infix_2.9-2_m68k.deb174.1 KiB2004-Nov-16 11:02
acl2_2.9-2_m68k.deb13.0 MiB2004-Nov-16 11:02
acl2-books_2.9-2_arm.deb903.7 KiB2004-Nov-15 02:17
acl2-infix_2.9-2_arm.deb204.2 KiB2004-Nov-15 02:17
acl2_2.9-2_arm.deb13.8 MiB2004-Nov-15 02:17
acl2-books_2.9-2_mipsel.deb1.0 MiB2004-Nov-12 21:32
acl2-infix_2.9-2_mipsel.deb239.3 KiB2004-Nov-12 21:32
acl2_2.9-2_mipsel.deb13.0 MiB2004-Nov-12 21:32
acl2-books_2.9-2_powerpc.deb1.2 MiB2004-Nov-11 18:32
acl2-infix_2.9-2_powerpc.deb307.5 KiB2004-Nov-11 18:32
acl2_2.9-2_powerpc.deb15.4 MiB2004-Nov-11 18:32
acl2-books_2.9-2_alpha.deb1.4 MiB2004-Nov-11 18:32
acl2-infix_2.9-2_alpha.deb284.7 KiB2004-Nov-11 18:32
acl2_2.9-2_alpha.deb14.6 MiB2004-Nov-11 18:32
acl2-books_2.9-2_s390.deb923.1 KiB2004-Nov-11 12:32
acl2_2.9-2_s390.deb14.4 MiB2004-Nov-11 12:32
acl2-infix_2.9-2_s390.deb177.7 KiB2004-Nov-11 12:32
acl2-books-certs_2.9-2_all.deb288.9 KiB2004-Nov-11 05:02
acl2-books-source_2.9-2_all.deb1.2 MiB2004-Nov-11 05:02
acl2-books_2.9-2_i386.deb813.8 KiB2004-Nov-11 05:02
acl2-doc_2.9-2_all.deb1.7 MiB2004-Nov-11 05:02
acl2-infix-source_2.9-2_all.deb82.3 KiB2004-Nov-11 05:02
acl2-infix_2.9-2_i386.deb176.9 KiB2004-Nov-11 05:02
acl2_2.9-2.diff.gz17.7 KiB2004-Nov-11 05:02
acl2_2.9-2_i386.deb13.1 MiB2004-Nov-11 05:02
acl2-source_2.9-2_all.deb2.0 MiB2004-Nov-11 05:02