Name Last modified Size
![[DIR]](/images/back.gif)
Parent Directory -
![[ ]](/images/unknown.gif)
acl2-books-certs_6.5-2_all.deb 08-Sep-2014 17:35 6.2M
acl2-books-certs_7.2dfsg-3_all.deb 17-Oct-2016 17:35 52M
acl2-books-certs_8.0dfsg-1_all.deb 13-Jan-2018 15:52 70M
acl2-books-certs_8.3dfsg-2_all.deb 28-Jan-2021 04:25 139M
acl2-books-certs_8.3dfsg-3_all.deb 10-Feb-2021 16:24 139M
acl2-books-certs_8.4dfsg-2_all.deb 02-Nov-2021 05:14 168M
acl2-books-certs_8.5dfsg-5_all.deb 16-Jan-2023 16:55 170M
acl2-books-source_6.5-2_all.deb 08-Sep-2014 17:35 6.6M
acl2-books-source_7.2dfsg-3_all.deb 17-Oct-2016 17:35 10M
acl2-books-source_8.0dfsg-1_all.deb 13-Jan-2018 15:52 12M
acl2-books-source_8.3dfsg-2_all.deb 28-Jan-2021 04:25 19M
acl2-books-source_8.3dfsg-3_all.deb 10-Feb-2021 16:24 19M
acl2-books-source_8.4dfsg-2_all.deb 02-Nov-2021 05:14 22M
acl2-books-source_8.5dfsg-5_all.deb 16-Jan-2023 16:55 24M
acl2-books_6.5-2_amd64.deb 08-Sep-2014 17:35 22M
acl2-books_6.5-2_armel.deb 09-Sep-2014 14:25 65M
acl2-books_6.5-2_armhf.deb 12-Sep-2014 13:12 67M
acl2-books_6.5-2_i386.deb 09-Sep-2014 00:44 21M
acl2-books_7.2dfsg-3_amd64.deb 17-Oct-2016 17:35 103M
acl2-books_7.2dfsg-3_arm64.deb 18-Oct-2016 08:59 104M
acl2-books_7.2dfsg-3_armel.deb 19-Oct-2016 08:29 86M
acl2-books_7.2dfsg-3_armhf.deb 19-Oct-2016 04:33 92M
acl2-books_7.2dfsg-3_i386.deb 18-Oct-2016 02:35 86M
acl2-books_7.2dfsg-3_mips.deb 18-Oct-2016 18:12 71M
acl2-books_7.2dfsg-3_mips64el.deb 20-Oct-2016 03:31 108M
acl2-books_7.2dfsg-3_mipsel.deb 19-Oct-2016 17:45 74M
acl2-books_7.2dfsg-3_ppc64el.deb 18-Oct-2016 01:34 99M
acl2-books_7.2dfsg-3_s390x.deb 18-Oct-2016 10:30 102M
acl2-books_8.0dfsg-1+b1_armel.deb 14-Feb-2019 15:00 127M
acl2-books_8.0dfsg-1_amd64.deb 13-Jan-2018 15:52 132M
acl2-books_8.0dfsg-1_arm64.deb 14-Jan-2018 04:47 135M
acl2-books_8.0dfsg-1_armhf.deb 15-Jan-2018 10:46 120M
acl2-books_8.0dfsg-1_i386.deb 13-Jan-2018 23:26 111M
acl2-books_8.0dfsg-1_mips.deb 16-Jan-2018 08:15 126M
acl2-books_8.0dfsg-1_mips64el.deb 16-Jan-2018 05:44 140M
acl2-books_8.0dfsg-1_mipsel.deb 16-Jan-2018 07:14 131M
acl2-books_8.0dfsg-1_ppc64el.deb 13-Jan-2018 22:26 130M
acl2-books_8.0dfsg-1_s390x.deb 13-Jan-2018 22:41 122M
acl2-books_8.3dfsg-2_amd64.deb 27-Jan-2021 23:57 241M
acl2-books_8.3dfsg-2_arm64.deb 28-Jan-2021 17:43 236M
acl2-books_8.3dfsg-2_armel.deb 28-Jan-2021 09:13 218M
acl2-books_8.3dfsg-2_armhf.deb 28-Jan-2021 08:42 223M
acl2-books_8.3dfsg-2_i386.deb 28-Jan-2021 00:22 204M
acl2-books_8.3dfsg-2_mips64el.deb 30-Jan-2021 21:12 254M
acl2-books_8.3dfsg-2_mipsel.deb 29-Jan-2021 11:42 228M
acl2-books_8.3dfsg-2_ppc64el.deb 28-Jan-2021 01:44 245M
acl2-books_8.3dfsg-2_s390x.deb 28-Jan-2021 04:35 219M
acl2-books_8.3dfsg-3_amd64.deb 10-Feb-2021 16:25 241M
acl2-books_8.3dfsg-3_arm64.deb 14-Sep-2021 21:43 236M
acl2-books_8.3dfsg-3_armel.deb 16-Sep-2021 16:44 218M
acl2-books_8.3dfsg-3_i386.deb 14-Sep-2021 09:45 203M
acl2-books_8.3dfsg-3_mips64el.deb 18-Sep-2021 19:15 254M
acl2-books_8.3dfsg-3_mipsel.deb 18-Sep-2021 10:56 236M
acl2-books_8.3dfsg-3_ppc64el.deb 14-Sep-2021 12:57 245M
acl2-books_8.3dfsg-3_s390x.deb 14-Sep-2021 08:40 219M
acl2-books_8.4dfsg-2_amd64.deb 02-Nov-2021 07:45 285M
acl2-books_8.4dfsg-2_arm64.deb 02-Nov-2021 19:58 280M
acl2-books_8.4dfsg-2_armel.deb 02-Nov-2021 23:47 262M
acl2-books_8.4dfsg-2_armhf.deb 03-Nov-2021 09:28 268M
acl2-books_8.4dfsg-2_i386.deb 02-Nov-2021 07:14 246M
acl2-books_8.4dfsg-2_mips64el.deb 03-Nov-2021 20:10 303M
acl2-books_8.4dfsg-2_mipsel.deb 07-Nov-2021 05:00 272M
acl2-books_8.4dfsg-2_ppc64el.deb 02-Nov-2021 08:30 292M
acl2-books_8.4dfsg-2_s390x.deb 05-Nov-2021 07:25 264M
acl2-books_8.5dfsg-5+b1_amd64.deb 27-Mar-2024 03:26 287M
acl2-books_8.5dfsg-5+b1_arm64.deb 27-Mar-2024 01:49 290M
acl2-books_8.5dfsg-5+b1_armel.deb 27-Mar-2024 23:25 270M
acl2-books_8.5dfsg-5+b1_armhf.deb 27-Mar-2024 04:02 276M
acl2-books_8.5dfsg-5+b1_i386.deb 27-Mar-2024 02:20 248M
acl2-books_8.5dfsg-5+b1_ppc64el.deb 27-Mar-2024 01:39 291M
acl2-books_8.5dfsg-5+b1_s390x.deb 26-Mar-2024 23:38 281M
acl2-books_8.5dfsg-5+b2_mips64el.deb 01-Apr-2024 16:45 312M
acl2-books_8.5dfsg-5+b2_riscv64.deb 05-Apr-2024 03:53 720M
acl2-books_8.5dfsg-5_amd64.deb 16-Jan-2023 22:15 287M
acl2-books_8.5dfsg-5_arm64.deb 17-Jan-2023 23:13 289M
acl2-books_8.5dfsg-5_armel.deb 17-Jan-2023 21:26 268M
acl2-books_8.5dfsg-5_armhf.deb 17-Jan-2023 13:32 272M
acl2-books_8.5dfsg-5_i386.deb 16-Jan-2023 17:16 248M
acl2-books_8.5dfsg-5_mips64el.deb 23-Jan-2023 14:58 309M
acl2-books_8.5dfsg-5_mipsel.deb 22-Jan-2023 02:30 285M
acl2-books_8.5dfsg-5_ppc64el.deb 18-Jan-2023 22:10 292M
acl2-books_8.5dfsg-5_s390x.deb 16-Jan-2023 16:30 267M
acl2-doc_6.5-2_all.deb 08-Sep-2014 17:35 1.6M
acl2-doc_7.2dfsg-3_all.deb 17-Oct-2016 17:35 372K
acl2-doc_8.0dfsg-1_all.deb 13-Jan-2018 15:52 392K
acl2-doc_8.3dfsg-2_all.deb 28-Jan-2021 04:25 437K
acl2-doc_8.3dfsg-3_all.deb 10-Feb-2021 16:25 437K
acl2-doc_8.4dfsg-2_all.deb 02-Nov-2021 05:14 445K
acl2-doc_8.5dfsg-5_all.deb 16-Jan-2023 16:55 470K
acl2-emacs_6.5-2_all.deb 08-Sep-2014 17:35 59K
acl2-emacs_7.2dfsg-3_all.deb 17-Oct-2016 17:35 63K
acl2-emacs_8.0dfsg-1_all.deb 13-Jan-2018 15:52 66K
acl2-emacs_8.3dfsg-2_all.deb 28-Jan-2021 04:25 68K
acl2-infix-source_6.5-2_all.deb 08-Sep-2014 17:35 78K
acl2-infix-source_7.2dfsg-3_all.deb 17-Oct-2016 17:35 77K
acl2-infix-source_8.0dfsg-1_all.deb 13-Jan-2018 15:52 77K
acl2-infix-source_8.3dfsg-2_all.deb 28-Jan-2021 04:25 78K
acl2-infix-source_8.3dfsg-3_all.deb 10-Feb-2021 16:25 78K
acl2-infix-source_8.4dfsg-2_all.deb 02-Nov-2021 05:14 78K
acl2-infix-source_8.5dfsg-5_all.deb 16-Jan-2023 16:55 71K
acl2-infix_6.5-2_amd64.deb 08-Sep-2014 17:35 147K
acl2-infix_6.5-2_armel.deb 09-Sep-2014 14:25 403K
acl2-infix_6.5-2_armhf.deb 12-Sep-2014 13:12 424K
acl2-infix_6.5-2_i386.deb 09-Sep-2014 00:44 148K
acl2-infix_7.2dfsg-3_amd64.deb 17-Oct-2016 17:35 410K
acl2-infix_7.2dfsg-3_arm64.deb 18-Oct-2016 08:59 420K
acl2-infix_7.2dfsg-3_armel.deb 19-Oct-2016 08:29 382K
acl2-infix_7.2dfsg-3_armhf.deb 19-Oct-2016 04:33 401K
acl2-infix_7.2dfsg-3_i386.deb 18-Oct-2016 02:35 381K
acl2-infix_7.2dfsg-3_mips.deb 18-Oct-2016 18:12 408K
acl2-infix_7.2dfsg-3_mips64el.deb 20-Oct-2016 03:31 424K
acl2-infix_7.2dfsg-3_mipsel.deb 19-Oct-2016 17:45 426K
acl2-infix_7.2dfsg-3_ppc64el.deb 18-Oct-2016 01:34 413K
acl2-infix_7.2dfsg-3_s390x.deb 18-Oct-2016 10:30 408K
acl2-infix_8.0dfsg-1+b1_armel.deb 14-Feb-2019 15:00 432K
acl2-infix_8.0dfsg-1_amd64.deb 13-Jan-2018 15:52 422K
acl2-infix_8.0dfsg-1_arm64.deb 14-Jan-2018 04:47 432K
acl2-infix_8.0dfsg-1_armhf.deb 15-Jan-2018 10:46 407K
acl2-infix_8.0dfsg-1_i386.deb 13-Jan-2018 23:26 390K
acl2-infix_8.0dfsg-1_mips.deb 16-Jan-2018 08:15 421K
acl2-infix_8.0dfsg-1_mips64el.deb 16-Jan-2018 05:44 440K
acl2-infix_8.0dfsg-1_mipsel.deb 16-Jan-2018 07:14 442K
acl2-infix_8.0dfsg-1_ppc64el.deb 13-Jan-2018 22:26 434K
acl2-infix_8.0dfsg-1_s390x.deb 13-Jan-2018 22:41 397K
acl2-infix_8.3dfsg-2_amd64.deb 27-Jan-2021 23:57 479K
acl2-infix_8.3dfsg-2_arm64.deb 28-Jan-2021 17:43 469K
acl2-infix_8.3dfsg-2_armel.deb 28-Jan-2021 09:13 463K
acl2-infix_8.3dfsg-2_armhf.deb 28-Jan-2021 08:42 478K
acl2-infix_8.3dfsg-2_i386.deb 28-Jan-2021 00:22 485K
acl2-infix_8.3dfsg-2_mips64el.deb 30-Jan-2021 21:12 503K
acl2-infix_8.3dfsg-2_mipsel.deb 29-Jan-2021 11:42 509K
acl2-infix_8.3dfsg-2_ppc64el.deb 28-Jan-2021 01:44 498K
acl2-infix_8.3dfsg-2_s390x.deb 28-Jan-2021 04:35 435K
acl2-infix_8.3dfsg-3_amd64.deb 10-Feb-2021 16:25 480K
acl2-infix_8.3dfsg-3_arm64.deb 14-Sep-2021 21:43 470K
acl2-infix_8.3dfsg-3_armel.deb 16-Sep-2021 16:44 463K
acl2-infix_8.3dfsg-3_i386.deb 14-Sep-2021 09:45 485K
acl2-infix_8.3dfsg-3_mips64el.deb 18-Sep-2021 19:15 503K
acl2-infix_8.3dfsg-3_mipsel.deb 18-Sep-2021 10:56 508K
acl2-infix_8.3dfsg-3_ppc64el.deb 14-Sep-2021 12:57 497K
acl2-infix_8.3dfsg-3_s390x.deb 14-Sep-2021 08:40 440K
acl2-infix_8.4dfsg-2_amd64.deb 02-Nov-2021 07:45 478K
acl2-infix_8.4dfsg-2_arm64.deb 02-Nov-2021 19:58 475K
acl2-infix_8.4dfsg-2_armel.deb 02-Nov-2021 23:47 466K
acl2-infix_8.4dfsg-2_armhf.deb 03-Nov-2021 09:28 480K
acl2-infix_8.4dfsg-2_i386.deb 02-Nov-2021 07:14 484K
acl2-infix_8.4dfsg-2_mips64el.deb 03-Nov-2021 20:10 506K
acl2-infix_8.4dfsg-2_mipsel.deb 07-Nov-2021 05:00 510K
acl2-infix_8.4dfsg-2_ppc64el.deb 02-Nov-2021 08:30 500K
acl2-infix_8.4dfsg-2_s390x.deb 05-Nov-2021 07:25 449K
acl2-infix_8.5dfsg-5+b1_amd64.deb 27-Mar-2024 03:26 467K
acl2-infix_8.5dfsg-5+b1_arm64.deb 27-Mar-2024 01:49 466K
acl2-infix_8.5dfsg-5+b1_armel.deb 27-Mar-2024 23:25 460K
acl2-infix_8.5dfsg-5+b1_armhf.deb 27-Mar-2024 04:02 475K
acl2-infix_8.5dfsg-5+b1_i386.deb 27-Mar-2024 02:20 479K
acl2-infix_8.5dfsg-5+b1_ppc64el.deb 27-Mar-2024 01:39 489K
acl2-infix_8.5dfsg-5+b1_s390x.deb 26-Mar-2024 23:38 468K
acl2-infix_8.5dfsg-5+b2_mips64el.deb 01-Apr-2024 16:45 494K
acl2-infix_8.5dfsg-5+b2_riscv64.deb 05-Apr-2024 03:53 1.0M
acl2-infix_8.5dfsg-5_amd64.deb 16-Jan-2023 22:15 464K
acl2-infix_8.5dfsg-5_arm64.deb 17-Jan-2023 23:13 461K
acl2-infix_8.5dfsg-5_armel.deb 17-Jan-2023 21:26 459K
acl2-infix_8.5dfsg-5_armhf.deb 17-Jan-2023 13:32 472K
acl2-infix_8.5dfsg-5_i386.deb 16-Jan-2023 17:16 477K
acl2-infix_8.5dfsg-5_mips64el.deb 23-Jan-2023 14:58 491K
acl2-infix_8.5dfsg-5_mipsel.deb 22-Jan-2023 02:30 503K
acl2-infix_8.5dfsg-5_ppc64el.deb 18-Jan-2023 22:10 483K
acl2-infix_8.5dfsg-5_s390x.deb 16-Jan-2023 16:30 432K
acl2-source_6.5-2_all.deb 08-Sep-2014 17:35 2.6M
acl2-source_7.2dfsg-3_all.deb 17-Oct-2016 17:35 2.8M
acl2-source_8.0dfsg-1_all.deb 13-Jan-2018 15:52 2.9M
acl2-source_8.3dfsg-2_all.deb 28-Jan-2021 04:25 3.2M
acl2-source_8.3dfsg-3_all.deb 10-Feb-2021 16:25 3.2M
acl2-source_8.4dfsg-2_all.deb 02-Nov-2021 05:14 3.3M
acl2-source_8.5dfsg-5_all.deb 16-Jan-2023 16:55 3.4M
acl2_6.5-2.debian.tar.xz 08-Sep-2014 17:35 125K
acl2_6.5-2.dsc 08-Sep-2014 17:35 1.8K
acl2_6.5-2_amd64.deb 08-Sep-2014 17:35 16M
acl2_6.5-2_armel.deb 09-Sep-2014 14:25 13M
acl2_6.5-2_armhf.deb 12-Sep-2014 13:12 14M
acl2_6.5-2_i386.deb 09-Sep-2014 00:44 13M
![[ ]](/images/zip.gif)
acl2_6.5.orig-books.tar.gz 17-Aug-2014 18:21 14M
acl2_6.5.orig.tar.gz 17-Aug-2014 18:21 5.9M
acl2_7.2dfsg-3.debian.tar.xz 17-Oct-2016 17:35 199K
acl2_7.2dfsg-3.dsc 17-Oct-2016 17:35 2.2K
acl2_7.2dfsg-3_amd64.deb 17-Oct-2016 17:35 17M
acl2_7.2dfsg-3_arm64.deb 18-Oct-2016 08:59 15M
acl2_7.2dfsg-3_armel.deb 19-Oct-2016 08:29 14M
acl2_7.2dfsg-3_armhf.deb 19-Oct-2016 04:33 14M
acl2_7.2dfsg-3_i386.deb 18-Oct-2016 02:35 15M
acl2_7.2dfsg-3_mips.deb 18-Oct-2016 18:12 15M
acl2_7.2dfsg-3_mips64el.deb 20-Oct-2016 03:31 15M
acl2_7.2dfsg-3_mipsel.deb 19-Oct-2016 17:45 15M
acl2_7.2dfsg-3_ppc64el.deb 18-Oct-2016 01:34 16M
acl2_7.2dfsg-3_s390x.deb 18-Oct-2016 10:30 15M
acl2_7.2dfsg.orig.tar.gz 14-Apr-2016 16:54 61M
acl2_8.0dfsg-1+b1_armel.deb 14-Feb-2019 15:00 16M
acl2_8.0dfsg-1.debian.tar.xz 13-Jan-2018 15:52 200K
acl2_8.0dfsg-1.dsc 13-Jan-2018 15:52 2.2K
acl2_8.0dfsg-1_amd64.deb 13-Jan-2018 15:52 19M
acl2_8.0dfsg-1_arm64.deb 14-Jan-2018 04:47 17M
acl2_8.0dfsg-1_armhf.deb 15-Jan-2018 10:46 15M
acl2_8.0dfsg-1_i386.deb 13-Jan-2018 23:26 16M
acl2_8.0dfsg-1_mips.deb 16-Jan-2018 08:15 17M
acl2_8.0dfsg-1_mips64el.deb 16-Jan-2018 05:44 16M
acl2_8.0dfsg-1_mipsel.deb 16-Jan-2018 07:14 17M
acl2_8.0dfsg-1_ppc64el.deb 13-Jan-2018 22:26 19M
acl2_8.0dfsg-1_s390x.deb 13-Jan-2018 22:41 17M
acl2_8.0dfsg.orig.tar.gz 13-Jan-2018 15:52 74M
acl2_8.3dfsg-2.debian.tar.xz 27-Jan-2021 16:34 223K
acl2_8.3dfsg-2.dsc 27-Jan-2021 16:34 2.2K
acl2_8.3dfsg-2_amd64.deb 27-Jan-2021 23:57 20M
acl2_8.3dfsg-2_arm64.deb 28-Jan-2021 17:43 19M
acl2_8.3dfsg-2_armel.deb 28-Jan-2021 09:13 18M
acl2_8.3dfsg-2_armhf.deb 28-Jan-2021 08:42 18M
acl2_8.3dfsg-2_i386.deb 28-Jan-2021 00:22 19M
acl2_8.3dfsg-2_mips64el.deb 30-Jan-2021 21:12 18M
acl2_8.3dfsg-2_mipsel.deb 29-Jan-2021 11:42 19M
acl2_8.3dfsg-2_ppc64el.deb 28-Jan-2021 01:44 22M
acl2_8.3dfsg-2_s390x.deb 28-Jan-2021 04:35 20M
acl2_8.3dfsg-3.debian.tar.xz 10-Feb-2021 16:24 256K
acl2_8.3dfsg-3.dsc 10-Feb-2021 16:24 2.2K
acl2_8.3dfsg-3_amd64.deb 10-Feb-2021 16:25 20M
acl2_8.3dfsg-3_arm64.deb 14-Sep-2021 21:43 19M
acl2_8.3dfsg-3_armel.deb 16-Sep-2021 16:44 18M
acl2_8.3dfsg-3_i386.deb 14-Sep-2021 09:45 19M
acl2_8.3dfsg-3_mips64el.deb 18-Sep-2021 19:15 18M
acl2_8.3dfsg-3_mipsel.deb 18-Sep-2021 10:56 20M
acl2_8.3dfsg-3_ppc64el.deb 14-Sep-2021 12:57 21M
acl2_8.3dfsg-3_s390x.deb 14-Sep-2021 08:40 20M
acl2_8.3dfsg.orig.tar.gz 24-Aug-2020 05:39 112M
acl2_8.4dfsg-2.debian.tar.xz 01-Nov-2021 18:37 304K
acl2_8.4dfsg-2.dsc 01-Nov-2021 18:37 2.2K
acl2_8.4dfsg-2_amd64.deb 02-Nov-2021 07:45 21M
acl2_8.4dfsg-2_arm64.deb 02-Nov-2021 19:58 19M
acl2_8.4dfsg-2_armel.deb 02-Nov-2021 23:47 18M
acl2_8.4dfsg-2_armhf.deb 03-Nov-2021 09:28 18M
acl2_8.4dfsg-2_i386.deb 02-Nov-2021 07:14 19M
acl2_8.4dfsg-2_mips64el.deb 03-Nov-2021 20:10 19M
acl2_8.4dfsg-2_mipsel.deb 07-Nov-2021 05:00 20M
acl2_8.4dfsg-2_ppc64el.deb 02-Nov-2021 08:30 22M
acl2_8.4dfsg-2_s390x.deb 05-Nov-2021 07:25 20M
acl2_8.4dfsg.orig.tar.gz 28-Oct-2021 20:48 194M
acl2_8.5dfsg-5+b1_amd64.deb 27-Mar-2024 03:26 22M
acl2_8.5dfsg-5+b1_arm64.deb 27-Mar-2024 01:49 21M
acl2_8.5dfsg-5+b1_armel.deb 27-Mar-2024 23:25 18M
acl2_8.5dfsg-5+b1_armhf.deb 27-Mar-2024 04:02 18M
acl2_8.5dfsg-5+b1_i386.deb 27-Mar-2024 02:20 19M
acl2_8.5dfsg-5+b1_ppc64el.deb 27-Mar-2024 01:39 22M
acl2_8.5dfsg-5+b1_s390x.deb 26-Mar-2024 23:38 22M
acl2_8.5dfsg-5+b2_mips64el.deb 01-Apr-2024 16:45 20M
acl2_8.5dfsg-5+b2_riscv64.deb 05-Apr-2024 03:53 21M
acl2_8.5dfsg-5.debian.tar.xz 16-Jan-2023 04:00 306K
acl2_8.5dfsg-5.dsc 16-Jan-2023 04:00 2.2K
acl2_8.5dfsg-5_amd64.deb 16-Jan-2023 22:15 22M
acl2_8.5dfsg-5_arm64.deb 17-Jan-2023 23:13 21M
acl2_8.5dfsg-5_armel.deb 17-Jan-2023 21:26 18M
acl2_8.5dfsg-5_armhf.deb 17-Jan-2023 13:32 19M
acl2_8.5dfsg-5_i386.deb 16-Jan-2023 17:16 19M
acl2_8.5dfsg-5_mips64el.deb 23-Jan-2023 14:58 20M
acl2_8.5dfsg-5_mipsel.deb 22-Jan-2023 02:30 19M
acl2_8.5dfsg-5_ppc64el.deb 18-Jan-2023 22:10 22M
acl2_8.5dfsg-5_s390x.deb 16-Jan-2023 16:30 21M
acl2_8.5dfsg.orig.tar.gz 27-Jul-2022 17:13 213M
elpa-acl2_8.3dfsg-3_all.deb 10-Feb-2021 16:25 75K
elpa-acl2_8.4dfsg-2_all.deb 02-Nov-2021 05:14 75K
elpa-acl2_8.5dfsg-5_all.deb 16-Jan-2023 16:55 69K
Apache/2.2 Server at debian.noc.ntua.gr Port 80
