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

Icon  Name                                    Last modified      Size  Description
[PARENTDIR] Parent Directory                                             -   
[   ] acl2-books-certs_2.9-2_all.deb          2004-11-11 03:02  289K  
[   ] acl2-books-certs_3.1-1_all.deb          2006-12-04 19:47  4.7M  
[   ] acl2-books-certs_4.0-3_all.deb          2010-07-09 18:02  1.9M  
[   ] acl2-books-certs_4.3-3_all.deb          2012-04-20 20:38  4.2M  
[   ] acl2-books-certs_6.5-2_all.deb          2014-09-08 15:35  6.2M  
[   ] acl2-books-certs_6.5-2~bpo70+1_all.deb  2015-01-14 16:26   19M  
[   ] acl2-books-certs_7.2dfsg-3_all.deb      2016-10-17 15:35   52M  
[   ] acl2-books-certs_8.0dfsg-1_all.deb      2018-01-13 13:52   70M  
[   ] acl2-books-source_2.9-2_all.deb         2004-11-11 03:02  1.2M  
[   ] acl2-books-source_3.1-1_all.deb         2006-12-04 19:47  2.1M  
[   ] acl2-books-source_4.0-3_all.deb         2010-07-09 18:02  5.0M  
[   ] acl2-books-source_4.3-3_all.deb         2012-04-20 20:38  6.2M  
[   ] acl2-books-source_6.5-2_all.deb         2014-09-08 15:35  6.6M  
[   ] acl2-books-source_6.5-2~bpo70+1_all.deb 2015-01-14 16:26   10M  
[   ] acl2-books-source_7.2dfsg-3_all.deb     2016-10-17 15:35   10M  
[   ] acl2-books-source_8.0dfsg-1_all.deb     2018-01-13 13:52   12M  
[   ] acl2-books_2.9-2_alpha.deb              2004-11-11 16:32  1.4M  
[   ] acl2-books_2.9-2_arm.deb                2004-11-15 00:17  904K  
[   ] acl2-books_2.9-2_hppa.deb               2004-11-25 01:47  6.5M  
[   ] acl2-books_2.9-2_i386.deb               2004-11-11 03:02  814K  
[   ] acl2-books_2.9-2_ia64.deb               2004-11-25 01:47  1.4M  
[   ] acl2-books_2.9-2_m68k.deb               2004-11-16 09:02  782K  
[   ] acl2-books_2.9-2_mips.deb               2004-11-16 17:47  1.1M  
[   ] acl2-books_2.9-2_mipsel.deb             2004-11-12 19:32  1.0M  
[   ] acl2-books_2.9-2_powerpc.deb            2004-11-11 16:32  1.2M  
[   ] acl2-books_2.9-2_s390.deb               2004-11-11 10:32  923K  
[   ] acl2-books_2.9-2_sparc.deb              2004-11-28 16:32  972K  
[   ] acl2-books_3.1-1_alpha.deb              2006-12-05 10:32  2.7M  
[   ] acl2-books_3.1-1_amd64.deb              2006-12-04 21:47  2.2M  
[   ] acl2-books_3.1-1_arm.deb                2006-12-18 17:00  1.6M  
[   ] acl2-books_3.1-1_hppa.deb               2006-12-12 05:02  7.4M  
[   ] acl2-books_3.1-1_i386.deb               2006-12-04 19:47  1.5M  
[   ] acl2-books_3.1-1_ia64.deb               2006-12-05 15:32  2.8M  
[   ] acl2-books_3.1-1_m68k.deb               2007-02-12 07:02  1.6M  
[   ] acl2-books_3.1-1_mips.deb               2006-12-12 07:02  2.0M  
[   ] acl2-books_3.1-1_mipsel.deb             2007-01-08 09:32  1.9M  
[   ] acl2-books_3.1-1_powerpc.deb            2006-12-05 10:32  2.2M  
[   ] acl2-books_3.1-1_s390.deb               2006-12-05 15:02  1.7M  
[   ] acl2-books_3.1-1_sparc.deb              2006-12-31 18:32  1.8M  
[   ] acl2-books_4.0-3_amd64.deb              2010-07-09 22:32   37M  
[   ] acl2-books_4.0-3_armel.deb              2010-07-11 18:17   33M  
[   ] acl2-books_4.0-3_i386.deb               2010-07-09 18:02   32M  
[   ] acl2-books_4.0-3_ia64.deb               2010-07-10 12:17   40M  
[   ] acl2-books_4.0-3_kfreebsd-amd64.deb     2010-07-10 00:17   37M  
[   ] acl2-books_4.0-3_kfreebsd-i386.deb      2010-07-10 00:32   32M  
[   ] acl2-books_4.0-3_mips.deb               2010-07-23 15:32   37M  
[   ] acl2-books_4.0-3_mipsel.deb             2010-07-19 16:47   13M  
[   ] acl2-books_4.0-3_powerpc.deb            2010-07-19 21:47   42M  
[   ] acl2-books_4.0-3_s390.deb               2010-07-10 10:47   40M  
[   ] acl2-books_4.0-3_sparc.deb              2010-07-17 15:47   35M  
[   ] acl2-books_4.3-3_amd64.deb              2012-04-21 01:02   15M  
[   ] acl2-books_4.3-3_armel.deb              2012-04-22 03:47   36M  
[   ] acl2-books_4.3-3_armhf.deb              2012-04-21 23:17   36M  
[   ] acl2-books_4.3-3_i386.deb               2012-04-20 20:38   13M  
[   ] acl2-books_4.3-3_ia64.deb               2012-04-23 15:47   18M  
[   ] acl2-books_4.3-3_kfreebsd-amd64.deb     2012-04-21 13:32   15M  
[   ] acl2-books_4.3-3_kfreebsd-i386.deb      2012-04-21 02:02   13M  
[   ] acl2-books_4.3-3_mips.deb               2012-04-21 21:47   16M  
[   ] acl2-books_4.3-3_mipsel.deb             2012-04-26 22:49   15M  
[   ] acl2-books_4.3-3_powerpc.deb            2012-04-21 02:47   15M  
[   ] acl2-books_4.3-3_s390.deb               2012-04-21 00:17   13M  
[   ] acl2-books_4.3-3_s390x.deb              2012-04-21 09:47   15M  
[   ] acl2-books_4.3-3_sparc.deb              2012-04-22 00:02   15M  
[   ] acl2-books_6.5-2_amd64.deb              2014-09-08 15:35   22M  
[   ] acl2-books_6.5-2_arm64.deb              2014-09-17 00:00   22M  
[   ] acl2-books_6.5-2_armel.deb              2014-09-09 12:25   65M  
[   ] acl2-books_6.5-2_armhf.deb              2014-09-12 11:12   67M  
[   ] acl2-books_6.5-2_i386.deb               2014-09-08 22:44   21M  
[   ] acl2-books_6.5-2_kfreebsd-amd64.deb     2014-09-09 07:43   22M  
[   ] acl2-books_6.5-2_kfreebsd-i386.deb      2014-09-09 11:04   18M  
[   ] acl2-books_6.5-2_mips.deb               2014-10-03 00:44   20M  
[   ] acl2-books_6.5-2_mipsel.deb             2014-09-28 21:37   20M  
[   ] acl2-books_6.5-2_powerpc.deb            2014-09-08 18:57   18M  
[   ] acl2-books_6.5-2_ppc64el.deb            2014-09-09 05:07   19M  
[   ] acl2-books_6.5-2_s390x.deb              2014-09-09 01:46   20M  
[   ] acl2-books_6.5-2~bpo70+1_amd64.deb      2015-01-14 16:26   47M  
[   ] acl2-books_7.2dfsg-3_amd64.deb          2016-10-17 15:35  103M  
[   ] acl2-books_7.2dfsg-3_arm64.deb          2016-10-18 06:59  104M  
[   ] acl2-books_7.2dfsg-3_armel.deb          2016-10-19 06:29   86M  
[   ] acl2-books_7.2dfsg-3_armhf.deb          2016-10-19 02:33   92M  
[   ] acl2-books_7.2dfsg-3_i386.deb           2016-10-18 00:35   86M  
[   ] acl2-books_7.2dfsg-3_mips.deb           2016-10-18 16:12   71M  
[   ] acl2-books_7.2dfsg-3_mips64el.deb       2016-10-20 01:31  108M  
[   ] acl2-books_7.2dfsg-3_mipsel.deb         2016-10-19 15:45   74M  
[   ] acl2-books_7.2dfsg-3_ppc64el.deb        2016-10-17 23:34   99M  
[   ] acl2-books_7.2dfsg-3_s390x.deb          2016-10-18 08:30  102M  
[   ] acl2-books_8.0dfsg-1+b1_armel.deb       2019-02-14 13:00  127M  
[   ] acl2-books_8.0dfsg-1_amd64.deb          2018-01-13 13:52  132M  
[   ] acl2-books_8.0dfsg-1_arm64.deb          2018-01-14 02:47  135M  
[   ] acl2-books_8.0dfsg-1_armhf.deb          2018-01-15 08:46  120M  
[   ] acl2-books_8.0dfsg-1_i386.deb           2018-01-13 21:26  111M  
[   ] acl2-books_8.0dfsg-1_mips.deb           2018-01-16 06:15  126M  
[   ] acl2-books_8.0dfsg-1_mips64el.deb       2018-01-16 03:44  140M  
[   ] acl2-books_8.0dfsg-1_mipsel.deb         2018-01-16 05:14  131M  
[   ] acl2-books_8.0dfsg-1_ppc64el.deb        2018-01-13 20:26  130M  
[   ] acl2-books_8.0dfsg-1_s390x.deb          2018-01-13 20:41  122M  
[   ] acl2-doc_2.9-2_all.deb                  2004-11-11 03:02  1.7M  
[   ] acl2-doc_3.1-1_all.deb                  2006-12-04 19:47  1.9M  
[   ] acl2-doc_4.0-3_all.deb                  2010-07-09 18:02  2.7M  
[   ] acl2-doc_4.3-3_all.deb                  2012-04-20 20:38  354K  
[   ] acl2-doc_6.5-2_all.deb                  2014-09-08 15:35  1.6M  
[   ] acl2-doc_6.5-2~bpo70+1_all.deb          2015-01-14 16:26  2.2M  
[   ] acl2-doc_7.2dfsg-3_all.deb              2016-10-17 15:35  372K  
[   ] acl2-doc_8.0dfsg-1_all.deb              2018-01-13 13:52  392K  
[   ] acl2-emacs_2.9-2_all.deb                2005-04-30 12:19   48K  
[   ] acl2-emacs_3.1-1_all.deb                2006-12-04 19:47   49K  
[   ] acl2-emacs_4.0-3_all.deb                2010-07-09 18:02   57K  
[   ] acl2-emacs_4.3-3_all.deb                2012-04-20 20:38   59K  
[   ] acl2-emacs_6.5-2_all.deb                2014-09-08 15:35   59K  
[   ] acl2-emacs_6.5-2~bpo70+1_all.deb        2015-01-14 16:26   71K  
[   ] acl2-emacs_7.2dfsg-3_all.deb            2016-10-17 15:35   63K  
[   ] acl2-emacs_8.0dfsg-1_all.deb            2018-01-13 13:52   66K  
[   ] acl2-infix-source_2.9-2_all.deb         2004-11-11 03:02   82K  
[   ] acl2-infix-source_3.1-1_all.deb         2006-12-04 19:47   83K  
[   ] acl2-infix-source_4.0-3_all.deb         2010-07-09 18:02   87K  
[   ] acl2-infix-source_4.3-3_all.deb         2012-04-20 20:38   89K  
[   ] acl2-infix-source_6.5-2_all.deb         2014-09-08 15:35   78K  
[   ] acl2-infix-source_6.5-2~bpo70+1_all.deb 2015-01-14 16:26   90K  
[   ] acl2-infix-source_7.2dfsg-3_all.deb     2016-10-17 15:35   77K  
[   ] acl2-infix-source_8.0dfsg-1_all.deb     2018-01-13 13:52   77K  
[   ] acl2-infix_2.9-2_alpha.deb              2004-11-11 16:32  285K  
[   ] acl2-infix_2.9-2_arm.deb                2004-11-15 00:17  204K  
[   ] acl2-infix_2.9-2_hppa.deb               2004-11-25 01:47  382K  
[   ] acl2-infix_2.9-2_i386.deb               2004-11-11 03:02  177K  
[   ] acl2-infix_2.9-2_ia64.deb               2004-11-25 01:47  344K  
[   ] acl2-infix_2.9-2_m68k.deb               2004-11-16 09:02  174K  
[   ] acl2-infix_2.9-2_mips.deb               2004-11-16 17:47  251K  
[   ] acl2-infix_2.9-2_mipsel.deb             2004-11-12 19:32  239K  
[   ] acl2-infix_2.9-2_powerpc.deb            2004-11-11 16:32  307K  
[   ] acl2-infix_2.9-2_s390.deb               2004-11-11 10:32  178K  
[   ] acl2-infix_2.9-2_sparc.deb              2004-11-28 16:32  249K  
[   ] acl2-infix_3.1-1_alpha.deb              2006-12-05 10:32  251K  
[   ] acl2-infix_3.1-1_amd64.deb              2006-12-04 21:47  194K  
[   ] acl2-infix_3.1-1_arm.deb                2006-12-18 17:00  186K  
[   ] acl2-infix_3.1-1_hppa.deb               2006-12-12 05:02  408K  
[   ] acl2-infix_3.1-1_i386.deb               2006-12-04 19:47  168K  
[   ] acl2-infix_3.1-1_ia64.deb               2006-12-05 15:32  297K  
[   ] acl2-infix_3.1-1_m68k.deb               2007-02-12 07:02  191K  
[   ] acl2-infix_3.1-1_mips.deb               2006-12-12 07:02  197K  
[   ] acl2-infix_3.1-1_mipsel.deb             2007-01-08 09:32  192K  
[   ] acl2-infix_3.1-1_powerpc.deb            2006-12-05 10:32  243K  
[   ] acl2-infix_3.1-1_s390.deb               2006-12-05 15:02  162K  
[   ] acl2-infix_3.1-1_sparc.deb              2006-12-31 18:32  218K  
[   ] acl2-infix_4.0-3_amd64.deb              2010-07-09 22:32  420K  
[   ] acl2-infix_4.0-3_armel.deb              2010-07-11 18:17  384K  
[   ] acl2-infix_4.0-3_i386.deb               2010-07-09 18:02  381K  
[   ] acl2-infix_4.0-3_ia64.deb               2010-07-10 12:17  560K  
[   ] acl2-infix_4.0-3_kfreebsd-amd64.deb     2010-07-10 00:17  421K  
[   ] acl2-infix_4.0-3_kfreebsd-i386.deb      2010-07-10 00:32  380K  
[   ] acl2-infix_4.0-3_mips.deb               2010-07-23 15:32  427K  
[   ] acl2-infix_4.0-3_mipsel.deb             2010-07-19 16:47  187K  
[   ] acl2-infix_4.0-3_powerpc.deb            2010-07-19 21:47  511K  
[   ] acl2-infix_4.0-3_s390.deb               2010-07-10 10:47  449K  
[   ] acl2-infix_4.0-3_sparc.deb              2010-07-17 15:47  442K  
[   ] acl2-infix_4.3-3_amd64.deb              2012-04-21 01:02  199K  
[   ] acl2-infix_4.3-3_armel.deb              2012-04-22 03:47  369K  
[   ] acl2-infix_4.3-3_armhf.deb              2012-04-21 23:17  401K  
[   ] acl2-infix_4.3-3_i386.deb               2012-04-20 20:38  180K  
[   ] acl2-infix_4.3-3_ia64.deb               2012-04-23 15:47  256K  
[   ] acl2-infix_4.3-3_kfreebsd-amd64.deb     2012-04-21 13:32  201K  
[   ] acl2-infix_4.3-3_kfreebsd-i386.deb      2012-04-21 02:02  178K  
[   ] acl2-infix_4.3-3_mips.deb               2012-04-21 21:47  226K  
[   ] acl2-infix_4.3-3_mipsel.deb             2012-04-26 22:49  214K  
[   ] acl2-infix_4.3-3_powerpc.deb            2012-04-21 02:47  218K  
[   ] acl2-infix_4.3-3_s390.deb               2012-04-21 00:17  167K  
[   ] acl2-infix_4.3-3_s390x.deb              2012-04-21 09:47  190K  
[   ] acl2-infix_4.3-3_sparc.deb              2012-04-22 00:02  212K  
[   ] acl2-infix_6.5-2_amd64.deb              2014-09-08 15:35  147K  
[   ] acl2-infix_6.5-2_arm64.deb              2014-09-17 00:00  149K  
[   ] acl2-infix_6.5-2_armel.deb              2014-09-09 12:25  403K  
[   ] acl2-infix_6.5-2_armhf.deb              2014-09-12 11:12  424K  
[   ] acl2-infix_6.5-2_i386.deb               2014-09-08 22:44  148K  
[   ] acl2-infix_6.5-2_kfreebsd-amd64.deb     2014-09-09 07:43  145K  
[   ] acl2-infix_6.5-2_kfreebsd-i386.deb      2014-09-09 11:04  147K  
[   ] acl2-infix_6.5-2_mips.deb               2014-10-03 00:44  145K  
[   ] acl2-infix_6.5-2_mipsel.deb             2014-09-28 21:37  146K  
[   ] acl2-infix_6.5-2_powerpc.deb            2014-09-08 18:57  136K  
[   ] acl2-infix_6.5-2_ppc64el.deb            2014-09-09 05:07  152K  
[   ] acl2-infix_6.5-2_s390x.deb              2014-09-09 01:46  138K  
[   ] acl2-infix_6.5-2~bpo70+1_amd64.deb      2015-01-14 16:26  219K  
[   ] acl2-infix_7.2dfsg-3_amd64.deb          2016-10-17 15:35  410K  
[   ] acl2-infix_7.2dfsg-3_arm64.deb          2016-10-18 06:59  420K  
[   ] acl2-infix_7.2dfsg-3_armel.deb          2016-10-19 06:29  382K  
[   ] acl2-infix_7.2dfsg-3_armhf.deb          2016-10-19 02:33  401K  
[   ] acl2-infix_7.2dfsg-3_i386.deb           2016-10-18 00:35  381K  
[   ] acl2-infix_7.2dfsg-3_mips.deb           2016-10-18 16:12  408K  
[   ] acl2-infix_7.2dfsg-3_mips64el.deb       2016-10-20 01:31  424K  
[   ] acl2-infix_7.2dfsg-3_mipsel.deb         2016-10-19 15:45  426K  
[   ] acl2-infix_7.2dfsg-3_ppc64el.deb        2016-10-17 23:34  413K  
[   ] acl2-infix_7.2dfsg-3_s390x.deb          2016-10-18 08:30  408K  
[   ] acl2-infix_8.0dfsg-1+b1_armel.deb       2019-02-14 13:00  432K  
[   ] acl2-infix_8.0dfsg-1_amd64.deb          2018-01-13 13:52  422K  
[   ] acl2-infix_8.0dfsg-1_arm64.deb          2018-01-14 02:47  432K  
[   ] acl2-infix_8.0dfsg-1_armhf.deb          2018-01-15 08:46  407K  
[   ] acl2-infix_8.0dfsg-1_i386.deb           2018-01-13 21:26  390K  
[   ] acl2-infix_8.0dfsg-1_mips.deb           2018-01-16 06:15  421K  
[   ] acl2-infix_8.0dfsg-1_mips64el.deb       2018-01-16 03:44  440K  
[   ] acl2-infix_8.0dfsg-1_mipsel.deb         2018-01-16 05:14  442K  
[   ] acl2-infix_8.0dfsg-1_ppc64el.deb        2018-01-13 20:26  434K  
[   ] acl2-infix_8.0dfsg-1_s390x.deb          2018-01-13 20:41  397K  
[   ] acl2-source_2.9-2_all.deb               2004-11-11 03:02  2.0M  
[   ] acl2-source_3.1-1_all.deb               2006-12-04 19:47  2.2M  
[   ] acl2-source_4.0-3_all.deb               2010-07-09 18:02  2.9M  
[   ] acl2-source_4.3-3_all.deb               2012-04-20 20:38  3.1M  
[   ] acl2-source_6.5-2_all.deb               2014-09-08 15:35  2.6M  
[   ] acl2-source_6.5-2~bpo70+1_all.deb       2015-01-14 16:26  3.7M  
[   ] acl2-source_7.2dfsg-3_all.deb           2016-10-17 15:35  2.8M  
[   ] acl2-source_8.0dfsg-1_all.deb           2018-01-13 13:52  2.9M  
[   ] acl2_2.9-2.diff.gz                      2004-11-11 03:02   18K  
[TXT] acl2_2.9-2.dsc                          2005-04-30 12:19  794   
[   ] acl2_2.9-2_alpha.deb                    2004-11-11 16:32   15M  
[   ] acl2_2.9-2_arm.deb                      2004-11-15 00:17   14M  
[   ] acl2_2.9-2_hppa.deb                     2004-11-25 01:47   14M  
[   ] acl2_2.9-2_i386.deb                     2004-11-11 03:02   13M  
[   ] acl2_2.9-2_ia64.deb                     2004-11-25 01:47   16M  
[   ] acl2_2.9-2_m68k.deb                     2004-11-16 09:02   13M  
[   ] acl2_2.9-2_mips.deb                     2004-11-16 17:47   14M  
[   ] acl2_2.9-2_mipsel.deb                   2004-11-12 19:32   13M  
[   ] acl2_2.9-2_powerpc.deb                  2004-11-11 16:32   15M  
[   ] acl2_2.9-2_s390.deb                     2004-11-11 10:32   14M  
[   ] acl2_2.9-2_sparc.deb                    2004-11-28 16:32   21M  
[   ] acl2_2.9.orig.tar.gz                    2005-04-30 12:19  5.0M  
[   ] acl2_3.1-1.diff.gz                      2006-12-04 19:47   13K  
[TXT] acl2_3.1-1.dsc                          2006-12-04 19:47  822   
[   ] acl2_3.1-1_alpha.deb                    2006-12-05 10:32   16M  
[   ] acl2_3.1-1_amd64.deb                    2006-12-04 21:47   18M  
[   ] acl2_3.1-1_arm.deb                      2006-12-18 17:00   16M  
[   ] acl2_3.1-1_hppa.deb                     2006-12-12 05:02   15M  
[   ] acl2_3.1-1_i386.deb                     2006-12-04 19:47   15M  
[   ] acl2_3.1-1_ia64.deb                     2006-12-05 15:32   17M  
[   ] acl2_3.1-1_m68k.deb                     2007-02-12 07:02   15M  
[   ] acl2_3.1-1_mips.deb                     2006-12-12 07:02   15M  
[   ] acl2_3.1-1_mipsel.deb                   2007-01-08 09:32   14M  
[   ] acl2_3.1-1_powerpc.deb                  2006-12-05 10:32   17M  
[   ] acl2_3.1-1_s390.deb                     2006-12-05 15:02   16M  
[   ] acl2_3.1-1_sparc.deb                    2006-12-31 18:32   17M  
[   ] acl2_3.1.orig.tar.gz                    2006-12-04 19:47  6.4M  
[   ] acl2_4.0-3.diff.gz                      2010-07-09 18:02   16K  
[TXT] acl2_4.0-3.dsc                          2010-07-09 18:02  1.1K  
[   ] acl2_4.0-3_amd64.deb                    2010-07-09 22:32   25M  
[   ] acl2_4.0-3_armel.deb                    2010-07-11 18:17   22M  
[   ] acl2_4.0-3_i386.deb                     2010-07-09 18:02   21M  
[   ] acl2_4.0-3_ia64.deb                     2010-07-10 12:17   24M  
[   ] acl2_4.0-3_kfreebsd-amd64.deb           2010-07-10 00:17   25M  
[   ] acl2_4.0-3_kfreebsd-i386.deb            2010-07-10 00:32   21M  
[   ] acl2_4.0-3_mips.deb                     2010-07-23 15:32   22M  
[   ] acl2_4.0-3_mipsel.deb                   2010-07-19 16:47   21M  
[   ] acl2_4.0-3_powerpc.deb                  2010-07-19 21:47   24M  
[   ] acl2_4.0-3_s390.deb                     2010-07-10 10:47   24M  
[   ] acl2_4.0-3_sparc.deb                    2010-07-17 15:47   26M  
[   ] acl2_4.0.orig.tar.gz                    2010-07-08 05:47   11M  
[   ] acl2_4.3-3.debian.tar.gz                2012-04-20 20:38   18K  
[TXT] acl2_4.3-3.dsc                          2012-04-20 20:38  1.5K  
[   ] acl2_4.3-3_amd64.deb                    2012-04-21 01:02   27M  
[   ] acl2_4.3-3_armel.deb                    2012-04-22 03:47   23M  
[   ] acl2_4.3-3_armhf.deb                    2012-04-21 23:17   22M  
[   ] acl2_4.3-3_i386.deb                     2012-04-20 20:38   23M  
[   ] acl2_4.3-3_ia64.deb                     2012-04-23 15:47   25M  
[   ] acl2_4.3-3_kfreebsd-amd64.deb           2012-04-21 13:32   27M  
[   ] acl2_4.3-3_kfreebsd-i386.deb            2012-04-21 02:02   23M  
[   ] acl2_4.3-3_mips.deb                     2012-04-21 21:47   24M  
[   ] acl2_4.3-3_mipsel.deb                   2012-04-26 22:49   23M  
[   ] acl2_4.3-3_powerpc.deb                  2012-04-21 02:47   25M  
[   ] acl2_4.3-3_s390.deb                     2012-04-21 00:17   25M  
[   ] acl2_4.3-3_s390x.deb                    2012-04-21 09:47   29M  
[   ] acl2_4.3-3_sparc.deb                    2012-04-22 00:02   27M  
[   ] acl2_4.3.orig.tar.gz                    2012-01-11 19:47   15M  
[   ] acl2_6.5-2.debian.tar.xz                2014-09-08 15:35  125K  
[TXT] acl2_6.5-2.dsc                          2014-09-08 15:35  1.8K  
[   ] acl2_6.5-2_amd64.deb                    2014-09-08 15:35   16M  
[   ] acl2_6.5-2_arm64.deb                    2014-09-17 00:00   14M  
[   ] acl2_6.5-2_armel.deb                    2014-09-09 12:25   13M  
[   ] acl2_6.5-2_armhf.deb                    2014-09-12 11:12   14M  
[   ] acl2_6.5-2_i386.deb                     2014-09-08 22:44   13M  
[   ] acl2_6.5-2_kfreebsd-amd64.deb           2014-09-09 07:43   16M  
[   ] acl2_6.5-2_kfreebsd-i386.deb            2014-09-09 11:04   13M  
[   ] acl2_6.5-2_mips.deb                     2014-10-03 00:44   13M  
[   ] acl2_6.5-2_mipsel.deb                   2014-09-28 21:37   13M  
[   ] acl2_6.5-2_powerpc.deb                  2014-09-08 18:57   13M  
[   ] acl2_6.5-2_ppc64el.deb                  2014-09-09 05:07   14M  
[   ] acl2_6.5-2_s390x.deb                    2014-09-09 01:46   15M  
[   ] acl2_6.5-2~bpo70+1.debian.tar.gz        2015-01-14 16:26  160K  
[TXT] acl2_6.5-2~bpo70+1.dsc                  2015-01-14 16:26  2.3K  
[   ] acl2_6.5-2~bpo70+1_amd64.deb            2015-01-14 16:26   24M  
[   ] acl2_6.5.orig-books.tar.gz              2014-08-17 16:21   14M  
[   ] acl2_6.5.orig.tar.gz                    2014-08-17 16:21  5.9M  
[   ] acl2_7.2dfsg-3.debian.tar.xz            2016-10-17 15:35  199K  
[TXT] acl2_7.2dfsg-3.dsc                      2016-10-17 15:35  2.2K  
[   ] acl2_7.2dfsg-3_amd64.deb                2016-10-17 15:35   17M  
[   ] acl2_7.2dfsg-3_arm64.deb                2016-10-18 06:59   15M  
[   ] acl2_7.2dfsg-3_armel.deb                2016-10-19 06:29   14M  
[   ] acl2_7.2dfsg-3_armhf.deb                2016-10-19 02:33   14M  
[   ] acl2_7.2dfsg-3_i386.deb                 2016-10-18 00:35   15M  
[   ] acl2_7.2dfsg-3_mips.deb                 2016-10-18 16:12   15M  
[   ] acl2_7.2dfsg-3_mips64el.deb             2016-10-20 01:31   15M  
[   ] acl2_7.2dfsg-3_mipsel.deb               2016-10-19 15:45   15M  
[   ] acl2_7.2dfsg-3_ppc64el.deb              2016-10-17 23:34   16M  
[   ] acl2_7.2dfsg-3_s390x.deb                2016-10-18 08:30   15M  
[   ] acl2_7.2dfsg.orig.tar.gz                2016-04-14 14:54   61M  
[   ] acl2_8.0dfsg-1+b1_armel.deb             2019-02-14 13:00   16M  
[   ] acl2_8.0dfsg-1.debian.tar.xz            2018-01-13 13:52  200K  
[TXT] acl2_8.0dfsg-1.dsc                      2018-01-13 13:52  2.2K  
[   ] acl2_8.0dfsg-1_amd64.deb                2018-01-13 13:52   19M  
[   ] acl2_8.0dfsg-1_arm64.deb                2018-01-14 02:47   17M  
[   ] acl2_8.0dfsg-1_armhf.deb                2018-01-15 08:46   15M  
[   ] acl2_8.0dfsg-1_i386.deb                 2018-01-13 21:26   16M  
[   ] acl2_8.0dfsg-1_mips.deb                 2018-01-16 06:15   17M  
[   ] acl2_8.0dfsg-1_mips64el.deb             2018-01-16 03:44   16M  
[   ] acl2_8.0dfsg-1_mipsel.deb               2018-01-16 05:14   17M  
[   ] acl2_8.0dfsg-1_ppc64el.deb              2018-01-13 20:26   19M  
[   ] acl2_8.0dfsg-1_s390x.deb                2018-01-13 20:41   17M  
[   ] acl2_8.0dfsg.orig.tar.gz                2018-01-13 13:52   74M
Universidade do Porto | Helpdesk