Index of /ubuntu-old-releases/ubuntu/pool/universe/a/acl2/
../
acl2-books-certs_2.9-2_all.deb 12-Nov-2004 09:00 296764
acl2-books-certs_2.9.3-5build1_all.deb 08-Oct-2005 19:55 375808
acl2-books-certs_2.9.3-7_all.deb 27-Oct-2005 23:20 375926
acl2-books-certs_3.0-1_all.deb 21-Jun-2006 19:10 681164
acl2-books-certs_3.1-1_all.deb 07-Dec-2006 04:04 4958070
acl2-books-certs_3.3-1.1_all.deb 11-May-2008 21:04 1242904
acl2-books-certs_3.4-1_all.deb 05-Nov-2008 10:04 1269246
acl2-books-certs_3.4-2_all.deb 28-Apr-2009 23:05 1269336
acl2-books-certs_3.6-4_all.deb 16-Feb-2010 08:05 1941782
acl2-books-certs_4.0-3_all.deb 08-Sep-2010 22:05 1974158
acl2-books-certs_4.1-5_all.deb 09-Nov-2010 02:04 1978076
acl2-books-certs_4.2-1_all.deb 02-Sep-2011 03:03 1984690
acl2-books-certs_4.3-3_all.deb 18-May-2012 14:33 4415296
acl2-books-certs_6.0-2_all.deb 14-Jan-2013 07:33 5188120
acl2-books-certs_6.2-6_all.deb 31-Jul-2013 14:38 10210880
acl2-books-certs_6.4-4_all.deb 18-May-2014 12:50 4243892
acl2-books-certs_7.0-1_all.deb 27-Jan-2015 14:50 69178422
acl2-books-certs_7.1-1_all.deb 27-Jun-2015 13:48 13191160
acl2-books-certs_7.2dfsg-2_all.deb 05-May-2016 06:24 54851982
acl2-books-certs_8.0dfsg-1_all.deb 14-Jan-2018 03:08 73403184
acl2-books-certs_8.0dfsg-1build1_all.deb 15-Jan-2019 18:13 73435548
acl2-books-certs_8.1dfsg-3_all.deb 21-Apr-2019 19:43 80619396
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 145276720
acl2-books-certs_8.5dfsg-1_all.deb 28-Jul-2022 09:29 230799544
acl2-books-source_2.9-2_all.deb 12-Nov-2004 09:00 1235736
acl2-books-source_2.9.3-5build1_all.deb 08-Oct-2005 19:55 1297968
acl2-books-source_2.9.3-7_all.deb 27-Oct-2005 23:20 1297922
acl2-books-source_3.0-1_all.deb 21-Jun-2006 19:10 1666624
acl2-books-source_3.1-1_all.deb 07-Dec-2006 04:04 2245324
acl2-books-source_3.3-1.1_all.deb 11-May-2008 21:04 2441560
acl2-books-source_3.4-1_all.deb 05-Nov-2008 10:04 2852612
acl2-books-source_3.4-2_all.deb 28-Apr-2009 23:05 2852656
acl2-books-source_3.6-4_all.deb 16-Feb-2010 08:05 4915400
acl2-books-source_4.0-3_all.deb 08-Sep-2010 22:05 5073792
acl2-books-source_4.1-5_all.deb 09-Nov-2010 02:04 5090122
acl2-books-source_4.2-1_all.deb 02-Sep-2011 03:03 5119974
acl2-books-source_4.3-3_all.deb 18-May-2012 14:33 6459880
acl2-books-source_6.0-2_all.deb 14-Jan-2013 07:33 7818444
acl2-books-source_6.2-6_all.deb 31-Jul-2013 14:38 7648418
acl2-books-source_6.4-4_all.deb 18-May-2014 12:50 6461588
acl2-books-source_7.0-1_all.deb 27-Jan-2015 14:50 8858730
acl2-books-source_7.1-1_all.deb 27-Jun-2015 13:48 10333152
acl2-books-source_7.2dfsg-2_all.deb 05-May-2016 06:24 11194970
acl2-books-source_8.0dfsg-1_all.deb 14-Jan-2018 03:08 12466104
acl2-books-source_8.0dfsg-1build1_all.deb 15-Jan-2019 18:13 12465004
acl2-books-source_8.1dfsg-3_all.deb 21-Apr-2019 19:43 13578760
acl2-books-source_8.3dfsg-1_all.deb 24-Aug-2020 12:19 19512656
acl2-books-source_8.3dfsg-2_all.deb 28-Jan-2021 07:19 19531216
acl2-books-source_8.5dfsg-1_all.deb 28-Jul-2022 09:29 23843754
acl2-books_2.8-4_amd64.deb 20-Aug-2004 02:30 1128376
acl2-books_2.8-4_i386.deb 14-Aug-2004 06:30 875484
acl2-books_2.9-2_amd64.deb 12-Nov-2004 09:15 1053480
acl2-books_2.9-2_i386.deb 12-Nov-2004 09:00 833168
acl2-books_2.9-2_ia64.deb 25-Nov-2004 08:45 1514864
acl2-books_2.9-2_powerpc.deb 12-Nov-2004 10:00 1265072
acl2-books_2.9.3-5build1_hppa.deb 09-Oct-2005 09:55 3623862
acl2-books_2.9.3-5build1_i386.deb 08-Oct-2005 19:55 832162
acl2-books_2.9.3-5build1_ia64.deb 08-Oct-2005 21:30 1564038
acl2-books_2.9.3-7_amd64.deb 29-Oct-2005 02:45 1126616
acl2-books_2.9.3-7_i386.deb 27-Oct-2005 23:20 832292
acl2-books_2.9.3-7_ia64.deb 28-Oct-2005 06:05 1564040
acl2-books_2.9.3-7_powerpc.deb 21-Dec-2005 08:55 1236726
acl2-books_2.9.3-7_sparc.deb 09-Nov-2005 13:50 998422
acl2-books_3.0-1_amd64.deb 21-Jun-2006 17:10 1626974
acl2-books_3.0-1_i386.deb 21-Jun-2006 19:10 1191570
acl2-books_3.0-1_sparc.deb 22-Jun-2006 16:09 1451810
acl2-books_3.1-1_amd64.deb 07-Dec-2006 18:04 2106322
acl2-books_3.1-1_i386.deb 07-Dec-2006 04:04 1587336
acl2-books_3.1-1_ia64.deb 08-Dec-2006 05:03 2985142
acl2-books_3.1-1_powerpc.deb 07-Dec-2006 11:03 2325310
acl2-books_3.1-1_sparc.deb 08-Dec-2006 12:03 1903864
acl2-books_3.3-1.1_amd64.deb 11-May-2008 06:04 22440052
acl2-books_3.3-1.1_hppa.deb 21-May-2008 23:04 29348298
acl2-books_3.3-1.1_i386.deb 11-May-2008 21:04 18471230
acl2-books_3.3-1.1_ia64.deb 13-May-2008 12:04 24312782
acl2-books_3.3-1.1_lpia.deb 10-May-2008 09:04 21982094
acl2-books_3.3-1.1_powerpc.deb 11-May-2008 05:05 24864498
acl2-books_3.3-1.1_sparc.deb 14-May-2008 13:04 19954946
acl2-books_3.3-1ubuntu1_amd64.deb 17-Feb-2008 02:03 6393074
acl2-books_3.3-1ubuntu1_hppa.deb 17-Feb-2008 21:03 19157744
acl2-books_3.3-1ubuntu1_ia64.deb 17-Feb-2008 05:03 9053560
acl2-books_3.3-1ubuntu1_lpia.deb 17-Feb-2008 02:03 4641370
acl2-books_3.3-1ubuntu1_powerpc.deb 17-Feb-2008 03:03 6270534
acl2-books_3.3-1ubuntu1_sparc.deb 17-Feb-2008 04:04 5935506
acl2-books_3.4-1_amd64.deb 06-Nov-2008 00:10 25668334
acl2-books_3.4-1_hppa.deb 07-Nov-2008 16:05 32959222
acl2-books_3.4-1_i386.deb 05-Nov-2008 10:05 21287032
acl2-books_3.4-1_ia64.deb 06-Nov-2008 22:09 26443490
acl2-books_3.4-1_lpia.deb 14-Nov-2008 08:04 25322248
acl2-books_3.4-1_powerpc.deb 05-Nov-2008 22:07 28703880
acl2-books_3.4-1_sparc.deb 06-Nov-2008 10:07 22948608
acl2-books_3.4-2_amd64.deb 29-Apr-2009 01:04 24592144
acl2-books_3.4-2_i386.deb 28-Apr-2009 23:06 20960280
acl2-books_3.4-2_ia64.deb 29-Apr-2009 05:06 27409446
acl2-books_3.4-2_lpia.deb 28-Apr-2009 23:06 20419482
acl2-books_3.4-2_powerpc.deb 29-Apr-2009 01:05 28010364
acl2-books_3.4-2_sparc.deb 02-May-2009 15:05 22895452
acl2-books_3.6-4_amd64.deb 16-Feb-2010 08:05 34787264
acl2-books_3.6-4_i386.deb 16-Feb-2010 08:05 30005538
acl2-books_3.6-4_powerpc.deb 16-Feb-2010 08:05 39812724
acl2-books_3.6-4_sparc.deb 16-Feb-2010 14:11 32941244
acl2-books_4.0-3_amd64.deb 07-Sep-2010 05:05 38419676
acl2-books_4.0-3_i386.deb 08-Sep-2010 22:05 33781966
acl2-books_4.0-3_powerpc.deb 07-Sep-2010 06:05 43887466
acl2-books_4.1-5_amd64.deb 09-Nov-2010 03:04 41224042
acl2-books_4.1-5_i386.deb 09-Nov-2010 02:04 35991274
acl2-books_4.1-5_powerpc.deb 09-Nov-2010 06:05 47269790
acl2-books_4.2-1_amd64.deb 02-Sep-2011 04:04 41344624
acl2-books_4.2-1_armel.deb 05-Sep-2011 01:04 36105590
acl2-books_4.2-1_armhf.deb 02-Feb-2012 03:33 34639980
acl2-books_4.2-1_i386.deb 02-Sep-2011 03:04 36080612
acl2-books_4.2-1_powerpc.deb 15-May-2011 20:04 46929298
acl2-books_4.3-3_amd64.deb 18-May-2012 16:34 15854556
acl2-books_4.3-3_armel.deb 19-May-2012 09:03 39708686
acl2-books_4.3-3_armhf.deb 19-May-2012 08:33 41167552
acl2-books_4.3-3_i386.deb 18-May-2012 14:33 13915430
acl2-books_4.3-3_powerpc.deb 18-May-2012 23:03 15576334
acl2-books_6.0-2_amd64.deb 14-Jan-2013 08:03 18878760
acl2-books_6.0-2_i386.deb 14-Jan-2013 07:33 16415586
acl2-books_6.0-2_powerpc.deb 14-Jan-2013 15:03 18384848
acl2-books_6.2-6_amd64.deb 31-Jul-2013 14:53 35759754
acl2-books_6.2-6_armhf.deb 08-Aug-2013 15:58 92155664
acl2-books_6.2-6_i386.deb 31-Jul-2013 14:38 31714254
acl2-books_6.2-6_powerpc.deb 31-Jul-2013 15:48 33915918
acl2-books_6.4-4_amd64.deb 18-May-2014 12:50 19580182
acl2-books_6.4-4_arm64.deb 24-Aug-2014 08:13 20688624
acl2-books_6.4-4_armhf.deb 18-May-2014 19:38 56279206
acl2-books_6.4-4_i386.deb 18-May-2014 12:50 17953168
acl2-books_6.4-4_powerpc.deb 18-May-2014 18:38 16345008
acl2-books_7.0-1_amd64.deb 27-Jan-2015 14:50 25329432
acl2-books_7.0-1_arm64.deb 28-Jan-2015 03:33 24760050
acl2-books_7.0-1_armhf.deb 28-Jan-2015 02:49 79329690
acl2-books_7.0-1_i386.deb 27-Jan-2015 17:06 23813026
acl2-books_7.0-1_powerpc.deb 27-Jan-2015 17:06 20716512
acl2-books_7.1-1_amd64.deb 27-Jun-2015 13:48 19608788
acl2-books_7.1-1_arm64.deb 02-Jun-2015 14:43 19583214
acl2-books_7.1-1_armhf.deb 02-Jun-2015 12:58 62421090
acl2-books_7.1-1_i386.deb 02-Jun-2015 02:43 18602828
acl2-books_7.1-1_powerpc.deb 02-Jun-2015 05:48 16154534
acl2-books_7.2dfsg-2_amd64.deb 05-May-2016 06:24 106519752
acl2-books_7.2dfsg-2_arm64.deb 09-May-2016 01:39 108768828
acl2-books_7.2dfsg-2_armhf.deb 05-May-2016 23:09 91678866
acl2-books_7.2dfsg-2_i386.deb 05-May-2016 07:09 92645522
acl2-books_7.2dfsg-2_powerpc.deb 13-Jun-2018 06:40 69520780
acl2-books_7.2dfsg-2_s390x.deb 13-Jun-2018 08:43 106672720
acl2-books_8.0dfsg-1_amd64.deb 14-Jan-2018 03:08 138083420
acl2-books_8.0dfsg-1_arm64.deb 22-Jan-2018 03:23 141266400
acl2-books_8.0dfsg-1_armhf.deb 21-Jan-2018 23:13 121281400
acl2-books_8.0dfsg-1_i386.deb 14-Jan-2018 04:49 119603224
acl2-books_8.0dfsg-1_ppc64el.deb 31-Jan-2018 14:58 141916160
acl2-books_8.0dfsg-1_s390x.deb 23-Jan-2018 21:18 127451660
acl2-books_8.0dfsg-1build1_amd64.deb 15-Jan-2019 18:13 151973464
acl2-books_8.0dfsg-1build1_arm64.deb 16-Jan-2019 18:03 149065248
acl2-books_8.0dfsg-1build1_armhf.deb 16-Jan-2019 21:28 139562912
acl2-books_8.0dfsg-1build1_i386.deb 15-Jan-2019 16:47 132707576
acl2-books_8.0dfsg-1build1_s390x.deb 15-Jan-2019 14:28 138869636
acl2-books_8.1dfsg-3_amd64.deb 21-Apr-2019 19:43 163394484
acl2-books_8.1dfsg-3_arm64.deb 22-Apr-2019 12:23 160414916
acl2-books_8.1dfsg-3_armhf.deb 22-Apr-2019 09:43 147709980
acl2-books_8.1dfsg-3_i386.deb 21-Apr-2019 23:31 145651408
acl2-books_8.1dfsg-3_ppc64el.deb 21-Apr-2019 23:48 163553112
acl2-books_8.1dfsg-3_s390x.deb 21-Apr-2019 19:28 149693176
acl2-books_8.3dfsg-1_amd64.deb 24-Aug-2020 12:19 4268
acl2-books_8.3dfsg-1_arm64.deb 24-Aug-2020 14:13 4268
acl2-books_8.3dfsg-1_armhf.deb 24-Aug-2020 13:21 4268
acl2-books_8.3dfsg-1_ppc64el.deb 24-Aug-2020 12:23 4272
acl2-books_8.3dfsg-1_s390x.deb 24-Aug-2020 12:13 4272
acl2-books_8.3dfsg-2_amd64.deb 28-Jan-2021 07:19 252609864
acl2-books_8.3dfsg-2_arm64.deb 29-Mar-2021 13:23 243424520
acl2-books_8.3dfsg-2_armhf.deb 29-Jan-2021 05:24 231164548
acl2-books_8.3dfsg-2_ppc64el.deb 28-Mar-2021 19:08 241685016
acl2-books_8.3dfsg-2_s390x.deb 28-Jan-2021 05:25 241778992
acl2-books_8.5dfsg-1_amd64.deb 28-Jul-2022 09:29 351684854
acl2-books_8.5dfsg-1_arm64.deb 02-Aug-2022 02:53 350682044
acl2-books_8.5dfsg-1_armhf.deb 01-Aug-2022 04:13 331836124
acl2-books_8.5dfsg-1_ppc64el.deb 28-Jul-2022 10:37 370625990
acl2-books_8.5dfsg-1_s390x.deb 28-Jul-2022 09:29 335477464
acl2-doc_2.9-2_all.deb 12-Nov-2004 09:00 1791952
acl2-doc_2.9.3-5build1_all.deb 08-Oct-2005 19:55 1864622
acl2-doc_2.9.3-7_all.deb 27-Oct-2005 23:20 1862996
acl2-doc_3.0-1_all.deb 21-Jun-2006 19:10 1940168
acl2-doc_3.1-1_all.deb 07-Dec-2006 04:04 2019780
acl2-doc_3.3-1.1_all.deb 11-May-2008 21:04 2156534
acl2-doc_3.4-1_all.deb 05-Nov-2008 10:04 2294084
acl2-doc_3.4-2_all.deb 28-Apr-2009 23:05 2294156
acl2-doc_3.6-4_all.deb 16-Feb-2010 08:05 2396398
acl2-doc_4.0-3_all.deb 08-Sep-2010 22:05 2699660
acl2-doc_4.1-5_all.deb 09-Nov-2010 02:04 2702348
acl2-doc_4.2-1_all.deb 02-Sep-2011 03:03 270088
acl2-doc_4.3-3_all.deb 18-May-2012 14:33 355946
acl2-doc_6.0-2_all.deb 14-Jan-2013 07:33 7596304
acl2-doc_6.2-6_all.deb 31-Jul-2013 14:38 7832944
acl2-doc_6.4-4_all.deb 18-May-2014 12:50 1636210
acl2-doc_7.0-1_all.deb 27-Jan-2015 14:50 338504
acl2-doc_7.1-1_all.deb 27-Jun-2015 13:48 361780
acl2-doc_7.2dfsg-2_all.deb 05-May-2016 06:24 375160
acl2-doc_8.0dfsg-1_all.deb 14-Jan-2018 03:08 394360
acl2-doc_8.0dfsg-1build1_all.deb 15-Jan-2019 18:13 394252
acl2-doc_8.1dfsg-3_all.deb 21-Apr-2019 19:43 405672
acl2-doc_8.3dfsg-1_all.deb 24-Aug-2020 12:18 439672
acl2-doc_8.3dfsg-2_all.deb 28-Jan-2021 07:19 439740
acl2-doc_8.5dfsg-1_all.deb 28-Jul-2022 09:29 484804
acl2-emacs_2.9-2_all.deb 12-Nov-2004 09:00 48720
acl2-emacs_2.9.3-5build1_all.deb 08-Oct-2005 19:55 49382
acl2-emacs_2.9.3-7_all.deb 27-Oct-2005 23:20 49352
acl2-emacs_3.0-1_all.deb 21-Jun-2006 19:10 50296
acl2-emacs_3.1-1_all.deb 07-Dec-2006 04:04 50576
acl2-emacs_3.3-1.1_all.deb 11-May-2008 21:04 54564
acl2-emacs_3.4-1_all.deb 05-Nov-2008 10:04 55032
acl2-emacs_3.4-2_all.deb 28-Apr-2009 23:05 55084
acl2-emacs_3.6-4_all.deb 16-Feb-2010 08:05 57272
acl2-emacs_4.0-3_all.deb 08-Sep-2010 22:05 57558
acl2-emacs_4.1-5_all.deb 09-Nov-2010 02:04 51256
acl2-emacs_4.2-1_all.deb 02-Sep-2011 03:03 52768
acl2-emacs_4.3-3_all.deb 18-May-2012 14:33 54232
acl2-emacs_6.0-2_all.deb 14-Jan-2013 07:33 55346
acl2-emacs_6.2-6_all.deb 31-Jul-2013 14:38 54692
acl2-emacs_6.4-4_all.deb 18-May-2014 12:50 54094
acl2-emacs_7.0-1_all.deb 27-Jan-2015 14:50 55048
acl2-emacs_7.1-1_all.deb 27-Jun-2015 13:48 56524
acl2-emacs_7.2dfsg-2_all.deb 05-May-2016 06:24 57596
acl2-emacs_8.0dfsg-1_all.deb 14-Jan-2018 03:08 60340
acl2-emacs_8.0dfsg-1build1_all.deb 15-Jan-2019 18:13 60388
acl2-emacs_8.1dfsg-3_all.deb 21-Apr-2019 19:43 60248
acl2-emacs_8.3dfsg-1_all.deb 24-Aug-2020 12:19 61392
acl2-emacs_8.3dfsg-2_all.deb 28-Jan-2021 07:19 61596
acl2-infix-source_2.9-2_all.deb 12-Nov-2004 09:00 84230
acl2-infix-source_2.9.3-5build1_all.deb 08-Oct-2005 19:55 84860
acl2-infix-source_2.9.3-7_all.deb 27-Oct-2005 23:20 84836
acl2-infix-source_3.0-1_all.deb 21-Jun-2006 19:10 85002
acl2-infix-source_3.1-1_all.deb 07-Dec-2006 04:04 85372
acl2-infix-source_3.3-1.1_all.deb 11-May-2008 21:04 85734
acl2-infix-source_3.4-1_all.deb 05-Nov-2008 10:04 85934
acl2-infix-source_3.4-2_all.deb 28-Apr-2009 23:05 85994
acl2-infix-source_3.6-4_all.deb 16-Feb-2010 08:05 86392
acl2-infix-source_4.0-3_all.deb 08-Sep-2010 22:05 86628
acl2-infix-source_4.1-5_all.deb 09-Nov-2010 02:04 80350
acl2-infix-source_4.2-1_all.deb 02-Sep-2011 03:03 81590
acl2-infix-source_4.3-3_all.deb 18-May-2012 14:33 88052
acl2-infix-source_6.0-2_all.deb 14-Jan-2013 07:33 88932
acl2-infix-source_6.2-6_all.deb 31-Jul-2013 14:38 88272
acl2-infix-source_6.4-4_all.deb 18-May-2014 12:50 72066
acl2-infix-source_7.0-1_all.deb 27-Jan-2015 14:50 73272
acl2-infix-source_7.1-1_all.deb 27-Jun-2015 13:48 72020
acl2-infix-source_7.2dfsg-2_all.deb 05-May-2016 06:24 72318
acl2-infix-source_8.0dfsg-1_all.deb 14-Jan-2018 03:08 71888
acl2-infix-source_8.0dfsg-1build1_all.deb 15-Jan-2019 18:13 71924
acl2-infix-source_8.1dfsg-3_all.deb 21-Apr-2019 19:43 71848
acl2-infix-source_8.3dfsg-1_all.deb 24-Aug-2020 12:18 71848
acl2-infix-source_8.3dfsg-2_all.deb 28-Jan-2021 07:19 72016
acl2-infix-source_8.5dfsg-1_all.deb 28-Jul-2022 09:29 73556
acl2-infix_2.8-4_amd64.deb 20-Aug-2004 02:30 214792
acl2-infix_2.8-4_i386.deb 14-Aug-2004 06:30 177898
acl2-infix_2.9-2_amd64.deb 12-Nov-2004 09:15 215238
acl2-infix_2.9-2_i386.deb 12-Nov-2004 09:00 181088
acl2-infix_2.9-2_ia64.deb 25-Nov-2004 08:45 352338
acl2-infix_2.9-2_powerpc.deb 12-Nov-2004 10:00 314860
acl2-infix_2.9.3-5build1_hppa.deb 09-Oct-2005 09:55 387468
acl2-infix_2.9.3-5build1_i386.deb 08-Oct-2005 19:55 169010
acl2-infix_2.9.3-5build1_ia64.deb 08-Oct-2005 21:30 298568
acl2-infix_2.9.3-7_amd64.deb 29-Oct-2005 02:45 202820
acl2-infix_2.9.3-7_i386.deb 27-Oct-2005 23:20 168982
acl2-infix_2.9.3-7_ia64.deb 28-Oct-2005 06:05 298534
acl2-infix_2.9.3-7_powerpc.deb 21-Dec-2005 08:55 245394
acl2-infix_2.9.3-7_sparc.deb 09-Nov-2005 13:50 221904
acl2-infix_3.0-1_amd64.deb 21-Jun-2006 17:10 200712
acl2-infix_3.0-1_i386.deb 21-Jun-2006 19:10 166392
acl2-infix_3.0-1_sparc.deb 22-Jun-2006 16:09 224038
acl2-infix_3.1-1_amd64.deb 07-Dec-2006 18:04 198686
acl2-infix_3.1-1_i386.deb 07-Dec-2006 04:04 170064
acl2-infix_3.1-1_ia64.deb 08-Dec-2006 05:03 304236
acl2-infix_3.1-1_powerpc.deb 07-Dec-2006 11:03 248820
acl2-infix_3.1-1_sparc.deb 08-Dec-2006 12:03 222876
acl2-infix_3.3-1.1_amd64.deb 11-May-2008 06:04 442442
acl2-infix_3.3-1.1_hppa.deb 21-May-2008 23:04 604826
acl2-infix_3.3-1.1_i386.deb 11-May-2008 21:04 397800
acl2-infix_3.3-1.1_ia64.deb 13-May-2008 12:04 561706
acl2-infix_3.3-1.1_lpia.deb 10-May-2008 09:04 466202
acl2-infix_3.3-1.1_powerpc.deb 11-May-2008 05:05 517464
acl2-infix_3.3-1.1_sparc.deb 14-May-2008 13:04 434308
acl2-infix_3.3-1ubuntu1_amd64.deb 17-Feb-2008 02:03 199582
acl2-infix_3.3-1ubuntu1_hppa.deb 17-Feb-2008 21:03 418314
acl2-infix_3.3-1ubuntu1_ia64.deb 17-Feb-2008 05:03 301786
acl2-infix_3.3-1ubuntu1_lpia.deb 17-Feb-2008 02:03 175004
acl2-infix_3.3-1ubuntu1_powerpc.deb 17-Feb-2008 03:03 228812
acl2-infix_3.3-1ubuntu1_sparc.deb 17-Feb-2008 04:04 217686
acl2-infix_3.4-1_amd64.deb 06-Nov-2008 00:10 441868
acl2-infix_3.4-1_hppa.deb 07-Nov-2008 16:05 600460
acl2-infix_3.4-1_i386.deb 05-Nov-2008 10:05 398782
acl2-infix_3.4-1_ia64.deb 06-Nov-2008 22:09 555188
acl2-infix_3.4-1_lpia.deb 14-Nov-2008 08:04 466648
acl2-infix_3.4-1_powerpc.deb 05-Nov-2008 22:07 516988
acl2-infix_3.4-1_sparc.deb 06-Nov-2008 10:07 433912
acl2-infix_3.4-2_amd64.deb 29-Apr-2009 01:04 418144
acl2-infix_3.4-2_i386.deb 28-Apr-2009 23:05 383656
acl2-infix_3.4-2_ia64.deb 29-Apr-2009 05:06 575382
acl2-infix_3.4-2_lpia.deb 28-Apr-2009 23:06 348752
acl2-infix_3.4-2_powerpc.deb 29-Apr-2009 01:05 513932
acl2-infix_3.4-2_sparc.deb 02-May-2009 15:05 434014
acl2-infix_3.6-4_amd64.deb 16-Feb-2010 08:05 430860
acl2-infix_3.6-4_i386.deb 16-Feb-2010 08:05 388582
acl2-infix_3.6-4_powerpc.deb 16-Feb-2010 08:05 523348
acl2-infix_3.6-4_sparc.deb 16-Feb-2010 14:11 452562
acl2-infix_4.0-3_amd64.deb 07-Sep-2010 05:05 431288
acl2-infix_4.0-3_i386.deb 08-Sep-2010 22:05 388848
acl2-infix_4.0-3_powerpc.deb 07-Sep-2010 06:05 523680
acl2-infix_4.1-5_amd64.deb 09-Nov-2010 03:04 452000
acl2-infix_4.1-5_i386.deb 09-Nov-2010 02:04 412352
acl2-infix_4.1-5_powerpc.deb 09-Nov-2010 06:05 548058
acl2-infix_4.2-1_amd64.deb 02-Sep-2011 04:04 448738
acl2-infix_4.2-1_armel.deb 05-Sep-2011 01:04 402422
acl2-infix_4.2-1_armhf.deb 02-Feb-2012 03:33 402492
acl2-infix_4.2-1_i386.deb 02-Sep-2011 03:04 409750
acl2-infix_4.2-1_powerpc.deb 15-May-2011 20:04 533400
acl2-infix_4.3-3_amd64.deb 18-May-2012 16:34 198786
acl2-infix_4.3-3_armel.deb 19-May-2012 09:03 390436
acl2-infix_4.3-3_armhf.deb 19-May-2012 08:33 433492
acl2-infix_4.3-3_i386.deb 18-May-2012 14:33 176820
acl2-infix_4.3-3_powerpc.deb 18-May-2012 23:03 219534
acl2-infix_6.0-2_amd64.deb 14-Jan-2013 08:03 199240
acl2-infix_6.0-2_i386.deb 14-Jan-2013 07:33 177780
acl2-infix_6.0-2_powerpc.deb 14-Jan-2013 15:03 220504
acl2-infix_6.2-6_amd64.deb 31-Jul-2013 14:53 202830
acl2-infix_6.2-6_armhf.deb 08-Aug-2013 15:58 542448
acl2-infix_6.2-6_i386.deb 31-Jul-2013 14:38 185324
acl2-infix_6.2-6_powerpc.deb 31-Jul-2013 15:48 211584
acl2-infix_6.4-4_amd64.deb 18-May-2014 12:50 143080
acl2-infix_6.4-4_arm64.deb 24-Aug-2014 08:13 144580
acl2-infix_6.4-4_armhf.deb 18-May-2014 19:38 424920
acl2-infix_6.4-4_i386.deb 18-May-2014 12:50 139464
acl2-infix_6.4-4_powerpc.deb 18-May-2014 18:38 133730
acl2-infix_7.0-1_amd64.deb 27-Jan-2015 14:50 143334
acl2-infix_7.0-1_arm64.deb 28-Jan-2015 03:33 150038
acl2-infix_7.0-1_armhf.deb 28-Jan-2015 02:49 433928
acl2-infix_7.0-1_i386.deb 27-Jan-2015 17:06 145568
acl2-infix_7.0-1_powerpc.deb 27-Jan-2015 17:06 136630
acl2-infix_7.1-1_amd64.deb 27-Jun-2015 13:48 143558
acl2-infix_7.1-1_arm64.deb 02-Jun-2015 14:43 151024
acl2-infix_7.1-1_armhf.deb 02-Jun-2015 12:58 433376
acl2-infix_7.1-1_i386.deb 02-Jun-2015 02:43 145560
acl2-infix_7.1-1_powerpc.deb 02-Jun-2015 05:48 135934
acl2-infix_7.2dfsg-2_amd64.deb 05-May-2016 06:24 401714
acl2-infix_7.2dfsg-2_arm64.deb 09-May-2016 01:38 415490
acl2-infix_7.2dfsg-2_armhf.deb 05-May-2016 23:09 391634
acl2-infix_7.2dfsg-2_i386.deb 05-May-2016 07:09 377972
acl2-infix_7.2dfsg-2_powerpc.deb 13-Jun-2018 06:40 364568
acl2-infix_7.2dfsg-2_s390x.deb 13-Jun-2018 08:43 390444
acl2-infix_8.0dfsg-1_amd64.deb 14-Jan-2018 03:08 424152
acl2-infix_8.0dfsg-1_arm64.deb 22-Jan-2018 03:23 430600
acl2-infix_8.0dfsg-1_armhf.deb 21-Jan-2018 23:13 409780
acl2-infix_8.0dfsg-1_i386.deb 14-Jan-2018 04:49 390264
acl2-infix_8.0dfsg-1_ppc64el.deb 31-Jan-2018 14:57 475384
acl2-infix_8.0dfsg-1_s390x.deb 23-Jan-2018 21:18 387040
acl2-infix_8.0dfsg-1build1_amd64.deb 15-Jan-2019 18:13 482192
acl2-infix_8.0dfsg-1build1_arm64.deb 16-Jan-2019 18:03 470312
acl2-infix_8.0dfsg-1build1_armhf.deb 16-Jan-2019 21:28 472556
acl2-infix_8.0dfsg-1build1_i386.deb 15-Jan-2019 16:47 444668
acl2-infix_8.0dfsg-1build1_s390x.deb 15-Jan-2019 14:28 441412
acl2-infix_8.1dfsg-3_amd64.deb 21-Apr-2019 19:43 482868
acl2-infix_8.1dfsg-3_arm64.deb 22-Apr-2019 12:23 468496
acl2-infix_8.1dfsg-3_armhf.deb 22-Apr-2019 09:43 455712
acl2-infix_8.1dfsg-3_i386.deb 21-Apr-2019 23:31 486192
acl2-infix_8.1dfsg-3_ppc64el.deb 21-Apr-2019 23:48 497796
acl2-infix_8.1dfsg-3_s390x.deb 21-Apr-2019 19:28 439368
acl2-infix_8.3dfsg-1_amd64.deb 24-Aug-2020 12:19 483504
acl2-infix_8.3dfsg-1_arm64.deb 24-Aug-2020 14:13 472404
acl2-infix_8.3dfsg-1_armhf.deb 24-Aug-2020 13:21 446440
acl2-infix_8.3dfsg-1_ppc64el.deb 24-Aug-2020 12:23 500676
acl2-infix_8.3dfsg-1_s390x.deb 24-Aug-2020 12:13 444008
acl2-infix_8.3dfsg-2_amd64.deb 28-Jan-2021 07:19 482812
acl2-infix_8.3dfsg-2_arm64.deb 29-Mar-2021 13:23 472460
acl2-infix_8.3dfsg-2_armhf.deb 29-Jan-2021 05:24 444836
acl2-infix_8.3dfsg-2_ppc64el.deb 28-Mar-2021 19:08 499452
acl2-infix_8.3dfsg-2_s390x.deb 28-Jan-2021 05:25 442668
acl2-infix_8.5dfsg-1_amd64.deb 28-Jul-2022 09:29 545662
acl2-infix_8.5dfsg-1_arm64.deb 02-Aug-2022 02:53 552800
acl2-infix_8.5dfsg-1_armhf.deb 01-Aug-2022 04:13 553796
acl2-infix_8.5dfsg-1_ppc64el.deb 28-Jul-2022 10:37 591260
acl2-infix_8.5dfsg-1_s390x.deb 28-Jul-2022 09:29 514796
acl2-source_2.9-2_all.deb 12-Nov-2004 09:00 2049882
acl2-source_2.9.3-5build1_all.deb 08-Oct-2005 19:55 2113622
acl2-source_2.9.3-7_all.deb 27-Oct-2005 23:20 2113598
acl2-source_3.0-1_all.deb 21-Jun-2006 19:10 2190992
acl2-source_3.1-1_all.deb 07-Dec-2006 04:04 2269052
acl2-source_3.3-1.1_all.deb 11-May-2008 21:04 2484228
acl2-source_3.4-1_all.deb 05-Nov-2008 10:04 2607768
acl2-source_3.4-2_all.deb 28-Apr-2009 23:05 2607826
acl2-source_3.6-4_all.deb 16-Feb-2010 08:05 2737328
acl2-source_4.0-3_all.deb 08-Sep-2010 22:05 3024406
acl2-source_4.1-5_all.deb 09-Nov-2010 02:04 3025272
acl2-source_4.2-1_all.deb 02-Sep-2011 03:03 3124826
acl2-source_4.3-3_all.deb 18-May-2012 14:33 3283508
acl2-source_6.0-2_all.deb 14-Jan-2013 07:33 3701254
acl2-source_6.2-6_all.deb 31-Jul-2013 14:38 3755890
acl2-source_6.4-4_all.deb 18-May-2014 12:50 2725246
acl2-source_7.0-1_all.deb 27-Jan-2015 14:50 2827536
acl2-source_7.1-1_all.deb 27-Jun-2015 13:48 2838230
acl2-source_7.2dfsg-2_all.deb 05-May-2016 06:24 2884736
acl2-source_8.0dfsg-1_all.deb 14-Jan-2018 03:08 3074488
acl2-source_8.0dfsg-1build1_all.deb 15-Jan-2019 18:13 3074636
acl2-source_8.1dfsg-3_all.deb 21-Apr-2019 19:43 3125308
acl2-source_8.3dfsg-1_all.deb 24-Aug-2020 12:19 3331948
acl2-source_8.3dfsg-2_all.deb 28-Jan-2021 07:19 3332024
acl2-source_8.5dfsg-1_all.deb 28-Jul-2022 09:29 3652106
acl2_2.8-4.diff.gz 26-Jul-2004 23:46 12290
acl2_2.8-4.dsc 26-Jul-2004 23:46 795
acl2_2.8-4_amd64.deb 20-Aug-2004 02:30 10503352
acl2_2.8-4_i386.deb 14-Aug-2004 06:30 12866082
acl2_2.8.orig.tar.gz 26-Jul-2004 23:46 5157528
acl2_2.9-2.diff.gz 12-Nov-2004 03:18 18129
acl2_2.9-2.dsc 12-Nov-2004 03:18 794
acl2_2.9-2_amd64.deb 12-Nov-2004 09:15 16694214
acl2_2.9-2_i386.deb 12-Nov-2004 09:00 13733696
acl2_2.9-2_ia64.deb 25-Nov-2004 08:45 16458404
acl2_2.9-2_powerpc.deb 12-Nov-2004 10:00 16167174
acl2_2.9.3-5build1.diff.gz 08-Oct-2005 18:15 19908
acl2_2.9.3-5build1.dsc 08-Oct-2005 18:15 816
acl2_2.9.3-5build1_hppa.deb 09-Oct-2005 09:55 15058002
acl2_2.9.3-5build1_i386.deb 08-Oct-2005 19:55 13915128
acl2_2.9.3-5build1_ia64.deb 08-Oct-2005 21:30 16655670
acl2_2.9.3-7.diff.gz 25-Oct-2005 02:40 20948
acl2_2.9.3-7.dsc 25-Oct-2005 02:40 805
acl2_2.9.3-7_amd64.deb 29-Oct-2005 02:45 17005126
acl2_2.9.3-7_i386.deb 27-Oct-2005 23:20 13928728
acl2_2.9.3-7_ia64.deb 28-Oct-2005 06:05 16606340
acl2_2.9.3-7_powerpc.deb 21-Dec-2005 08:55 15814820
acl2_2.9.3-7_sparc.deb 09-Nov-2005 13:50 18123616
acl2_2.9.3.orig.tar.gz 08-Oct-2005 14:55 5412099
acl2_2.9.orig.tar.gz 30-Oct-2004 02:18 5202871
acl2_3.0-1.diff.gz 15-Jun-2006 17:58 12940
acl2_3.0-1.dsc 15-Jun-2006 17:58 797
acl2_3.0-1_amd64.deb 21-Jun-2006 17:10 18144792
acl2_3.0-1_i386.deb 21-Jun-2006 19:10 14947726
acl2_3.0-1_sparc.deb 22-Jun-2006 16:09 19342652
acl2_3.0.orig.tar.gz 15-Jun-2006 17:58 5966355
acl2_3.1-1.diff.gz 06-Dec-2006 15:05 13272
acl2_3.1-1.dsc 06-Dec-2006 15:05 822
acl2_3.1-1_amd64.deb 07-Dec-2006 18:04 18608156
acl2_3.1-1_i386.deb 07-Dec-2006 04:04 15515156
acl2_3.1-1_ia64.deb 08-Dec-2006 05:03 17567594
acl2_3.1-1_powerpc.deb 07-Dec-2006 11:03 17899648
acl2_3.1-1_sparc.deb 08-Dec-2006 12:03 17465940
acl2_3.1.orig.tar.gz 06-Dec-2006 15:05 6729537
acl2_3.2-1.diff.gz 21-May-2007 09:03 13288
acl2_3.2-1.dsc 21-May-2007 09:03 822
acl2_3.2.orig.tar.gz 21-May-2007 09:03 7047564
acl2_3.3-1.1.diff.gz 09-May-2008 13:06 13594
acl2_3.3-1.1.dsc 09-May-2008 13:06 821
acl2_3.3-1.1_amd64.deb 11-May-2008 06:04 19052278
acl2_3.3-1.1_hppa.deb 21-May-2008 23:04 17551160
acl2_3.3-1.1_i386.deb 11-May-2008 21:04 16902114
acl2_3.3-1.1_ia64.deb 13-May-2008 12:04 19121498
acl2_3.3-1.1_lpia.deb 10-May-2008 09:04 16911966
acl2_3.3-1.1_powerpc.deb 11-May-2008 05:05 18665710
acl2_3.3-1.1_sparc.deb 14-May-2008 13:04 18679342
acl2_3.3-1ubuntu1.diff.gz 17-Feb-2008 00:03 13693
acl2_3.3-1ubuntu1.dsc 17-Feb-2008 00:03 1037
acl2_3.3-1ubuntu1_amd64.deb 17-Feb-2008 02:03 18964582
acl2_3.3-1ubuntu1_hppa.deb 17-Feb-2008 21:03 17458098
acl2_3.3-1ubuntu1_ia64.deb 17-Feb-2008 05:03 19140198
acl2_3.3-1ubuntu1_lpia.deb 17-Feb-2008 02:03 16909336
acl2_3.3-1ubuntu1_powerpc.deb 17-Feb-2008 03:03 18709254
acl2_3.3-1ubuntu1_sparc.deb 17-Feb-2008 04:04 18637122
acl2_3.3.orig.tar.gz 04-Dec-2007 12:05 7318498
acl2_3.4-1.diff.gz 05-Nov-2008 02:06 13765
acl2_3.4-1.dsc 05-Nov-2008 02:06 1177
acl2_3.4-1_amd64.deb 06-Nov-2008 00:10 21741438
acl2_3.4-1_hppa.deb 07-Nov-2008 16:05 20210412
acl2_3.4-1_i386.deb 05-Nov-2008 10:05 19371246
acl2_3.4-1_ia64.deb 06-Nov-2008 22:09 21719966
acl2_3.4-1_lpia.deb 14-Nov-2008 08:04 19318636
acl2_3.4-1_powerpc.deb 05-Nov-2008 22:07 21399936
acl2_3.4-1_sparc.deb 06-Nov-2008 10:07 22131332
acl2_3.4-2.diff.gz 28-Apr-2009 21:04 13897
acl2_3.4-2.dsc 28-Apr-2009 21:04 1183
acl2_3.4-2_amd64.deb 29-Apr-2009 01:04 21622288
acl2_3.4-2_i386.deb 28-Apr-2009 23:06 19303970
acl2_3.4-2_ia64.deb 29-Apr-2009 05:06 21923324
acl2_3.4-2_lpia.deb 28-Apr-2009 23:06 19281768
acl2_3.4-2_powerpc.deb 29-Apr-2009 01:05 21398910
acl2_3.4-2_sparc.deb 02-May-2009 15:05 22310092
acl2_3.4.orig.tar.gz 05-Nov-2008 02:06 8003235
acl2_3.6-4.diff.gz 02-Feb-2010 00:06 15164
acl2_3.6-4.dsc 02-Feb-2010 00:06 1168
acl2_3.6-4_amd64.deb 16-Feb-2010 08:05 22894884
acl2_3.6-4_i386.deb 16-Feb-2010 08:05 20522590
acl2_3.6-4_powerpc.deb 16-Feb-2010 08:05 22583006
acl2_3.6-4_sparc.deb 16-Feb-2010 14:11 23886414
acl2_3.6.orig.tar.gz 02-Feb-2010 00:06 10497441
acl2_4.0-3.diff.gz 07-Sep-2010 00:05 15953
acl2_4.0-3.dsc 07-Sep-2010 00:05 1168
acl2_4.0-3_amd64.deb 07-Sep-2010 05:05 26288906
acl2_4.0-3_i386.deb 08-Sep-2010 22:05 22378412
acl2_4.0-3_powerpc.deb 07-Sep-2010 06:05 25079108
acl2_4.0.orig.tar.gz 07-Sep-2010 00:05 11425814
acl2_4.1-5.debian.tar.gz 07-Nov-2010 12:05 17789
acl2_4.1-5.dsc 07-Nov-2010 12:05 1194
acl2_4.1-5_amd64.deb 09-Nov-2010 03:04 25934446
acl2_4.1-5_i386.deb 09-Nov-2010 02:04 21898136
acl2_4.1-5_powerpc.deb 09-Nov-2010 06:05 23938710
acl2_4.1.orig.tar.gz 15-Oct-2010 11:08 11463683
acl2_4.2-1.debian.tar.gz 15-May-2011 13:04 17887
acl2_4.2-1.dsc 15-May-2011 13:04 1194
acl2_4.2-1_amd64.deb 02-Sep-2011 04:04 26579714
acl2_4.2-1_armel.deb 05-Sep-2011 01:04 21965220
acl2_4.2-1_armhf.deb 02-Feb-2012 03:33 21781958
acl2_4.2-1_i386.deb 02-Sep-2011 03:04 22815150
acl2_4.2-1_powerpc.deb 15-May-2011 20:04 24325400
acl2_4.2.orig.tar.gz 15-May-2011 13:04 11699557
acl2_4.3-3.debian.tar.gz 06-May-2012 04:34 18297
acl2_4.3-3.dsc 06-May-2012 04:34 1491
acl2_4.3-3_amd64.deb 18-May-2012 16:34 28377692
acl2_4.3-3_armel.deb 19-May-2012 09:03 24510556
acl2_4.3-3_armhf.deb 19-May-2012 08:34 23656140
acl2_4.3-3_i386.deb 18-May-2012 14:33 24398036
acl2_4.3-3_powerpc.deb 18-May-2012 23:03 26028008
acl2_4.3.orig.tar.gz 30-Apr-2012 19:43 15251431
acl2_6.0-2.debian.tar.gz 14-Jan-2013 05:33 159054
acl2_6.0-2.dsc 14-Jan-2013 05:33 1741
acl2_6.0-2_amd64.deb 14-Jan-2013 08:03 31730738
acl2_6.0-2_i386.deb 14-Jan-2013 07:33 27043242
acl2_6.0-2_powerpc.deb 14-Jan-2013 15:03 28707924
acl2_6.0.orig-books.tar.gz 13-Jan-2013 11:33 10961166
acl2_6.0.orig.tar.gz 13-Jan-2013 11:33 6774056
acl2_6.2-6.debian.tar.gz 31-Jul-2013 09:38 160699
acl2_6.2-6.dsc 31-Jul-2013 09:38 1746
acl2_6.2-6_amd64.deb 31-Jul-2013 14:53 28092090
acl2_6.2-6_armhf.deb 08-Aug-2013 15:58 24263106
acl2_6.2-6_i386.deb 31-Jul-2013 14:38 24074968
acl2_6.2-6_powerpc.deb 31-Jul-2013 15:48 25995790
acl2_6.2.orig-books.tar.gz 13-Jul-2013 11:28 11334618
acl2_6.2.orig.tar.gz 13-Jul-2013 11:28 6922453
acl2_6.4-4.debian.tar.xz 18-May-2014 11:13 126732
acl2_6.4-4.dsc 18-May-2014 11:13 1814
acl2_6.4-4_amd64.deb 18-May-2014 12:50 15298010
acl2_6.4-4_arm64.deb 24-Aug-2014 08:13 14502018
acl2_6.4-4_armhf.deb 18-May-2014 19:38 13275718
acl2_6.4-4_i386.deb 18-May-2014 12:50 12852498
acl2_6.4-4_powerpc.deb 18-May-2014 18:38 12065092
acl2_6.4.orig-books.tar.gz 02-May-2014 23:18 14170540
acl2_6.4.orig.tar.gz 02-May-2014 23:18 6109095
acl2_7.0-1.debian.tar.xz 27-Jan-2015 11:39 128864
acl2_7.0-1.dsc 27-Jan-2015 11:39 2202
acl2_7.0-1_amd64.deb 27-Jan-2015 14:50 15952478
acl2_7.0-1_arm64.deb 28-Jan-2015 03:33 14515356
acl2_7.0-1_armhf.deb 28-Jan-2015 02:49 13760576
acl2_7.0-1_i386.deb 27-Jan-2015 17:06 14062554
acl2_7.0-1_powerpc.deb 27-Jan-2015 17:06 12813006
acl2_7.0.orig.tar.gz 27-Jan-2015 11:39 58301172
acl2_7.1-1.debian.tar.xz 01-Jun-2015 23:24 128900
acl2_7.1-1.dsc 01-Jun-2015 23:24 2203
acl2_7.1-1_amd64.deb 27-Jun-2015 13:48 17277416
acl2_7.1-1_arm64.deb 02-Jun-2015 14:43 15646510
acl2_7.1-1_armhf.deb 02-Jun-2015 12:58 16136508
acl2_7.1-1_i386.deb 02-Jun-2015 02:43 16463104
acl2_7.1-1_powerpc.deb 02-Jun-2015 05:48 14098382
acl2_7.1.orig.tar.gz 01-Jun-2015 23:24 63342334
acl2_7.2dfsg-2.debian.tar.xz 04-May-2016 23:29 203712
acl2_7.2dfsg-2.dsc 04-May-2016 23:29 2231
acl2_7.2dfsg-2_amd64.deb 05-May-2016 06:24 17875574
acl2_7.2dfsg-2_arm64.deb 09-May-2016 01:39 16142826
acl2_7.2dfsg-2_armhf.deb 05-May-2016 23:09 14889702
acl2_7.2dfsg-2_i386.deb 05-May-2016 07:09 15963954
acl2_7.2dfsg-2_powerpc.deb 13-Jun-2018 06:40 14680640
acl2_7.2dfsg-2_s390x.deb 13-Jun-2018 08:43 17323334
acl2_7.2dfsg.orig.tar.gz 26-Apr-2016 22:12 64411749
acl2_8.0dfsg-1.debian.tar.xz 13-Jan-2018 23:08 204760
acl2_8.0dfsg-1.dsc 13-Jan-2018 23:08 2245
acl2_8.0dfsg-1_amd64.deb 14-Jan-2018 03:08 19704384
acl2_8.0dfsg-1_arm64.deb 22-Jan-2018 03:23 17735608
acl2_8.0dfsg-1_armhf.deb 21-Jan-2018 23:13 16180312
acl2_8.0dfsg-1_i386.deb 14-Jan-2018 04:49 16994892
acl2_8.0dfsg-1_ppc64el.deb 31-Jan-2018 14:58 19553148
acl2_8.0dfsg-1_s390x.deb 23-Jan-2018 21:18 18695628
acl2_8.0dfsg-1build1.debian.tar.xz 15-Jan-2019 11:08 204812
acl2_8.0dfsg-1build1.dsc 15-Jan-2019 11:08 2294
acl2_8.0dfsg-1build1_amd64.deb 15-Jan-2019 18:13 19611628
acl2_8.0dfsg-1build1_arm64.deb 16-Jan-2019 18:03 18810792
acl2_8.0dfsg-1build1_armhf.deb 16-Jan-2019 21:28 16777812
acl2_8.0dfsg-1build1_i386.deb 15-Jan-2019 16:47 17515712
acl2_8.0dfsg-1build1_s390x.deb 15-Jan-2019 14:28 19532368
acl2_8.0dfsg.orig.tar.gz 13-Jan-2018 23:08 77635571
acl2_8.1dfsg-3.debian.tar.xz 21-Apr-2019 11:46 205156
acl2_8.1dfsg-3.dsc 21-Apr-2019 11:46 2245
acl2_8.1dfsg-3_amd64.deb 21-Apr-2019 19:43 20345344
acl2_8.1dfsg-3_arm64.deb 22-Apr-2019 12:23 19477312
acl2_8.1dfsg-3_armhf.deb 22-Apr-2019 09:43 17701296
acl2_8.1dfsg-3_i386.deb 21-Apr-2019 23:31 18750908
acl2_8.1dfsg-3_ppc64el.deb 21-Apr-2019 23:48 20220228
acl2_8.1dfsg-3_s390x.deb 21-Apr-2019 19:28 19070036
acl2_8.1dfsg.orig.tar.gz 21-Apr-2019 11:46 78970801
acl2_8.3dfsg-1.debian.tar.xz 24-Aug-2020 11:13 205984
acl2_8.3dfsg-1.dsc 24-Aug-2020 11:13 2250
acl2_8.3dfsg-1_amd64.deb 24-Aug-2020 12:18 21248960
acl2_8.3dfsg-1_arm64.deb 24-Aug-2020 14:13 19548464
acl2_8.3dfsg-1_armhf.deb 24-Aug-2020 13:21 18285696
acl2_8.3dfsg-1_ppc64el.deb 24-Aug-2020 12:23 21776364
acl2_8.3dfsg-1_s390x.deb 24-Aug-2020 12:13 20670472
acl2_8.3dfsg-2.debian.tar.xz 27-Jan-2021 23:19 228320
acl2_8.3dfsg-2.dsc 27-Jan-2021 23:19 2275
acl2_8.3dfsg-2_amd64.deb 28-Jan-2021 07:19 21532316
acl2_8.3dfsg-2_arm64.deb 29-Mar-2021 13:23 19840008
acl2_8.3dfsg-2_armhf.deb 29-Jan-2021 05:24 18434708
acl2_8.3dfsg-2_ppc64el.deb 28-Mar-2021 19:08 21529260
acl2_8.3dfsg-2_s390x.deb 28-Jan-2021 05:25 20941276
acl2_8.3dfsg.orig.tar.gz 24-Aug-2020 11:13 117260902
acl2_8.5dfsg-1.debian.tar.xz 27-Jul-2022 23:33 312308
acl2_8.5dfsg-1.dsc 27-Jul-2022 23:33 2281
acl2_8.5dfsg-1_amd64.deb 28-Jul-2022 09:29 27051592
acl2_8.5dfsg-1_arm64.deb 02-Aug-2022 02:53 25445792
acl2_8.5dfsg-1_armhf.deb 01-Aug-2022 04:13 23063470
acl2_8.5dfsg-1_ppc64el.deb 28-Jul-2022 10:37 27255952
acl2_8.5dfsg-1_s390x.deb 28-Jul-2022 09:29 26707282
acl2_8.5dfsg.orig.tar.gz 27-Jul-2022 23:33 223546594
elpa-acl2_8.5dfsg-1_all.deb 28-Jul-2022 09:29 71952