Index of /main/a/acl2/


../
acl2_4.0-3.diff.gz                                 16-Aug-2012 22:43               15953
acl2_4.0-3.dsc                                     16-Aug-2012 22:43                1168
acl2_4.0.orig.tar.gz                               16-Aug-2012 22:43            11425814
acl2_4.3-3.debian.tar.gz                           20-Apr-2012 19:38               18297
acl2_4.3-3.dsc                                     20-Apr-2012 19:38                1491
acl2_4.3.orig.tar.gz                               18-Apr-2012 23:31            15251431
acl2_6.0-2.debian.tar.gz                           13-Jan-2013 23:41              159054
acl2_6.0-2.dsc                                     13-Jan-2013 23:41                1741
acl2_6.0.orig-books.tar.gz                         13-Jan-2013 03:19            10961166
acl2_6.0.orig.tar.gz                               13-Jan-2013 03:19             6774056
acl2_6.1-1.debian.tar.gz                           13-May-2013 05:23              159603
acl2_6.1-1.dsc                                     13-May-2013 05:23                1741
acl2_6.1-2.debian.tar.gz                           22-May-2013 23:26              159798
acl2_6.1-2.dsc                                     22-May-2013 23:26                1741
acl2_6.1-3.debian.tar.gz                           24-May-2013 23:26              159758
acl2_6.1-3.dsc                                     24-May-2013 23:26                1741
acl2_6.1-5.debian.tar.gz                           22-Jun-2013 17:21              159774
acl2_6.1-5.dsc                                     22-Jun-2013 17:21                1746
acl2_6.1-6.debian.tar.gz                           03-Jul-2013 11:37              159904
acl2_6.1-6.dsc                                     03-Jul-2013 11:37                1746
acl2_6.1.orig-books.tar.gz                         13-May-2013 05:23            11131335
acl2_6.1.orig.tar.gz                               13-May-2013 05:23             6865749
acl2_6.2-1.debian.tar.gz                           15-Jul-2013 23:52              160213
acl2_6.2-1.dsc                                     15-Jul-2013 23:52                1746
acl2_6.2-3.debian.tar.gz                           23-Jul-2013 05:29              160374
acl2_6.2-3.dsc                                     23-Jul-2013 05:29                1746
acl2_6.2-4.debian.tar.gz                           24-Jul-2013 11:59              160378
acl2_6.2-4.dsc                                     24-Jul-2013 11:59                1746
acl2_6.2-5.debian.tar.gz                           28-Jul-2013 23:25              160585
acl2_6.2-5.dsc                                     28-Jul-2013 23:25                1746
acl2_6.2-6.debian.tar.gz                           31-Jul-2013 05:36              160699
acl2_6.2-6.dsc                                     31-Jul-2013 05:36                1746
acl2_6.2-7.debian.tar.gz                           08-Aug-2013 13:09              160782
acl2_6.2-7.dsc                                     08-Aug-2013 13:09                1746
acl2_6.2.orig-books.tar.gz                         12-Jul-2013 14:59            11334618
acl2_6.2.orig.tar.gz                               12-Jul-2013 14:59             6922453
acl2_6.3-1.debian.tar.gz                           04-Oct-2013 17:17              161349
acl2_6.3-1.dsc                                     04-Oct-2013 17:17                1748
acl2_6.3-2.debian.tar.gz                           13-Oct-2013 23:23              161417
acl2_6.3-2.dsc                                     13-Oct-2013 23:23                1749
acl2_6.3-3.debian.tar.gz                           15-Oct-2013 17:14              161421
acl2_6.3-3.dsc                                     15-Oct-2013 17:14                1749
acl2_6.3-4.debian.tar.gz                           17-Oct-2013 11:15              161472
acl2_6.3-4.dsc                                     17-Oct-2013 11:15                1749
acl2_6.3-5.debian.tar.gz                           19-Oct-2013 16:37              161480
acl2_6.3-5.dsc                                     19-Oct-2013 16:37                1749
acl2_6.3-6.debian.tar.gz                           16-Nov-2013 23:05              161447
acl2_6.3-6.dsc                                     16-Nov-2013 23:05                1749
acl2_6.3.orig-books.tar.gz                         04-Oct-2013 12:59            13598991
acl2_6.3.orig.tar.gz                               04-Oct-2013 12:59             7068895
acl2_6.4-1.debian.tar.xz                           02-May-2014 17:21              126404
acl2_6.4-1.dsc                                     02-May-2014 17:21                1813
acl2_6.4-2.debian.tar.xz                           08-May-2014 11:21              126496
acl2_6.4-2.dsc                                     08-May-2014 11:21                1814
acl2_6.4-3.debian.tar.xz                           12-May-2014 23:22              126628
acl2_6.4-3.dsc                                     12-May-2014 23:22                1814
acl2_6.4-4.debian.tar.xz                           18-May-2014 03:36              126732
acl2_6.4-4.dsc                                     18-May-2014 03:36                1814
acl2_6.4.orig-books.tar.gz                         02-May-2014 12:54            14170540
acl2_6.4.orig.tar.gz                               02-May-2014 12:54             6109095
acl2_6.5-1.debian.tar.xz                           17-Aug-2014 23:27              128192
acl2_6.5-1.dsc                                     17-Aug-2014 23:27                1810
acl2_6.5-2.debian.tar.xz                           08-Sep-2014 14:35              128268
acl2_6.5-2.dsc                                     08-Sep-2014 14:35                1807
acl2_6.5-2~bpo70+1.debian.tar.gz                   15-Jan-2015 17:27              163474
acl2_6.5-2~bpo70+1.dsc                             15-Jan-2015 17:27                2401
acl2_6.5-3.debian.tar.xz                           25-Oct-2014 17:26              128424
acl2_6.5-3.dsc                                     25-Oct-2014 17:26                1809
acl2_6.5-4.debian.tar.xz                           27-Oct-2014 19:47              128480
acl2_6.5-4.dsc                                     27-Oct-2014 19:47                1809
acl2_6.5-5.debian.tar.xz                           27-Oct-2014 19:47              128484
acl2_6.5-5.dsc                                     27-Oct-2014 19:47                1809
acl2_6.5.orig-books.tar.gz                         17-Aug-2014 15:21            14978744
acl2_6.5.orig.tar.gz                               17-Aug-2014 15:21             6192434
acl2_7.0-1.debian.tar.xz                           27-Jan-2015 11:30              128864
acl2_7.0-1.dsc                                     27-Jan-2015 11:30                2202
acl2_7.0.orig.tar.gz                               27-Jan-2015 11:30            58301172
acl2_7.1-1.debian.tar.xz                           01-Jun-2015 22:38              128900
acl2_7.1-1.dsc                                     01-Jun-2015 22:38                2203
acl2_7.1-2.debian.tar.xz                           02-Oct-2015 16:49              128996
acl2_7.1-2.dsc                                     02-Oct-2015 16:49                2203
acl2_7.1-3.debian.tar.xz                           10-Oct-2015 04:34              129328
acl2_7.1-3.dsc                                     10-Oct-2015 04:34                2203
acl2_7.1.orig.tar.gz                               01-Jun-2015 22:38            63342334
acl2_7.1dfsg-1.debian.tar.xz                       21-Oct-2015 23:22              203564
acl2_7.1dfsg-1.dsc                                 21-Oct-2015 23:22                2231
acl2_7.1dfsg-2.debian.tar.xz                       28-Oct-2015 22:05              203600
acl2_7.1dfsg-2.dsc                                 28-Oct-2015 22:05                2231
acl2_7.1dfsg.orig.tar.gz                           21-Oct-2015 15:52            38379756
acl2_7.2dfsg-1.debian.tar.xz                       15-Apr-2016 22:57              203672
acl2_7.2dfsg-1.dsc                                 15-Apr-2016 22:57                2231
acl2_7.2dfsg-2.debian.tar.xz                       04-May-2016 23:33              203712
acl2_7.2dfsg-2.dsc                                 04-May-2016 23:33                2231
acl2_7.2dfsg-3.debian.tar.xz                       18-Oct-2016 05:04              204172
acl2_7.2dfsg-3.dsc                                 18-Oct-2016 05:04                2231
acl2_7.2dfsg.orig.tar.gz                           15-Apr-2016 22:57            64411749
acl2_7.4dfsg-1.debian.tar.xz                       18-May-2017 10:36              204416
acl2_7.4dfsg-1.dsc                                 18-May-2017 10:36                2231
acl2_7.4dfsg-2.debian.tar.xz                       31-May-2017 10:46              204868
acl2_7.4dfsg-2.dsc                                 31-May-2017 10:46                2231
acl2_7.4dfsg-3.1.debian.tar.xz                     12-Aug-2017 20:09              204744
acl2_7.4dfsg-3.1.dsc                               12-Aug-2017 20:09                2367
acl2_7.4dfsg-3.debian.tar.xz                       09-Jun-2017 22:52              204784
acl2_7.4dfsg-3.dsc                                 09-Jun-2017 22:52                2231
acl2_7.4dfsg-4.debian.tar.xz                       03-Oct-2017 17:39              204672
acl2_7.4dfsg-4.dsc                                 03-Oct-2017 17:39                2231
acl2_7.4dfsg.orig.tar.gz                           18-May-2017 10:36            65270638
acl2_8.0dfsg-1.debian.tar.xz                       17-Jan-2018 05:57              204760
acl2_8.0dfsg-1.dsc                                 17-Jan-2018 05:57                2245
acl2_8.0dfsg.orig.tar.gz                           17-Jan-2018 05:57            77635571
acl2_8.1dfsg-1.debian.tar.xz                       03-Mar-2019 17:23              205024
acl2_8.1dfsg-1.dsc                                 03-Mar-2019 17:23                2245
acl2_8.1dfsg-2.debian.tar.xz                       07-Apr-2019 16:39              205120
acl2_8.1dfsg-2.dsc                                 07-Apr-2019 16:39                2245
acl2_8.1dfsg-3.debian.tar.xz                       07-Apr-2019 16:39              205156
acl2_8.1dfsg-3.dsc                                 07-Apr-2019 16:39                2245
acl2_8.1dfsg-4.debian.tar.xz                       31-Oct-2019 23:47              205348
acl2_8.1dfsg-4.dsc                                 31-Oct-2019 23:47                2247
acl2_8.1dfsg-5.debian.tar.xz                       09-Dec-2019 00:03              205324
acl2_8.1dfsg-5.dsc                                 09-Dec-2019 00:03                2247
acl2_8.1dfsg-6.debian.tar.xz                       10-Dec-2019 00:10              205324
acl2_8.1dfsg-6.dsc                                 10-Dec-2019 00:10                2247
acl2_8.1dfsg.orig.tar.gz                           03-Mar-2019 17:23            78970801