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

      Name                    Last modified       Size  Description

[DIR] Parent Directory 20-May-2021 10:10 - [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.3..> 28-Jan-2021 03:25 139M [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...> 28-Jan-2021 03:25 18.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.3dfsg-2..> 27-Jan-2021 22:57 241M [TXT] acl2-books_8.3dfsg-2..> 28-Jan-2021 16:43 236M [TXT] acl2-books_8.3dfsg-2..> 28-Jan-2021 08:13 218M [TXT] acl2-books_8.3dfsg-2..> 28-Jan-2021 07:42 223M [TXT] acl2-books_8.3dfsg-2..> 27-Jan-2021 23:22 204M [TXT] acl2-books_8.3dfsg-2..> 30-Jan-2021 20:12 254M [TXT] acl2-books_8.3dfsg-2..> 29-Jan-2021 10:42 228M [TXT] acl2-books_8.3dfsg-2..> 28-Jan-2021 00:44 245M [TXT] acl2-books_8.3dfsg-2..> 28-Jan-2021 03:35 219M [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.3dfsg-2_a..> 28-Jan-2021 03:25 437k [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.3dfsg-2..> 28-Jan-2021 03:25 68k [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...> 28-Jan-2021 03:25 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.3dfsg-2..> 27-Jan-2021 22:57 479k [TXT] acl2-infix_8.3dfsg-2..> 28-Jan-2021 16:43 469k [TXT] acl2-infix_8.3dfsg-2..> 28-Jan-2021 08:13 463k [TXT] acl2-infix_8.3dfsg-2..> 28-Jan-2021 07:42 478k [TXT] acl2-infix_8.3dfsg-2..> 27-Jan-2021 23:22 485k [TXT] acl2-infix_8.3dfsg-2..> 30-Jan-2021 20:12 503k [TXT] acl2-infix_8.3dfsg-2..> 29-Jan-2021 10:42 509k [TXT] acl2-infix_8.3dfsg-2..> 28-Jan-2021 00:44 498k [TXT] acl2-infix_8.3dfsg-2..> 28-Jan-2021 03:35 435k [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.3dfsg-..> 28-Jan-2021 03:25 3.2M [   ] 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.3dfsg-2.debia..> 27-Jan-2021 15:34 223k [TXT] acl2_8.3dfsg-2.dsc 27-Jan-2021 15:34 2k [TXT] acl2_8.3dfsg-2_amd64..> 27-Jan-2021 22:57 20.5M [TXT] acl2_8.3dfsg-2_arm64..> 28-Jan-2021 16:43 19.0M [TXT] acl2_8.3dfsg-2_armel..> 28-Jan-2021 08:13 17.6M [TXT] acl2_8.3dfsg-2_armhf..> 28-Jan-2021 07:42 17.7M [TXT] acl2_8.3dfsg-2_i386.deb 27-Jan-2021 23:22 18.6M [TXT] acl2_8.3dfsg-2_mips6..> 30-Jan-2021 20:12 18.4M [TXT] acl2_8.3dfsg-2_mipse..> 29-Jan-2021 10:42 18.8M [TXT] acl2_8.3dfsg-2_ppc64..> 28-Jan-2021 00:44 21.6M [TXT] acl2_8.3dfsg-2_s390x..> 28-Jan-2021 03:35 19.7M [   ] acl2_8.3dfsg.orig.ta..> 24-Aug-2020 04:39 112M

Apache/1.3.26 Server at ftp.uni-bayreuth.de Port 80