Index of /ubuntu/pool/universe/a/acl2/
../
acl2-books-certs_4.2-1_all.deb 02-Sep-2011 03:03 1984690
acl2-books-certs_6.3-5_all.deb 24-Oct-2013 16:36 11641112
acl2-books-certs_7.1-1_all.deb 27-Jun-2015 13:48 13191160
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.2dfsg-3_all.deb 31-Dec-2019 18:53 68995148
acl2-books-source_4.2-1_all.deb 02-Sep-2011 03:03 5119974
acl2-books-source_6.3-5_all.deb 24-Oct-2013 16:36 9570222
acl2-books-source_7.1-1_all.deb 27-Jun-2015 13:48 10333152
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.2dfsg-3_all.deb 31-Dec-2019 18:53 14290144
acl2-books_4.2-1_amd64.deb 02-Sep-2011 04:04 41344624
acl2-books_4.2-1_i386.deb 02-Sep-2011 03:04 36080612
acl2-books_6.3-5_amd64.deb 24-Oct-2013 16:36 42067578
acl2-books_6.3-5_i386.deb 24-Oct-2013 16:36 37550284
acl2-books_7.1-1_amd64.deb 27-Jun-2015 13:48 19608788
acl2-books_7.1-1_i386.deb 02-Jun-2015 02:43 18602828
acl2-books_8.0dfsg-1_amd64.deb 14-Jan-2018 03:08 138083420
acl2-books_8.0dfsg-1_i386.deb 14-Jan-2018 04:49 119603224
acl2-books_8.0dfsg-1build1_amd64.deb 15-Jan-2019 18:13 151973464
acl2-books_8.0dfsg-1build1_i386.deb 15-Jan-2019 16:47 132707576
acl2-books_8.1dfsg-3_amd64.deb 21-Apr-2019 19:43 163394484
acl2-books_8.1dfsg-3_i386.deb 21-Apr-2019 23:31 145651408
acl2-books_8.2dfsg-3_amd64.deb 31-Dec-2019 18:53 171388408
acl2-doc_4.2-1_all.deb 02-Sep-2011 03:03 270088
acl2-doc_6.3-5_all.deb 24-Oct-2013 16:36 12728778
acl2-doc_7.1-1_all.deb 27-Jun-2015 13:48 361780
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.2dfsg-3_all.deb 31-Dec-2019 18:53 424996
acl2-emacs_4.2-1_all.deb 02-Sep-2011 03:03 52768
acl2-emacs_6.3-5_all.deb 24-Oct-2013 16:36 56302
acl2-emacs_7.1-1_all.deb 27-Jun-2015 13:48 56524
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.2dfsg-3_all.deb 31-Dec-2019 18:53 60456
acl2-infix-source_4.2-1_all.deb 02-Sep-2011 03:03 81590
acl2-infix-source_6.3-5_all.deb 24-Oct-2013 16:36 88034
acl2-infix-source_7.1-1_all.deb 27-Jun-2015 13:48 72020
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.2dfsg-3_all.deb 31-Dec-2019 18:53 71800
acl2-infix_4.2-1_amd64.deb 02-Sep-2011 04:04 448738
acl2-infix_4.2-1_i386.deb 02-Sep-2011 03:04 409750
acl2-infix_6.3-5_amd64.deb 24-Oct-2013 16:36 205126
acl2-infix_6.3-5_i386.deb 24-Oct-2013 16:36 193572
acl2-infix_7.1-1_amd64.deb 27-Jun-2015 13:48 143558
acl2-infix_7.1-1_i386.deb 02-Jun-2015 02:43 145560
acl2-infix_8.0dfsg-1_amd64.deb 14-Jan-2018 03:08 424152
acl2-infix_8.0dfsg-1_i386.deb 14-Jan-2018 04:49 390264
acl2-infix_8.0dfsg-1build1_amd64.deb 15-Jan-2019 18:13 482192
acl2-infix_8.0dfsg-1build1_i386.deb 15-Jan-2019 16:47 444668
acl2-infix_8.1dfsg-3_amd64.deb 21-Apr-2019 19:43 482868
acl2-infix_8.1dfsg-3_i386.deb 21-Apr-2019 23:31 486192
acl2-infix_8.2dfsg-3_amd64.deb 31-Dec-2019 18:53 486972
acl2-source_4.2-1_all.deb 02-Sep-2011 03:03 3124826
acl2-source_6.3-5_all.deb 24-Oct-2013 16:36 3795138
acl2-source_7.1-1_all.deb 27-Jun-2015 13:48 2838230
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.2dfsg-3_all.deb 31-Dec-2019 18:53 3268472
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_i386.deb 02-Sep-2011 03:04 22815150
acl2_4.2.orig.tar.gz 15-May-2011 13:04 11699557
acl2_6.3-5.debian.tar.gz 21-Oct-2013 13:09 161480
acl2_6.3-5.dsc 21-Oct-2013 13:09 1749
acl2_6.3-5_amd64.deb 24-Oct-2013 16:36 27878170
acl2_6.3-5_i386.deb 24-Oct-2013 16:36 24013356
acl2_6.3.orig-books.tar.gz 21-Oct-2013 13:09 13598991
acl2_6.3.orig.tar.gz 21-Oct-2013 13:09 7068895
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_i386.deb 02-Jun-2015 02:43 16463104
acl2_7.1.orig.tar.gz 01-Jun-2015 23:24 63342334
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_i386.deb 14-Jan-2018 04:49 16994892
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_i386.deb 15-Jan-2019 16:47 17515712
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_i386.deb 21-Apr-2019 23:31 18750908
acl2_8.1dfsg.orig.tar.gz 21-Apr-2019 11:46 78970801
acl2_8.2dfsg-3.debian.tar.xz 31-Dec-2019 11:13 205976
acl2_8.2dfsg-3.dsc 31-Dec-2019 11:13 2247
acl2_8.2dfsg-3_amd64.deb 31-Dec-2019 18:53 21896024
acl2_8.2dfsg.orig.tar.gz 19-Dec-2019 23:13 80652725