Index of /debian/pool/main/a/acl2

      Name                    Last modified       Size  Description

[DIR] Parent Directory 06-Aug-2020 12:00 - [TXT] acl2-books-certs_6.5..> 08-Sep-2014 16:35 6.2M [TXT] acl2-books-certs_7.2..> 17-Oct-2016 16:35 52.3M [TXT] acl2-books-certs_8.0..> 13-Jan-2018 14:52 69.9M [TXT] acl2-books-certs_8.2..> 31-Dec-2019 13:29 65.8M [TXT] acl2-books-source_6...> 08-Sep-2014 16:35 6.6M [TXT] acl2-books-source_7...> 17-Oct-2016 16:35 10.4M [TXT] acl2-books-source_8...> 13-Jan-2018 14:52 11.9M [TXT] acl2-books-source_8...> 31-Dec-2019 13:29 13.6M [TXT] acl2-books_6.5-2_amd..> 08-Sep-2014 16:35 22.1M [TXT] acl2-books_6.5-2_arm..> 09-Sep-2014 13:25 65.0M [TXT] acl2-books_6.5-2_arm..> 12-Sep-2014 12:12 66.7M [TXT] acl2-books_6.5-2_i38..> 08-Sep-2014 23:44 20.8M [TXT] acl2-books_7.2dfsg-3..> 17-Oct-2016 16:35 103M [TXT] acl2-books_7.2dfsg-3..> 18-Oct-2016 07:59 104M [TXT] acl2-books_7.2dfsg-3..> 19-Oct-2016 07:29 86.3M [TXT] acl2-books_7.2dfsg-3..> 19-Oct-2016 03:33 91.9M [TXT] acl2-books_7.2dfsg-3..> 18-Oct-2016 01:35 86.3M [TXT] acl2-books_7.2dfsg-3..> 18-Oct-2016 17:12 71.3M [TXT] acl2-books_7.2dfsg-3..> 20-Oct-2016 02:31 108M [TXT] acl2-books_7.2dfsg-3..> 19-Oct-2016 16:45 74.2M [TXT] acl2-books_7.2dfsg-3..> 18-Oct-2016 00:34 98.8M [TXT] acl2-books_7.2dfsg-3..> 18-Oct-2016 09:30 102M [TXT] acl2-books_8.0dfsg-1..> 14-Feb-2019 14:00 127M [TXT] acl2-books_8.0dfsg-1..> 13-Jan-2018 14:52 132M [TXT] acl2-books_8.0dfsg-1..> 14-Jan-2018 03:47 135M [TXT] acl2-books_8.0dfsg-1..> 15-Jan-2018 09:46 120M [TXT] acl2-books_8.0dfsg-1..> 13-Jan-2018 22:26 111M [TXT] acl2-books_8.0dfsg-1..> 16-Jan-2018 07:15 126M [TXT] acl2-books_8.0dfsg-1..> 16-Jan-2018 04:44 140M [TXT] acl2-books_8.0dfsg-1..> 16-Jan-2018 06:14 131M [TXT] acl2-books_8.0dfsg-1..> 13-Jan-2018 21:26 130M [TXT] acl2-books_8.0dfsg-1..> 13-Jan-2018 21:41 122M [TXT] acl2-books_8.2dfsg-3..> 31-Dec-2019 14:55 164M [TXT] acl2-books_8.2dfsg-3..> 01-Jan-2020 20:00 161M [TXT] acl2-books_8.2dfsg-3..> 02-Jan-2020 00:45 147M [TXT] acl2-books_8.2dfsg-3..> 01-Jan-2020 21:58 151M [TXT] acl2-books_8.2dfsg-3..> 31-Dec-2019 10:07 139M [TXT] acl2-books_8.2dfsg-3..> 02-Jan-2020 05:43 174M [TXT] acl2-books_8.2dfsg-3..> 03-Jan-2020 15:15 161M [TXT] acl2-books_8.2dfsg-3..> 31-Dec-2019 11:12 165M [TXT] acl2-books_8.2dfsg-3..> 31-Dec-2019 10:42 150M [TXT] acl2-doc_6.5-2_all.deb 08-Sep-2014 16:35 1.6M [TXT] acl2-doc_7.2dfsg-3_a..> 17-Oct-2016 16:35 372k [TXT] acl2-doc_8.0dfsg-1_a..> 13-Jan-2018 14:52 392k [TXT] acl2-doc_8.2dfsg-3_a..> 31-Dec-2019 13:29 423k [TXT] acl2-emacs_6.5-2_all..> 08-Sep-2014 16:35 59k [TXT] acl2-emacs_7.2dfsg-3..> 17-Oct-2016 16:35 63k [TXT] acl2-emacs_8.0dfsg-1..> 13-Jan-2018 14:52 66k [TXT] acl2-emacs_8.2dfsg-3..> 31-Dec-2019 13:29 67k [TXT] acl2-infix-source_6...> 08-Sep-2014 16:35 78k [TXT] acl2-infix-source_7...> 17-Oct-2016 16:35 77k [TXT] acl2-infix-source_8...> 13-Jan-2018 14:52 77k [TXT] acl2-infix-source_8...> 31-Dec-2019 13:29 78k [TXT] acl2-infix_6.5-2_amd..> 08-Sep-2014 16:35 147k [TXT] acl2-infix_6.5-2_arm..> 09-Sep-2014 13:25 403k [TXT] acl2-infix_6.5-2_arm..> 12-Sep-2014 12:12 424k [TXT] acl2-infix_6.5-2_i38..> 08-Sep-2014 23:44 148k [TXT] acl2-infix_7.2dfsg-3..> 17-Oct-2016 16:35 410k [TXT] acl2-infix_7.2dfsg-3..> 18-Oct-2016 07:59 420k [TXT] acl2-infix_7.2dfsg-3..> 19-Oct-2016 07:29 382k [TXT] acl2-infix_7.2dfsg-3..> 19-Oct-2016 03:33 401k [TXT] acl2-infix_7.2dfsg-3..> 18-Oct-2016 01:35 381k [TXT] acl2-infix_7.2dfsg-3..> 18-Oct-2016 17:12 408k [TXT] acl2-infix_7.2dfsg-3..> 20-Oct-2016 02:31 424k [TXT] acl2-infix_7.2dfsg-3..> 19-Oct-2016 16:45 426k [TXT] acl2-infix_7.2dfsg-3..> 18-Oct-2016 00:34 413k [TXT] acl2-infix_7.2dfsg-3..> 18-Oct-2016 09:30 408k [TXT] acl2-infix_8.0dfsg-1..> 14-Feb-2019 14:00 432k [TXT] acl2-infix_8.0dfsg-1..> 13-Jan-2018 14:52 422k [TXT] acl2-infix_8.0dfsg-1..> 14-Jan-2018 03:47 432k [TXT] acl2-infix_8.0dfsg-1..> 15-Jan-2018 09:46 407k [TXT] acl2-infix_8.0dfsg-1..> 13-Jan-2018 22:26 390k [TXT] acl2-infix_8.0dfsg-1..> 16-Jan-2018 07:15 421k [TXT] acl2-infix_8.0dfsg-1..> 16-Jan-2018 04:44 440k [TXT] acl2-infix_8.0dfsg-1..> 16-Jan-2018 06:14 442k [TXT] acl2-infix_8.0dfsg-1..> 13-Jan-2018 21:26 434k [TXT] acl2-infix_8.0dfsg-1..> 13-Jan-2018 21:41 397k [TXT] acl2-infix_8.2dfsg-3..> 31-Dec-2019 14:55 480k [TXT] acl2-infix_8.2dfsg-3..> 01-Jan-2020 20:00 468k [TXT] acl2-infix_8.2dfsg-3..> 02-Jan-2020 00:45 462k [TXT] acl2-infix_8.2dfsg-3..> 01-Jan-2020 21:58 455k [TXT] acl2-infix_8.2dfsg-3..> 31-Dec-2019 10:07 486k [TXT] acl2-infix_8.2dfsg-3..> 02-Jan-2020 05:43 496k [TXT] acl2-infix_8.2dfsg-3..> 03-Jan-2020 15:15 504k [TXT] acl2-infix_8.2dfsg-3..> 31-Dec-2019 11:12 498k [TXT] acl2-infix_8.2dfsg-3..> 31-Dec-2019 10:42 441k [TXT] acl2-source_6.5-2_al..> 08-Sep-2014 16:35 2.6M [TXT] acl2-source_7.2dfsg-..> 17-Oct-2016 16:35 2.8M [TXT] acl2-source_8.0dfsg-..> 13-Jan-2018 14:52 2.9M [TXT] acl2-source_8.2dfsg-..> 31-Dec-2019 13:29 3.1M [   ] acl2_6.5-2.debian.ta..> 08-Sep-2014 16:35 125k [TXT] acl2_6.5-2.dsc 08-Sep-2014 16:35 2k [TXT] acl2_6.5-2_amd64.deb 08-Sep-2014 16:35 15.6M [TXT] acl2_6.5-2_armel.deb 09-Sep-2014 13:25 13.1M [TXT] acl2_6.5-2_armhf.deb 12-Sep-2014 12:12 13.5M [TXT] acl2_6.5-2_i386.deb 08-Sep-2014 23:44 13.4M [   ] acl2_6.5.orig-books...> 17-Aug-2014 17:21 14.3M [   ] acl2_6.5.orig.tar.gz 17-Aug-2014 17:21 5.9M [   ] acl2_7.2dfsg-3.debia..> 17-Oct-2016 16:35 199k [TXT] acl2_7.2dfsg-3.dsc 17-Oct-2016 16:35 2k [TXT] acl2_7.2dfsg-3_amd64..> 17-Oct-2016 16:35 17.3M [TXT] acl2_7.2dfsg-3_arm64..> 18-Oct-2016 07:59 14.9M [TXT] acl2_7.2dfsg-3_armel..> 19-Oct-2016 07:29 13.8M [TXT] acl2_7.2dfsg-3_armhf..> 19-Oct-2016 03:33 14.0M [TXT] acl2_7.2dfsg-3_i386.deb 18-Oct-2016 01:35 14.9M [TXT] acl2_7.2dfsg-3_mips.deb 18-Oct-2016 17:12 15.0M [TXT] acl2_7.2dfsg-3_mips6..> 20-Oct-2016 02:31 14.9M [TXT] acl2_7.2dfsg-3_mipse..> 19-Oct-2016 16:45 15.1M [TXT] acl2_7.2dfsg-3_ppc64..> 18-Oct-2016 00:34 15.6M [TXT] acl2_7.2dfsg-3_s390x..> 18-Oct-2016 09:30 15.3M [   ] acl2_7.2dfsg.orig.ta..> 14-Apr-2016 15:54 61.4M [TXT] acl2_8.0dfsg-1+b1_ar..> 14-Feb-2019 14:00 16.0M [   ] acl2_8.0dfsg-1.debia..> 13-Jan-2018 14:52 200k [TXT] acl2_8.0dfsg-1.dsc 13-Jan-2018 14:52 2k [TXT] acl2_8.0dfsg-1_amd64..> 13-Jan-2018 14:52 18.9M [TXT] acl2_8.0dfsg-1_arm64..> 14-Jan-2018 03:47 17.0M [TXT] acl2_8.0dfsg-1_armhf..> 15-Jan-2018 09:46 15.4M [TXT] acl2_8.0dfsg-1_i386.deb 13-Jan-2018 22:26 16.2M [TXT] acl2_8.0dfsg-1_mips.deb 16-Jan-2018 07:15 16.5M [TXT] acl2_8.0dfsg-1_mips6..> 16-Jan-2018 04:44 16.4M [TXT] acl2_8.0dfsg-1_mipse..> 16-Jan-2018 06:14 16.7M [TXT] acl2_8.0dfsg-1_ppc64..> 13-Jan-2018 21:26 18.5M [TXT] acl2_8.0dfsg-1_s390x..> 13-Jan-2018 21:41 17.2M [   ] acl2_8.0dfsg.orig.ta..> 13-Jan-2018 14:52 74.0M [   ] acl2_8.2dfsg-3.debia..> 31-Dec-2019 03:04 201k [TXT] acl2_8.2dfsg-3.dsc 31-Dec-2019 03:04 2k [TXT] acl2_8.2dfsg-3_amd64..> 31-Dec-2019 14:55 21.0M [TXT] acl2_8.2dfsg-3_arm64..> 01-Jan-2020 20:00 19.5M [TXT] acl2_8.2dfsg-3_armel..> 02-Jan-2020 00:45 17.1M [TXT] acl2_8.2dfsg-3_armhf..> 01-Jan-2020 21:58 17.8M [TXT] acl2_8.2dfsg-3_i386.deb 31-Dec-2019 10:07 18.0M [TXT] acl2_8.2dfsg-3_mips6..> 02-Jan-2020 05:43 19.3M [TXT] acl2_8.2dfsg-3_mipse..> 03-Jan-2020 15:15 18.1M [TXT] acl2_8.2dfsg-3_ppc64..> 31-Dec-2019 11:12 21.3M [TXT] acl2_8.2dfsg-3_s390x..> 31-Dec-2019 10:42 20.1M [   ] acl2_8.2dfsg.orig.ta..> 19-Dec-2019 18:06 76.9M