Index of /ubuntu/packages/pool/universe/a/acl2/


../
acl2-books-certs_2.9-2_all.deb                     12-Nov-2004 09:00    290K
acl2-books-certs_2.9.3-5build1_all.deb             08-Oct-2005 19:55    367K
acl2-books-certs_2.9.3-7_all.deb                   27-Oct-2005 23:20    367K
acl2-books-certs_3.0-1_all.deb                     21-Jun-2006 19:10    665K
acl2-books-certs_3.1-1_all.deb                     07-Dec-2006 04:04      5M
acl2-books-certs_3.3-1.1_all.deb                   11-May-2008 21:04      1M
acl2-books-certs_3.4-1_all.deb                     05-Nov-2008 10:04      1M
acl2-books-certs_3.4-2_all.deb                     28-Apr-2009 23:05      1M
acl2-books-certs_3.6-4_all.deb                     16-Feb-2010 08:05      2M
acl2-books-certs_4.0-3_all.deb                     08-Sep-2010 22:05      2M
acl2-books-certs_4.1-5_all.deb                     09-Nov-2010 02:04      2M
acl2-books-certs_4.2-1_all.deb                     02-Sep-2011 03:03      2M
acl2-books-certs_4.3-3_all.deb                     18-May-2012 14:33      4M
acl2-books-certs_6.0-2_all.deb                     14-Jan-2013 07:33      5M
acl2-books-certs_6.2-6_all.deb                     31-Jul-2013 14:38     10M
acl2-books-certs_6.3-5_all.deb                     24-Oct-2013 16:36     11M
acl2-books-certs_6.4-4_all.deb                     18-May-2014 12:50      4M
acl2-books-certs_7.0-1_all.deb                     27-Jan-2015 14:50     66M
acl2-books-certs_7.1-1_all.deb                     27-Jun-2015 13:48     13M
acl2-books-certs_7.2dfsg-2_all.deb                 05-May-2016 06:24     52M
acl2-books-certs_8.0dfsg-1_all.deb                 14-Jan-2018 03:08     70M
acl2-books-certs_8.0dfsg-1build1_all.deb           15-Jan-2019 18:13     70M
acl2-books-certs_8.1dfsg-3_all.deb                 21-Apr-2019 19:43     77M
acl2-books-certs_8.2dfsg-3build1_all.deb           23-Mar-2020 13:24     66M
acl2-books-certs_8.3dfsg-1_all.deb                 24-Aug-2020 12:19    5868
acl2-books-certs_8.3dfsg-2_all.deb                 28-Jan-2021 07:19    139M
acl2-books-certs_8.4dfsg-2_all.deb                 19-Dec-2021 01:10    221M
acl2-books-certs_8.5dfsg-1_all.deb                 28-Jul-2022 09:29    220M
acl2-books-certs_8.5dfsg-5_all.deb                 17-Jan-2023 02:29    216M
acl2-books-certs_8.5dfsg-5build3_all.deb           02-Apr-2024 08:03    216M
acl2-books-certs_8.5dfsg-6_all.deb                 29-Jul-2024 04:20     79M
acl2-books-source_2.9-2_all.deb                    12-Nov-2004 09:00      1M
acl2-books-source_2.9.3-5build1_all.deb            08-Oct-2005 19:55      1M
acl2-books-source_2.9.3-7_all.deb                  27-Oct-2005 23:20      1M
acl2-books-source_3.0-1_all.deb                    21-Jun-2006 19:10      2M
acl2-books-source_3.1-1_all.deb                    07-Dec-2006 04:04      2M
acl2-books-source_3.3-1.1_all.deb                  11-May-2008 21:04      2M
acl2-books-source_3.4-1_all.deb                    05-Nov-2008 10:04      3M
acl2-books-source_3.4-2_all.deb                    28-Apr-2009 23:05      3M
acl2-books-source_3.6-4_all.deb                    16-Feb-2010 08:05      5M
acl2-books-source_4.0-3_all.deb                    08-Sep-2010 22:05      5M
acl2-books-source_4.1-5_all.deb                    09-Nov-2010 02:04      5M
acl2-books-source_4.2-1_all.deb                    02-Sep-2011 03:03      5M
acl2-books-source_4.3-3_all.deb                    18-May-2012 14:33      6M
acl2-books-source_6.0-2_all.deb                    14-Jan-2013 07:33      7M
acl2-books-source_6.2-6_all.deb                    31-Jul-2013 14:38      7M
acl2-books-source_6.3-5_all.deb                    24-Oct-2013 16:36      9M
acl2-books-source_6.4-4_all.deb                    18-May-2014 12:50      6M
acl2-books-source_7.0-1_all.deb                    27-Jan-2015 14:50      8M
acl2-books-source_7.1-1_all.deb                    27-Jun-2015 13:48     10M
acl2-books-source_7.2dfsg-2_all.deb                05-May-2016 06:24     11M
acl2-books-source_8.0dfsg-1_all.deb                14-Jan-2018 03:08     12M
acl2-books-source_8.0dfsg-1build1_all.deb          15-Jan-2019 18:13     12M
acl2-books-source_8.1dfsg-3_all.deb                21-Apr-2019 19:43     13M
acl2-books-source_8.2dfsg-3build1_all.deb          23-Mar-2020 13:24     14M
acl2-books-source_8.3dfsg-1_all.deb                24-Aug-2020 12:19     19M
acl2-books-source_8.3dfsg-2_all.deb                28-Jan-2021 07:19     19M
acl2-books-source_8.4dfsg-2_all.deb                19-Dec-2021 01:10     21M
acl2-books-source_8.5dfsg-1_all.deb                28-Jul-2022 09:29     23M
acl2-books-source_8.5dfsg-5_all.deb                17-Jan-2023 02:29     23M
acl2-books-source_8.5dfsg-5build3_all.deb          02-Apr-2024 08:02     23M
acl2-books-source_8.5dfsg-6_all.deb                29-Jul-2024 04:20     23M
acl2-books_2.8-4_amd64.deb                         20-Aug-2004 02:30      1M
acl2-books_2.8-4_i386.deb                          14-Aug-2004 06:30    855K
acl2-books_2.9-2_amd64.deb                         12-Nov-2004 09:15      1M
acl2-books_2.9-2_i386.deb                          12-Nov-2004 09:00    814K
acl2-books_2.9.3-5build1_i386.deb                  08-Oct-2005 19:55    813K
acl2-books_2.9.3-7_amd64.deb                       29-Oct-2005 02:45      1M
acl2-books_2.9.3-7_i386.deb                        27-Oct-2005 23:20    813K
acl2-books_3.0-1_amd64.deb                         21-Jun-2006 17:10      2M
acl2-books_3.0-1_i386.deb                          21-Jun-2006 19:10      1M
acl2-books_3.1-1_amd64.deb                         07-Dec-2006 18:04      2M
acl2-books_3.1-1_i386.deb                          07-Dec-2006 04:04      2M
acl2-books_3.3-1.1_amd64.deb                       11-May-2008 06:04     21M
acl2-books_3.3-1.1_i386.deb                        11-May-2008 21:04     18M
acl2-books_3.3-1ubuntu1_amd64.deb                  17-Feb-2008 02:03      6M
acl2-books_3.4-1_amd64.deb                         06-Nov-2008 00:10     24M
acl2-books_3.4-1_i386.deb                          05-Nov-2008 10:05     20M
acl2-books_3.4-2_amd64.deb                         29-Apr-2009 01:04     23M
acl2-books_3.4-2_i386.deb                          28-Apr-2009 23:06     20M
acl2-books_3.6-4_amd64.deb                         16-Feb-2010 08:05     33M
acl2-books_3.6-4_i386.deb                          16-Feb-2010 08:05     29M
acl2-books_4.0-3_amd64.deb                         07-Sep-2010 05:05     37M
acl2-books_4.0-3_i386.deb                          08-Sep-2010 22:05     32M
acl2-books_4.1-5_amd64.deb                         09-Nov-2010 03:04     39M
acl2-books_4.1-5_i386.deb                          09-Nov-2010 02:04     34M
acl2-books_4.2-1_amd64.deb                         02-Sep-2011 04:04     39M
acl2-books_4.2-1_i386.deb                          02-Sep-2011 03:04     34M
acl2-books_4.3-3_amd64.deb                         18-May-2012 16:34     15M
acl2-books_4.3-3_i386.deb                          18-May-2012 14:33     13M
acl2-books_6.0-2_amd64.deb                         14-Jan-2013 08:03     18M
acl2-books_6.0-2_i386.deb                          14-Jan-2013 07:33     16M
acl2-books_6.2-6_amd64.deb                         31-Jul-2013 14:53     34M
acl2-books_6.2-6_i386.deb                          31-Jul-2013 14:38     30M
acl2-books_6.3-5_amd64.deb                         24-Oct-2013 16:36     40M
acl2-books_6.3-5_i386.deb                          24-Oct-2013 16:36     36M
acl2-books_6.4-4_amd64.deb                         18-May-2014 12:50     19M
acl2-books_6.4-4_i386.deb                          18-May-2014 12:50     17M
acl2-books_7.0-1_amd64.deb                         27-Jan-2015 14:50     24M
acl2-books_7.0-1_i386.deb                          27-Jan-2015 17:06     23M
acl2-books_7.1-1_amd64.deb                         27-Jun-2015 13:48     19M
acl2-books_7.1-1_i386.deb                          02-Jun-2015 02:43     18M
acl2-books_7.2dfsg-2_amd64.deb                     05-May-2016 06:24    102M
acl2-books_7.2dfsg-2_i386.deb                      05-May-2016 07:09     88M
acl2-books_8.0dfsg-1_amd64.deb                     14-Jan-2018 03:08    132M
acl2-books_8.0dfsg-1_i386.deb                      14-Jan-2018 04:49    114M
acl2-books_8.0dfsg-1build1_amd64.deb               15-Jan-2019 18:13    145M
acl2-books_8.0dfsg-1build1_i386.deb                15-Jan-2019 16:47    127M
acl2-books_8.1dfsg-3_amd64.deb                     21-Apr-2019 19:43    156M
acl2-books_8.1dfsg-3_i386.deb                      21-Apr-2019 23:31    139M
acl2-books_8.2dfsg-3build1_amd64.deb               23-Mar-2020 13:24    163M
acl2-books_8.3dfsg-1_amd64.deb                     24-Aug-2020 12:19    4268
acl2-books_8.3dfsg-2_amd64.deb                     28-Jan-2021 07:19    241M
acl2-books_8.4dfsg-2_amd64.deb                     19-Dec-2021 01:09    338M
acl2-books_8.5dfsg-1_amd64.deb                     28-Jul-2022 09:29    335M
acl2-books_8.5dfsg-5_amd64.deb                     17-Jan-2023 02:29    329M
acl2-books_8.5dfsg-5build3_amd64.deb               02-Apr-2024 08:03    331M
acl2-books_8.5dfsg-6_amd64.deb                     29-Jul-2024 04:20    171M
acl2-doc_2.9-2_all.deb                             12-Nov-2004 09:00      2M
acl2-doc_2.9.3-5build1_all.deb                     08-Oct-2005 19:55      2M
acl2-doc_2.9.3-7_all.deb                           27-Oct-2005 23:20      2M
acl2-doc_3.0-1_all.deb                             21-Jun-2006 19:10      2M
acl2-doc_3.1-1_all.deb                             07-Dec-2006 04:04      2M
acl2-doc_3.3-1.1_all.deb                           11-May-2008 21:04      2M
acl2-doc_3.4-1_all.deb                             05-Nov-2008 10:04      2M
acl2-doc_3.4-2_all.deb                             28-Apr-2009 23:05      2M
acl2-doc_3.6-4_all.deb                             16-Feb-2010 08:05      2M
acl2-doc_4.0-3_all.deb                             08-Sep-2010 22:05      3M
acl2-doc_4.1-5_all.deb                             09-Nov-2010 02:04      3M
acl2-doc_4.2-1_all.deb                             02-Sep-2011 03:03    264K
acl2-doc_4.3-3_all.deb                             18-May-2012 14:33    348K
acl2-doc_6.0-2_all.deb                             14-Jan-2013 07:33      7M
acl2-doc_6.2-6_all.deb                             31-Jul-2013 14:38      7M
acl2-doc_6.3-5_all.deb                             24-Oct-2013 16:36     12M
acl2-doc_6.4-4_all.deb                             18-May-2014 12:50      2M
acl2-doc_7.0-1_all.deb                             27-Jan-2015 14:50    331K
acl2-doc_7.1-1_all.deb                             27-Jun-2015 13:48    353K
acl2-doc_7.2dfsg-2_all.deb                         05-May-2016 06:24    366K
acl2-doc_8.0dfsg-1_all.deb                         14-Jan-2018 03:08    385K
acl2-doc_8.0dfsg-1build1_all.deb                   15-Jan-2019 18:13    385K
acl2-doc_8.1dfsg-3_all.deb                         21-Apr-2019 19:43    396K
acl2-doc_8.2dfsg-3build1_all.deb                   23-Mar-2020 13:24    418K
acl2-doc_8.3dfsg-1_all.deb                         24-Aug-2020 12:18    429K
acl2-doc_8.3dfsg-2_all.deb                         28-Jan-2021 07:19    429K
acl2-doc_8.4dfsg-2_all.deb                         19-Dec-2021 01:09    441K
acl2-doc_8.5dfsg-1_all.deb                         28-Jul-2022 09:29    473K
acl2-doc_8.5dfsg-5_all.deb                         17-Jan-2023 02:29    473K
acl2-doc_8.5dfsg-5build3_all.deb                   02-Apr-2024 08:02    474K
acl2-doc_8.5dfsg-6_all.deb                         29-Jul-2024 04:20    474K
acl2-emacs_2.9-2_all.deb                           12-Nov-2004 09:00     48K
acl2-emacs_2.9.3-5build1_all.deb                   08-Oct-2005 19:55     48K
acl2-emacs_2.9.3-7_all.deb                         27-Oct-2005 23:20     48K
acl2-emacs_3.0-1_all.deb                           21-Jun-2006 19:10     49K
acl2-emacs_3.1-1_all.deb                           07-Dec-2006 04:04     49K
acl2-emacs_3.3-1.1_all.deb                         11-May-2008 21:04     53K
acl2-emacs_3.4-1_all.deb                           05-Nov-2008 10:04     54K
acl2-emacs_3.4-2_all.deb                           28-Apr-2009 23:05     54K
acl2-emacs_3.6-4_all.deb                           16-Feb-2010 08:05     56K
acl2-emacs_4.0-3_all.deb                           08-Sep-2010 22:05     56K
acl2-emacs_4.1-5_all.deb                           09-Nov-2010 02:04     50K
acl2-emacs_4.2-1_all.deb                           02-Sep-2011 03:03     52K
acl2-emacs_4.3-3_all.deb                           18-May-2012 14:33     53K
acl2-emacs_6.0-2_all.deb                           14-Jan-2013 07:33     54K
acl2-emacs_6.2-6_all.deb                           31-Jul-2013 14:38     53K
acl2-emacs_6.3-5_all.deb                           24-Oct-2013 16:36     55K
acl2-emacs_6.4-4_all.deb                           18-May-2014 12:50     53K
acl2-emacs_7.0-1_all.deb                           27-Jan-2015 14:50     54K
acl2-emacs_7.1-1_all.deb                           27-Jun-2015 13:48     55K
acl2-emacs_7.2dfsg-2_all.deb                       05-May-2016 06:24     56K
acl2-emacs_8.0dfsg-1_all.deb                       14-Jan-2018 03:08     59K
acl2-emacs_8.0dfsg-1build1_all.deb                 15-Jan-2019 18:13     59K
acl2-emacs_8.1dfsg-3_all.deb                       21-Apr-2019 19:43     59K
acl2-emacs_8.2dfsg-3build1_all.deb                 23-Mar-2020 13:24     59K
acl2-emacs_8.3dfsg-1_all.deb                       24-Aug-2020 12:19     60K
acl2-emacs_8.3dfsg-2_all.deb                       28-Jan-2021 07:19     60K
acl2-infix-source_2.9-2_all.deb                    12-Nov-2004 09:00     82K
acl2-infix-source_2.9.3-5build1_all.deb            08-Oct-2005 19:55     83K
acl2-infix-source_2.9.3-7_all.deb                  27-Oct-2005 23:20     83K
acl2-infix-source_3.0-1_all.deb                    21-Jun-2006 19:10     83K
acl2-infix-source_3.1-1_all.deb                    07-Dec-2006 04:04     83K
acl2-infix-source_3.3-1.1_all.deb                  11-May-2008 21:04     84K
acl2-infix-source_3.4-1_all.deb                    05-Nov-2008 10:04     84K
acl2-infix-source_3.4-2_all.deb                    28-Apr-2009 23:05     84K
acl2-infix-source_3.6-4_all.deb                    16-Feb-2010 08:05     84K
acl2-infix-source_4.0-3_all.deb                    08-Sep-2010 22:05     85K
acl2-infix-source_4.1-5_all.deb                    09-Nov-2010 02:04     78K
acl2-infix-source_4.2-1_all.deb                    02-Sep-2011 03:03     80K
acl2-infix-source_4.3-3_all.deb                    18-May-2012 14:33     86K
acl2-infix-source_6.0-2_all.deb                    14-Jan-2013 07:33     87K
acl2-infix-source_6.2-6_all.deb                    31-Jul-2013 14:38     86K
acl2-infix-source_6.3-5_all.deb                    24-Oct-2013 16:36     86K
acl2-infix-source_6.4-4_all.deb                    18-May-2014 12:50     70K
acl2-infix-source_7.0-1_all.deb                    27-Jan-2015 14:50     72K
acl2-infix-source_7.1-1_all.deb                    27-Jun-2015 13:48     70K
acl2-infix-source_7.2dfsg-2_all.deb                05-May-2016 06:24     71K
acl2-infix-source_8.0dfsg-1_all.deb                14-Jan-2018 03:08     70K
acl2-infix-source_8.0dfsg-1build1_all.deb          15-Jan-2019 18:13     70K
acl2-infix-source_8.1dfsg-3_all.deb                21-Apr-2019 19:43     70K
acl2-infix-source_8.2dfsg-3build1_all.deb          23-Mar-2020 13:24     70K
acl2-infix-source_8.3dfsg-1_all.deb                24-Aug-2020 12:18     70K
acl2-infix-source_8.3dfsg-2_all.deb                28-Jan-2021 07:19     70K
acl2-infix-source_8.4dfsg-2_all.deb                19-Dec-2021 01:10     72K
acl2-infix-source_8.5dfsg-1_all.deb                28-Jul-2022 09:29     72K
acl2-infix-source_8.5dfsg-5_all.deb                17-Jan-2023 02:29     72K
acl2-infix-source_8.5dfsg-5build3_all.deb          02-Apr-2024 08:02     72K
acl2-infix-source_8.5dfsg-6_all.deb                29-Jul-2024 04:20     72K
acl2-infix_2.8-4_amd64.deb                         20-Aug-2004 02:30    210K
acl2-infix_2.8-4_i386.deb                          14-Aug-2004 06:30    174K
acl2-infix_2.9-2_amd64.deb                         12-Nov-2004 09:15    210K
acl2-infix_2.9-2_i386.deb                          12-Nov-2004 09:00    177K
acl2-infix_2.9.3-5build1_i386.deb                  08-Oct-2005 19:55    165K
acl2-infix_2.9.3-7_amd64.deb                       29-Oct-2005 02:45    198K
acl2-infix_2.9.3-7_i386.deb                        27-Oct-2005 23:20    165K
acl2-infix_3.0-1_amd64.deb                         21-Jun-2006 17:10    196K
acl2-infix_3.0-1_i386.deb                          21-Jun-2006 19:10    162K
acl2-infix_3.1-1_amd64.deb                         07-Dec-2006 18:04    194K
acl2-infix_3.1-1_i386.deb                          07-Dec-2006 04:04    166K
acl2-infix_3.3-1.1_amd64.deb                       11-May-2008 06:04    432K
acl2-infix_3.3-1.1_i386.deb                        11-May-2008 21:04    388K
acl2-infix_3.3-1ubuntu1_amd64.deb                  17-Feb-2008 02:03    195K
acl2-infix_3.4-1_amd64.deb                         06-Nov-2008 00:10    432K
acl2-infix_3.4-1_i386.deb                          05-Nov-2008 10:05    389K
acl2-infix_3.4-2_amd64.deb                         29-Apr-2009 01:04    408K
acl2-infix_3.4-2_i386.deb                          28-Apr-2009 23:05    375K
acl2-infix_3.6-4_amd64.deb                         16-Feb-2010 08:05    421K
acl2-infix_3.6-4_i386.deb                          16-Feb-2010 08:05    379K
acl2-infix_4.0-3_amd64.deb                         07-Sep-2010 05:05    421K
acl2-infix_4.0-3_i386.deb                          08-Sep-2010 22:05    380K
acl2-infix_4.1-5_amd64.deb                         09-Nov-2010 03:04    441K
acl2-infix_4.1-5_i386.deb                          09-Nov-2010 02:04    403K
acl2-infix_4.2-1_amd64.deb                         02-Sep-2011 04:04    438K
acl2-infix_4.2-1_i386.deb                          02-Sep-2011 03:04    400K
acl2-infix_4.3-3_amd64.deb                         18-May-2012 16:34    194K
acl2-infix_4.3-3_i386.deb                          18-May-2012 14:33    173K
acl2-infix_6.0-2_amd64.deb                         14-Jan-2013 08:03    195K
acl2-infix_6.0-2_i386.deb                          14-Jan-2013 07:33    174K
acl2-infix_6.2-6_amd64.deb                         31-Jul-2013 14:53    198K
acl2-infix_6.2-6_i386.deb                          31-Jul-2013 14:38    181K
acl2-infix_6.3-5_amd64.deb                         24-Oct-2013 16:36    200K
acl2-infix_6.3-5_i386.deb                          24-Oct-2013 16:36    189K
acl2-infix_6.4-4_amd64.deb                         18-May-2014 12:50    140K
acl2-infix_6.4-4_i386.deb                          18-May-2014 12:50    136K
acl2-infix_7.0-1_amd64.deb                         27-Jan-2015 14:50    140K
acl2-infix_7.0-1_i386.deb                          27-Jan-2015 17:06    142K
acl2-infix_7.1-1_amd64.deb                         27-Jun-2015 13:48    140K
acl2-infix_7.1-1_i386.deb                          02-Jun-2015 02:43    142K
acl2-infix_7.2dfsg-2_amd64.deb                     05-May-2016 06:24    392K
acl2-infix_7.2dfsg-2_i386.deb                      05-May-2016 07:09    369K
acl2-infix_8.0dfsg-1_amd64.deb                     14-Jan-2018 03:08    414K
acl2-infix_8.0dfsg-1_i386.deb                      14-Jan-2018 04:49    381K
acl2-infix_8.0dfsg-1build1_amd64.deb               15-Jan-2019 18:13    471K
acl2-infix_8.0dfsg-1build1_i386.deb                15-Jan-2019 16:47    434K
acl2-infix_8.1dfsg-3_amd64.deb                     21-Apr-2019 19:43    472K
acl2-infix_8.1dfsg-3_i386.deb                      21-Apr-2019 23:31    475K
acl2-infix_8.2dfsg-3build1_amd64.deb               23-Mar-2020 13:24    470K
acl2-infix_8.3dfsg-1_amd64.deb                     24-Aug-2020 12:19    472K
acl2-infix_8.3dfsg-2_amd64.deb                     28-Jan-2021 07:19    471K
acl2-infix_8.4dfsg-2_amd64.deb                     19-Dec-2021 01:09    551K
acl2-infix_8.5dfsg-1_amd64.deb                     28-Jul-2022 09:29    533K
acl2-infix_8.5dfsg-5_amd64.deb                     17-Jan-2023 02:29    533K
acl2-infix_8.5dfsg-5build3_amd64.deb               02-Apr-2024 08:02    538K
acl2-infix_8.5dfsg-6_amd64.deb                     29-Jul-2024 04:20    533K
acl2-source_2.9-2_all.deb                          12-Nov-2004 09:00      2M
acl2-source_2.9.3-5build1_all.deb                  08-Oct-2005 19:55      2M
acl2-source_2.9.3-7_all.deb                        27-Oct-2005 23:20      2M
acl2-source_3.0-1_all.deb                          21-Jun-2006 19:10      2M
acl2-source_3.1-1_all.deb                          07-Dec-2006 04:04      2M
acl2-source_3.3-1.1_all.deb                        11-May-2008 21:04      2M
acl2-source_3.4-1_all.deb                          05-Nov-2008 10:04      2M
acl2-source_3.4-2_all.deb                          28-Apr-2009 23:05      2M
acl2-source_3.6-4_all.deb                          16-Feb-2010 08:05      3M
acl2-source_4.0-3_all.deb                          08-Sep-2010 22:05      3M
acl2-source_4.1-5_all.deb                          09-Nov-2010 02:04      3M
acl2-source_4.2-1_all.deb                          02-Sep-2011 03:03      3M
acl2-source_4.3-3_all.deb                          18-May-2012 14:33      3M
acl2-source_6.0-2_all.deb                          14-Jan-2013 07:33      4M
acl2-source_6.2-6_all.deb                          31-Jul-2013 14:38      4M
acl2-source_6.3-5_all.deb                          24-Oct-2013 16:36      4M
acl2-source_6.4-4_all.deb                          18-May-2014 12:50      3M
acl2-source_7.0-1_all.deb                          27-Jan-2015 14:50      3M
acl2-source_7.1-1_all.deb                          27-Jun-2015 13:48      3M
acl2-source_7.2dfsg-2_all.deb                      05-May-2016 06:24      3M
acl2-source_8.0dfsg-1_all.deb                      14-Jan-2018 03:08      3M
acl2-source_8.0dfsg-1build1_all.deb                15-Jan-2019 18:13      3M
acl2-source_8.1dfsg-3_all.deb                      21-Apr-2019 19:43      3M
acl2-source_8.2dfsg-3build1_all.deb                23-Mar-2020 13:24      3M
acl2-source_8.3dfsg-1_all.deb                      24-Aug-2020 12:19      3M
acl2-source_8.3dfsg-2_all.deb                      28-Jan-2021 07:19      3M
acl2-source_8.4dfsg-2_all.deb                      19-Dec-2021 01:10      3M
acl2-source_8.5dfsg-1_all.deb                      28-Jul-2022 09:29      3M
acl2-source_8.5dfsg-5_all.deb                      17-Jan-2023 02:29      3M
acl2-source_8.5dfsg-5build3_all.deb                02-Apr-2024 08:02      3M
acl2-source_8.5dfsg-6_all.deb                      29-Jul-2024 04:20      3M
acl2_2.8-4_amd64.deb                               20-Aug-2004 02:30     10M
acl2_2.8-4_i386.deb                                14-Aug-2004 06:30     12M
acl2_2.9-2_amd64.deb                               12-Nov-2004 09:15     16M
acl2_2.9-2_i386.deb                                12-Nov-2004 09:00     13M
acl2_2.9.3-5build1_i386.deb                        08-Oct-2005 19:55     13M
acl2_2.9.3-7_amd64.deb                             29-Oct-2005 02:45     16M
acl2_2.9.3-7_i386.deb                              27-Oct-2005 23:20     13M
acl2_3.0-1_amd64.deb                               21-Jun-2006 17:10     17M
acl2_3.0-1_i386.deb                                21-Jun-2006 19:10     14M
acl2_3.1-1_amd64.deb                               07-Dec-2006 18:04     18M
acl2_3.1-1_i386.deb                                07-Dec-2006 04:04     15M
acl2_3.3-1.1_amd64.deb                             11-May-2008 06:04     18M
acl2_3.3-1.1_i386.deb                              11-May-2008 21:04     16M
acl2_3.3-1ubuntu1_amd64.deb                        17-Feb-2008 02:03     18M
acl2_3.4-1_amd64.deb                               06-Nov-2008 00:10     21M
acl2_3.4-1_i386.deb                                05-Nov-2008 10:05     18M
acl2_3.4-2_amd64.deb                               29-Apr-2009 01:04     21M
acl2_3.4-2_i386.deb                                28-Apr-2009 23:06     18M
acl2_3.6-4_amd64.deb                               16-Feb-2010 08:05     22M
acl2_3.6-4_i386.deb                                16-Feb-2010 08:05     20M
acl2_4.0-3_amd64.deb                               07-Sep-2010 05:05     25M
acl2_4.0-3_i386.deb                                08-Sep-2010 22:05     21M
acl2_4.1-5_amd64.deb                               09-Nov-2010 03:04     25M
acl2_4.1-5_i386.deb                                09-Nov-2010 02:04     21M
acl2_4.2-1_amd64.deb                               02-Sep-2011 04:04     25M
acl2_4.2-1_i386.deb                                02-Sep-2011 03:04     22M
acl2_4.3-3_amd64.deb                               18-May-2012 16:34     27M
acl2_4.3-3_i386.deb                                18-May-2012 14:33     23M
acl2_6.0-2_amd64.deb                               14-Jan-2013 08:03     30M
acl2_6.0-2_i386.deb                                14-Jan-2013 07:33     26M
acl2_6.2-6_amd64.deb                               31-Jul-2013 14:53     27M
acl2_6.2-6_i386.deb                                31-Jul-2013 14:38     23M
acl2_6.3-5_amd64.deb                               24-Oct-2013 16:36     27M
acl2_6.3-5_i386.deb                                24-Oct-2013 16:36     23M
acl2_6.4-4_amd64.deb                               18-May-2014 12:50     15M
acl2_6.4-4_i386.deb                                18-May-2014 12:50     12M
acl2_7.0-1_amd64.deb                               27-Jan-2015 14:50     15M
acl2_7.0-1_i386.deb                                27-Jan-2015 17:06     13M
acl2_7.1-1_amd64.deb                               27-Jun-2015 13:48     16M
acl2_7.1-1_i386.deb                                02-Jun-2015 02:43     16M
acl2_7.2dfsg-2_amd64.deb                           05-May-2016 06:24     17M
acl2_7.2dfsg-2_i386.deb                            05-May-2016 07:09     15M
acl2_8.0dfsg-1_amd64.deb                           14-Jan-2018 03:08     19M
acl2_8.0dfsg-1_i386.deb                            14-Jan-2018 04:49     16M
acl2_8.0dfsg-1build1_amd64.deb                     15-Jan-2019 18:13     19M
acl2_8.0dfsg-1build1_i386.deb                      15-Jan-2019 16:47     17M
acl2_8.1dfsg-3_amd64.deb                           21-Apr-2019 19:43     19M
acl2_8.1dfsg-3_i386.deb                            21-Apr-2019 23:31     18M
acl2_8.2dfsg-3build1_amd64.deb                     23-Mar-2020 13:24     21M
acl2_8.3dfsg-1_amd64.deb                           24-Aug-2020 12:18     20M
acl2_8.3dfsg-2_amd64.deb                           28-Jan-2021 07:19     21M
acl2_8.4dfsg-2_amd64.deb                           19-Dec-2021 01:10     25M
acl2_8.5dfsg-1_amd64.deb                           28-Jul-2022 09:29     26M
acl2_8.5dfsg-5_amd64.deb                           17-Jan-2023 02:29     26M
acl2_8.5dfsg-5build3_amd64.deb                     02-Apr-2024 08:03     26M
acl2_8.5dfsg-6_amd64.deb                           29-Jul-2024 04:20     25M
elpa-acl2_8.4dfsg-2_all.deb                        19-Dec-2021 01:09     69K
elpa-acl2_8.5dfsg-1_all.deb                        28-Jul-2022 09:29     70K
elpa-acl2_8.5dfsg-5_all.deb                        17-Jan-2023 02:29     70K
elpa-acl2_8.5dfsg-5build3_all.deb                  02-Apr-2024 08:02     71K
elpa-acl2_8.5dfsg-6_all.deb                        29-Jul-2024 04:20     71K