Index of /sites/raspbian.org/raspbian/pool/main/a/acl2

Icon  Name                                      Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] acl2-books-certs_4.3-3_all.deb 2012-04-20 21:38 4.2M [   ] acl2-books-certs_6.5-2_all.deb 2014-09-08 16:35 6.2M [   ] acl2-books-certs_7.2dfsg-3_all.deb 2016-10-17 16:35 52M [   ] acl2-books-certs_7.4dfsg-3.1_all.deb 2017-08-09 23:12 61M [   ] acl2-books-certs_7.4dfsg-4_all.deb 2017-10-02 19:45 62M [   ] acl2-books-certs_8.0dfsg-1_all.deb 2018-01-13 14:52 70M [   ] acl2-books-certs_8.1dfsg-6_all.deb 2019-12-09 23:57 77M [   ] acl2-books-certs_8.2dfsg-3_all.deb 2019-12-31 13:29 66M [   ] acl2-books-certs_8.3dfsg-1_all.deb 2020-08-24 06:11 13K [   ] acl2-books-certs_8.3dfsg-2_all.deb 2021-01-28 03:25 139M [   ] acl2-books-certs_8.3dfsg-4_all.deb 2021-10-12 05:15 139M [   ] acl2-books-certs_8.4dfsg-2_all.deb 2021-11-02 04:14 168M [   ] acl2-books-certs_8.5dfsg-1_all.deb 2022-07-28 03:44 174M [   ] acl2-books-certs_8.5dfsg-2_all.deb 2022-12-22 21:13 173M [   ] acl2-books-certs_8.5dfsg-3_all.deb 2022-12-31 04:25 171M [   ] acl2-books-certs_8.5dfsg-5_all.deb 2023-01-16 15:55 170M [   ] acl2-books-certs_8.5dfsg-6_all.deb 2024-07-29 01:44 64M [   ] acl2-books-source_4.3-3_all.deb 2012-04-20 21:38 6.2M [   ] acl2-books-source_6.5-2_all.deb 2014-09-08 16:35 6.6M [   ] acl2-books-source_7.2dfsg-3_all.deb 2016-10-17 16:35 10M [   ] acl2-books-source_7.4dfsg-3.1_all.deb 2017-08-09 23:12 11M [   ] acl2-books-source_7.4dfsg-4_all.deb 2017-10-02 19:45 11M [   ] acl2-books-source_8.0dfsg-1_all.deb 2018-01-13 14:52 12M [   ] acl2-books-source_8.1dfsg-6_all.deb 2019-12-09 23:57 13M [   ] acl2-books-source_8.2dfsg-3_all.deb 2019-12-31 13:29 14M [   ] acl2-books-source_8.3dfsg-1_all.deb 2020-08-24 06:11 19M [   ] acl2-books-source_8.3dfsg-2_all.deb 2021-01-28 03:25 19M [   ] acl2-books-source_8.3dfsg-4_all.deb 2021-10-12 05:15 19M [   ] acl2-books-source_8.4dfsg-2_all.deb 2021-11-02 04:14 22M [   ] acl2-books-source_8.5dfsg-1_all.deb 2022-07-28 03:44 24M [   ] acl2-books-source_8.5dfsg-2_all.deb 2022-12-22 21:13 24M [   ] acl2-books-source_8.5dfsg-3_all.deb 2022-12-31 04:25 24M [   ] acl2-books-source_8.5dfsg-5_all.deb 2023-01-16 15:55 24M [   ] acl2-books-source_8.5dfsg-6_all.deb 2024-07-29 01:44 24M [   ] acl2-books_4.3-3_armhf.deb 2012-05-09 22:54 35M [   ] acl2-books_6.5-2_armhf.deb 2014-10-04 19:10 62M [   ] acl2-books_7.2dfsg-3_armhf.deb 2017-04-20 01:12 49M [   ] acl2-books_8.0dfsg-1_armhf.deb 2022-05-01 11:11 128M [   ] acl2-books_8.1dfsg-6_armhf.deb 2019-12-25 11:08 139M [   ] acl2-books_8.2dfsg-3_armhf.deb 2020-01-08 23:09 146M [   ] acl2-books_8.3dfsg-1_armhf.deb 2020-08-29 12:08 13K [   ] acl2-books_8.3dfsg-2_armhf.deb 2021-09-28 12:08 216M [   ] acl2-books_8.3dfsg-4_armhf.deb 2021-10-19 06:08 211M [   ] acl2-books_8.4dfsg-2_armhf.deb 2021-11-24 11:09 260M [   ] acl2-books_8.5dfsg-1_armhf.deb 2022-08-06 09:18 272M [   ] acl2-books_8.5dfsg-2_armhf.deb 2023-01-05 09:00 266M [   ] acl2-books_8.5dfsg-3_armhf.deb 2023-01-17 01:38 266M [   ] acl2-books_8.5dfsg-5+b1_armhf.deb 2024-06-05 00:08 270M [   ] acl2-books_8.5dfsg-5_armhf.deb 2023-01-26 11:08 266M [   ] acl2-books_8.5dfsg-6_armhf.deb 2024-10-04 12:08 270M [   ] acl2-doc_4.3-3_all.deb 2012-04-20 21:38 354K [   ] acl2-doc_6.5-2_all.deb 2014-09-08 16:35 1.6M [   ] acl2-doc_7.2dfsg-3_all.deb 2016-10-17 16:35 372K [   ] acl2-doc_7.4dfsg-3.1_all.deb 2017-08-09 23:12 379K [   ] acl2-doc_7.4dfsg-4_all.deb 2017-10-02 19:45 379K [   ] acl2-doc_8.0dfsg-1_all.deb 2018-01-13 14:52 392K [   ] acl2-doc_8.1dfsg-6_all.deb 2019-12-09 23:57 404K [   ] acl2-doc_8.2dfsg-3_all.deb 2019-12-31 13:29 423K [   ] acl2-doc_8.3dfsg-1_all.deb 2020-08-24 06:11 437K [   ] acl2-doc_8.3dfsg-2_all.deb 2021-01-28 03:25 437K [   ] acl2-doc_8.3dfsg-4_all.deb 2021-10-12 05:15 437K [   ] acl2-doc_8.4dfsg-2_all.deb 2021-11-02 04:14 445K [   ] acl2-doc_8.5dfsg-1_all.deb 2022-07-28 03:44 478K [   ] acl2-doc_8.5dfsg-2_all.deb 2022-12-22 21:13 470K [   ] acl2-doc_8.5dfsg-3_all.deb 2022-12-31 04:25 470K [   ] acl2-doc_8.5dfsg-5_all.deb 2023-01-16 15:55 470K [   ] acl2-doc_8.5dfsg-6_all.deb 2024-07-29 01:44 470K [   ] acl2-emacs_4.3-3_all.deb 2012-04-20 21:38 59K [   ] acl2-emacs_6.5-2_all.deb 2014-09-08 16:35 59K [   ] acl2-emacs_7.2dfsg-3_all.deb 2016-10-17 16:35 63K [   ] acl2-emacs_7.4dfsg-3.1_all.deb 2017-08-09 23:12 65K [   ] acl2-emacs_7.4dfsg-4_all.deb 2017-10-02 19:45 65K [   ] acl2-emacs_8.0dfsg-1_all.deb 2018-01-13 14:52 66K [   ] acl2-emacs_8.1dfsg-6_all.deb 2019-12-09 23:57 66K [   ] acl2-emacs_8.2dfsg-3_all.deb 2019-12-31 13:29 67K [   ] acl2-emacs_8.3dfsg-1_all.deb 2020-08-24 06:11 68K [   ] acl2-emacs_8.3dfsg-2_all.deb 2021-01-28 03:25 68K [   ] acl2-infix-source_4.3-3_all.deb 2012-04-20 21:38 89K [   ] acl2-infix-source_6.5-2_all.deb 2014-09-08 16:35 78K [   ] acl2-infix-source_7.2dfsg-3_all.deb 2016-10-17 16:35 77K [   ] acl2-infix-source_7.4dfsg-3.1_all.deb 2017-08-09 23:12 77K [   ] acl2-infix-source_7.4dfsg-4_all.deb 2017-10-02 19:45 77K [   ] acl2-infix-source_8.0dfsg-1_all.deb 2018-01-13 14:52 77K [   ] acl2-infix-source_8.1dfsg-6_all.deb 2019-12-09 23:57 78K [   ] acl2-infix-source_8.2dfsg-3_all.deb 2019-12-31 13:29 78K [   ] acl2-infix-source_8.3dfsg-1_all.deb 2020-08-24 06:11 78K [   ] acl2-infix-source_8.3dfsg-2_all.deb 2021-01-28 03:25 78K [   ] acl2-infix-source_8.3dfsg-4_all.deb 2021-10-12 05:15 78K [   ] acl2-infix-source_8.4dfsg-2_all.deb 2021-11-02 04:14 78K [   ] acl2-infix-source_8.5dfsg-1_all.deb 2022-07-28 03:44 78K [   ] acl2-infix-source_8.5dfsg-2_all.deb 2022-12-22 21:13 71K [   ] acl2-infix-source_8.5dfsg-3_all.deb 2022-12-31 04:25 71K [   ] acl2-infix-source_8.5dfsg-5_all.deb 2023-01-16 15:55 71K [   ] acl2-infix-source_8.5dfsg-6_all.deb 2024-07-29 01:44 71K [   ] acl2-infix_4.3-3_armhf.deb 2012-05-09 22:54 357K [   ] acl2-infix_6.5-2_armhf.deb 2014-10-04 19:10 392K [   ] acl2-infix_7.2dfsg-3_armhf.deb 2017-04-20 01:12 371K [   ] acl2-infix_8.0dfsg-1_armhf.deb 2022-05-01 11:11 432K [   ] acl2-infix_8.1dfsg-6_armhf.deb 2019-12-25 11:08 433K [   ] acl2-infix_8.2dfsg-3_armhf.deb 2020-01-08 23:09 435K [   ] acl2-infix_8.3dfsg-1_armhf.deb 2020-08-29 12:08 431K [   ] acl2-infix_8.3dfsg-2_armhf.deb 2021-09-28 12:08 432K [   ] acl2-infix_8.3dfsg-4_armhf.deb 2021-10-19 06:08 431K [   ] acl2-infix_8.4dfsg-2_armhf.deb 2021-11-24 11:09 464K [   ] acl2-infix_8.5dfsg-1_armhf.deb 2022-08-06 09:18 465K [   ] acl2-infix_8.5dfsg-2_armhf.deb 2023-01-05 09:00 457K [   ] acl2-infix_8.5dfsg-3_armhf.deb 2023-01-17 01:38 458K [   ] acl2-infix_8.5dfsg-5+b1_armhf.deb 2024-06-05 00:08 461K [   ] acl2-infix_8.5dfsg-5_armhf.deb 2023-01-26 11:08 457K [   ] acl2-infix_8.5dfsg-6_armhf.deb 2024-10-04 12:08 459K [   ] acl2-source_4.3-3_all.deb 2012-04-20 21:38 3.1M [   ] acl2-source_6.5-2_all.deb 2014-09-08 16:35 2.6M [   ] acl2-source_7.2dfsg-3_all.deb 2016-10-17 16:35 2.8M [   ] acl2-source_7.4dfsg-3.1_all.deb 2017-08-09 23:12 2.9M [   ] acl2-source_7.4dfsg-4_all.deb 2017-10-02 19:45 2.9M [   ] acl2-source_8.0dfsg-1_all.deb 2018-01-13 14:52 2.9M [   ] acl2-source_8.1dfsg-6_all.deb 2019-12-09 23:57 3.0M [   ] acl2-source_8.2dfsg-3_all.deb 2019-12-31 13:29 3.1M [   ] acl2-source_8.3dfsg-1_all.deb 2020-08-24 06:11 3.2M [   ] acl2-source_8.3dfsg-2_all.deb 2021-01-28 03:25 3.2M [   ] acl2-source_8.3dfsg-4_all.deb 2021-10-12 05:15 3.2M [   ] acl2-source_8.4dfsg-2_all.deb 2021-11-02 04:14 3.3M [   ] acl2-source_8.5dfsg-1_all.deb 2022-07-28 03:44 3.4M [   ] acl2-source_8.5dfsg-2_all.deb 2022-12-22 21:13 3.4M [   ] acl2-source_8.5dfsg-3_all.deb 2022-12-31 04:25 3.4M [   ] acl2-source_8.5dfsg-5_all.deb 2023-01-16 15:55 3.4M [   ] acl2-source_8.5dfsg-6_all.deb 2024-07-29 01:44 3.4M [   ] acl2_4.3-3.debian.tar.gz 2012-04-20 21:38 18K [TXT] acl2_4.3-3.dsc 2012-04-20 21:38 1.5K [   ] acl2_4.3-3_armhf.deb 2012-05-09 22:54 23M [   ] acl2_4.3.orig.tar.gz 2012-04-19 01:31 15M [   ] acl2_6.5-2.debian.tar.xz 2014-09-08 16:35 125K [TXT] acl2_6.5-2.dsc 2014-09-08 16:35 1.8K [   ] acl2_6.5-2_armhf.deb 2014-10-04 19:10 13M [   ] acl2_6.5.orig-books.tar.gz 2014-08-17 17:21 14M [   ] acl2_6.5.orig.tar.gz 2014-08-17 17:21 5.9M [   ] acl2_7.2dfsg-3.debian.tar.xz 2016-10-17 16:35 199K [TXT] acl2_7.2dfsg-3.dsc 2016-10-17 16:35 2.2K [   ] acl2_7.2dfsg-3_armhf.deb 2017-04-20 01:12 14M [   ] acl2_7.2dfsg.orig.tar.gz 2016-04-14 15:54 61M [   ] acl2_7.4dfsg-3.1.debian.tar.xz 2017-08-04 15:19 200K [TXT] acl2_7.4dfsg-3.1.dsc 2017-08-04 15:19 2.3K [   ] acl2_7.4dfsg-4.debian.tar.xz 2017-10-02 19:45 200K [TXT] acl2_7.4dfsg-4.dsc 2017-10-02 19:45 2.2K [   ] acl2_7.4dfsg.orig.tar.gz 2017-05-10 02:57 62M [   ] acl2_8.0dfsg-1.debian.tar.xz 2018-01-13 14:52 200K [TXT] acl2_8.0dfsg-1.dsc 2018-01-13 14:52 2.2K [   ] acl2_8.0dfsg-1_armhf.deb 2022-05-01 11:11 16M [   ] acl2_8.0dfsg.orig.tar.gz 2018-01-13 14:52 74M [   ] acl2_8.1dfsg-6.debian.tar.xz 2019-12-09 15:40 201K [TXT] acl2_8.1dfsg-6.dsc 2019-12-09 15:40 2.2K [   ] acl2_8.1dfsg-6_armhf.deb 2019-12-25 11:08 17M [   ] acl2_8.1dfsg.orig.tar.gz 2019-03-03 13:30 75M [   ] acl2_8.2dfsg-3.debian.tar.xz 2019-12-31 03:04 201K [TXT] acl2_8.2dfsg-3.dsc 2019-12-31 03:04 2.2K [   ] acl2_8.2dfsg-3_armhf.deb 2020-01-08 23:09 17M [   ] acl2_8.2dfsg.orig.tar.gz 2019-12-19 18:06 77M [   ] acl2_8.3dfsg-1.debian.tar.xz 2020-08-24 04:39 201K [TXT] acl2_8.3dfsg-1.dsc 2020-08-24 04:39 2.2K [   ] acl2_8.3dfsg-1_armhf.deb 2020-08-29 12:08 17M [   ] acl2_8.3dfsg-2.debian.tar.xz 2021-01-27 15:34 223K [TXT] acl2_8.3dfsg-2.dsc 2021-01-27 15:34 2.2K [   ] acl2_8.3dfsg-2_armhf.deb 2021-09-28 12:08 17M [   ] acl2_8.3dfsg-4.debian.tar.xz 2021-10-11 14:31 256K [TXT] acl2_8.3dfsg-4.dsc 2021-10-11 14:31 2.2K [   ] acl2_8.3dfsg-4_armhf.deb 2021-10-19 06:08 17M [   ] acl2_8.3dfsg.orig.tar.gz 2020-08-24 04:39 112M [   ] acl2_8.4dfsg-2.debian.tar.xz 2021-11-01 17:37 304K [TXT] acl2_8.4dfsg-2.dsc 2021-11-01 17:37 2.2K [   ] acl2_8.4dfsg-2_armhf.deb 2021-11-24 11:09 18M [   ] acl2_8.4dfsg.orig.tar.gz 2021-10-28 19:48 194M [   ] acl2_8.5dfsg-1.debian.tar.xz 2022-07-27 16:13 305K [TXT] acl2_8.5dfsg-1.dsc 2022-07-27 16:13 2.2K [   ] acl2_8.5dfsg-1_armhf.deb 2022-08-06 09:18 18M [   ] acl2_8.5dfsg-2.debian.tar.xz 2022-12-22 09:09 306K [TXT] acl2_8.5dfsg-2.dsc 2022-12-22 09:09 2.2K [   ] acl2_8.5dfsg-2_armhf.deb 2023-01-05 09:00 18M [   ] acl2_8.5dfsg-3.debian.tar.xz 2022-12-30 15:25 306K [TXT] acl2_8.5dfsg-3.dsc 2022-12-30 15:25 2.2K [   ] acl2_8.5dfsg-3_armhf.deb 2023-01-17 01:38 18M [   ] acl2_8.5dfsg-5+b1_armhf.deb 2024-06-05 00:08 18M [   ] acl2_8.5dfsg-5.debian.tar.xz 2023-01-16 03:00 306K [TXT] acl2_8.5dfsg-5.dsc 2023-01-16 03:00 2.2K [   ] acl2_8.5dfsg-5_armhf.deb 2023-01-26 11:08 18M [   ] acl2_8.5dfsg-6.debian.tar.xz 2024-08-03 06:41 306K [TXT] acl2_8.5dfsg-6.dsc 2024-08-03 06:40 2.2K [   ] acl2_8.5dfsg-6_armhf.deb 2024-10-04 12:08 18M [   ] acl2_8.5dfsg.orig.tar.gz 2022-07-27 16:13 213M [   ] elpa-acl2_8.3dfsg-4_all.deb 2021-10-12 05:15 75K [   ] elpa-acl2_8.4dfsg-2_all.deb 2021-11-02 04:14 75K [   ] elpa-acl2_8.5dfsg-1_all.deb 2022-07-28 03:44 77K [   ] elpa-acl2_8.5dfsg-2_all.deb 2022-12-22 21:13 69K [   ] elpa-acl2_8.5dfsg-3_all.deb 2022-12-31 04:25 69K [   ] elpa-acl2_8.5dfsg-5_all.deb 2023-01-16 15:55 69K [   ] elpa-acl2_8.5dfsg-6_all.deb 2024-07-29 01:44 69K