Index of /pub/gnu_linux/raspbian/pool/main/a/acl2

      Name                                 Last modified      Size  Description
Parent Directory - acl2-books-certs_7.2dfsg-3_all.deb 2016-10-17 10:35 52M acl2-books-certs_8.0dfsg-1_all.deb 2018-01-13 08:52 70M acl2-books-certs_8.3dfsg-1_all.deb 2020-08-24 00:11 13K acl2-books-certs_8.3dfsg-2_all.deb 2021-01-27 21:25 139M acl2-books-certs_8.4dfsg-2_all.deb 2021-11-01 23:14 168M acl2-books-source_7.2dfsg-3_all.deb 2016-10-17 10:35 10M acl2-books-source_8.0dfsg-1_all.deb 2018-01-13 08:52 12M acl2-books-source_8.3dfsg-1_all.deb 2020-08-24 00:11 19M acl2-books-source_8.3dfsg-2_all.deb 2021-01-27 21:25 19M acl2-books-source_8.4dfsg-2_all.deb 2021-11-01 23:14 22M acl2-books_7.2dfsg-3_armhf.deb 2017-04-19 19:12 49M acl2-books_8.0dfsg-1_armhf.deb 2022-05-01 05:11 128M acl2-books_8.3dfsg-1_armhf.deb 2020-08-29 06:08 13K acl2-books_8.4dfsg-2_armhf.deb 2021-11-24 05:09 260M acl2-doc_7.2dfsg-3_all.deb 2016-10-17 10:35 372K acl2-doc_8.0dfsg-1_all.deb 2018-01-13 08:52 392K acl2-doc_8.3dfsg-1_all.deb 2020-08-24 00:11 437K acl2-doc_8.3dfsg-2_all.deb 2021-01-27 21:25 437K acl2-doc_8.4dfsg-2_all.deb 2021-11-01 23:14 445K acl2-emacs_7.2dfsg-3_all.deb 2016-10-17 10:35 63K acl2-emacs_8.0dfsg-1_all.deb 2018-01-13 08:52 66K acl2-emacs_8.3dfsg-1_all.deb 2020-08-24 00:11 68K acl2-emacs_8.3dfsg-2_all.deb 2021-01-27 21:25 68K acl2-infix-source_7.2dfsg-3_all.deb 2016-10-17 10:35 77K acl2-infix-source_8.0dfsg-1_all.deb 2018-01-13 08:52 77K acl2-infix-source_8.3dfsg-1_all.deb 2020-08-24 00:11 78K acl2-infix-source_8.3dfsg-2_all.deb 2021-01-27 21:25 78K acl2-infix-source_8.4dfsg-2_all.deb 2021-11-01 23:14 78K acl2-infix_7.2dfsg-3_armhf.deb 2017-04-19 19:12 371K acl2-infix_8.0dfsg-1_armhf.deb 2022-05-01 05:11 432K acl2-infix_8.3dfsg-1_armhf.deb 2020-08-29 06:08 431K acl2-infix_8.4dfsg-2_armhf.deb 2021-11-24 05:09 464K acl2-source_7.2dfsg-3_all.deb 2016-10-17 10:35 2.8M acl2-source_8.0dfsg-1_all.deb 2018-01-13 08:52 2.9M acl2-source_8.3dfsg-1_all.deb 2020-08-24 00:11 3.2M acl2-source_8.3dfsg-2_all.deb 2021-01-27 21:25 3.2M acl2-source_8.4dfsg-2_all.deb 2021-11-01 23:14 3.3M acl2_7.2dfsg-3.debian.tar.xz 2016-10-17 10:35 199K acl2_7.2dfsg-3.dsc 2016-10-17 10:35 2.2K acl2_7.2dfsg-3_armhf.deb 2017-04-19 19:12 14M acl2_7.2dfsg.orig.tar.gz 2016-04-14 09:54 61M acl2_8.0dfsg-1.debian.tar.xz 2018-01-13 08:52 200K acl2_8.0dfsg-1.dsc 2018-01-13 08:52 2.2K acl2_8.0dfsg-1_armhf.deb 2022-05-01 05:11 16M acl2_8.0dfsg.orig.tar.gz 2018-01-13 08:52 74M acl2_8.3dfsg-1.debian.tar.xz 2020-08-23 22:39 201K acl2_8.3dfsg-1.dsc 2020-08-23 22:39 2.2K acl2_8.3dfsg-1_armhf.deb 2020-08-29 06:08 17M acl2_8.3dfsg-2.debian.tar.xz 2021-01-27 09:34 223K acl2_8.3dfsg-2.dsc 2021-01-27 09:34 2.2K acl2_8.3dfsg.orig.tar.gz 2020-08-23 22:39 112M acl2_8.4dfsg-2.debian.tar.xz 2021-11-01 12:37 304K acl2_8.4dfsg-2.dsc 2021-11-01 12:37 2.2K acl2_8.4dfsg-2_armhf.deb 2021-11-24 05:09 18M acl2_8.4dfsg.orig.tar.gz 2021-10-28 13:48 194M elpa-acl2_8.4dfsg-2_all.deb 2021-11-01 23:14 75K