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
acl2_8.2dfsg-1.debian.tar.xz 20-Dec-2019 06:39 205408
acl2_8.2dfsg-1.dsc 20-Dec-2019 06:39 2247
acl2_8.2dfsg-2.debian.tar.xz 27-Dec-2019 06:29 205516
acl2_8.2dfsg-2.dsc 27-Dec-2019 06:29 2247
acl2_8.2dfsg-3.debian.tar.xz 31-Dec-2019 12:32 205976
acl2_8.2dfsg-3.dsc 31-Dec-2019 12:32 2247
acl2_8.2dfsg.orig.tar.gz 20-Dec-2019 06:39 80652725
acl2_8.3dfsg-1.debian.tar.xz 24-Aug-2020 02:39 205984
acl2_8.3dfsg-1.dsc 24-Aug-2020 02:39 2250
acl2_8.3dfsg-2.debian.tar.xz 27-Jan-2021 14:34 228320
acl2_8.3dfsg-2.dsc 27-Jan-2021 14:34 2275
acl2_8.3dfsg-3.debian.tar.xz 10-Feb-2021 14:24 262612
acl2_8.3dfsg-3.dsc 10-Feb-2021 14:24 2281
acl2_8.3dfsg-4.debian.tar.xz 11-Oct-2021 12:31 262612
acl2_8.3dfsg-4.dsc 11-Oct-2021 12:31 2281
acl2_8.3dfsg.orig.tar.gz 24-Aug-2020 02:39 117260902
acl2_8.4dfsg-1.debian.tar.xz 28-Oct-2021 17:48 311472
acl2_8.4dfsg-1.dsc 28-Oct-2021 17:48 2281
acl2_8.4dfsg-2.debian.tar.xz 01-Nov-2021 16:37 311628
acl2_8.4dfsg-2.dsc 01-Nov-2021 16:37 2281
acl2_8.4dfsg.orig.tar.gz 28-Oct-2021 17:48 202991839