Index of /sites/raspbian.org/raspbian/pool/main/a/acl2
Name Last modified Size Description
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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