Index of /mirrors/raspbian/raspbian/pool/main/a/acl2

      Name                                    Last modified      Size  Description
Parent Directory - acl2-books-certs_6.5-2_all.deb 2014-09-08 15:35 6.2M acl2-books-certs_7.2dfsg-3_all.deb 2016-10-17 15:35 52M acl2-books-certs_8.0dfsg-1_all.deb 2018-01-13 13:52 70M acl2-books-certs_8.2dfsg-3_all.deb 2019-12-31 12:29 66M acl2-books-certs_8.3dfsg-1_all.deb 2020-08-24 05:11 13K acl2-books-certs_8.3dfsg-2_all.deb 2021-01-28 02:25 139M acl2-books-certs_8.4dfsg-2_all.deb 2021-11-02 03:14 168M acl2-books-certs_8.5dfsg-1_all.deb 2022-07-28 02:44 174M acl2-books-certs_8.5dfsg-5_all.deb 2023-01-16 14:55 170M acl2-books-source_6.5-2_all.deb 2014-09-08 15:35 6.6M acl2-books-source_7.2dfsg-3_all.deb 2016-10-17 15:35 10M acl2-books-source_8.0dfsg-1_all.deb 2018-01-13 13:52 12M acl2-books-source_8.2dfsg-3_all.deb 2019-12-31 12:29 14M acl2-books-source_8.3dfsg-1_all.deb 2020-08-24 05:11 19M acl2-books-source_8.3dfsg-2_all.deb 2021-01-28 02:25 19M acl2-books-source_8.4dfsg-2_all.deb 2021-11-02 03:14 22M acl2-books-source_8.5dfsg-1_all.deb 2022-07-28 02:44 24M acl2-books-source_8.5dfsg-5_all.deb 2023-01-16 14:55 24M acl2-books_6.5-2_armhf.deb 2014-10-04 18:10 62M acl2-books_7.2dfsg-3_armhf.deb 2017-04-20 00:12 49M acl2-books_8.0dfsg-1_armhf.deb 2022-05-01 10:11 128M acl2-books_8.2dfsg-3_armhf.deb 2020-01-08 22:09 146M acl2-books_8.3dfsg-1_armhf.deb 2020-08-29 11:08 13K acl2-books_8.3dfsg-2_armhf.deb 2021-09-28 11:08 216M acl2-books_8.4dfsg-2_armhf.deb 2021-11-24 10:09 260M acl2-books_8.5dfsg-1_armhf.deb 2022-08-06 08:18 272M acl2-books_8.5dfsg-5_armhf.deb 2023-01-26 10:08 266M acl2-doc_6.5-2_all.deb 2014-09-08 15:35 1.6M acl2-doc_7.2dfsg-3_all.deb 2016-10-17 15:35 372K acl2-doc_8.0dfsg-1_all.deb 2018-01-13 13:52 392K acl2-doc_8.2dfsg-3_all.deb 2019-12-31 12:29 423K acl2-doc_8.3dfsg-1_all.deb 2020-08-24 05:11 437K acl2-doc_8.3dfsg-2_all.deb 2021-01-28 02:25 437K acl2-doc_8.4dfsg-2_all.deb 2021-11-02 03:14 445K acl2-doc_8.5dfsg-1_all.deb 2022-07-28 02:44 478K acl2-doc_8.5dfsg-5_all.deb 2023-01-16 14:55 470K acl2-emacs_6.5-2_all.deb 2014-09-08 15:35 59K acl2-emacs_7.2dfsg-3_all.deb 2016-10-17 15:35 63K acl2-emacs_8.0dfsg-1_all.deb 2018-01-13 13:52 66K acl2-emacs_8.2dfsg-3_all.deb 2019-12-31 12:29 67K acl2-emacs_8.3dfsg-1_all.deb 2020-08-24 05:11 68K acl2-emacs_8.3dfsg-2_all.deb 2021-01-28 02:25 68K acl2-infix-source_6.5-2_all.deb 2014-09-08 15:35 78K acl2-infix-source_7.2dfsg-3_all.deb 2016-10-17 15:35 77K acl2-infix-source_8.0dfsg-1_all.deb 2018-01-13 13:52 77K acl2-infix-source_8.2dfsg-3_all.deb 2019-12-31 12:29 78K acl2-infix-source_8.3dfsg-1_all.deb 2020-08-24 05:11 78K acl2-infix-source_8.3dfsg-2_all.deb 2021-01-28 02:25 78K acl2-infix-source_8.4dfsg-2_all.deb 2021-11-02 03:14 78K acl2-infix-source_8.5dfsg-1_all.deb 2022-07-28 02:44 78K acl2-infix-source_8.5dfsg-5_all.deb 2023-01-16 14:55 71K acl2-infix_6.5-2_armhf.deb 2014-10-04 18:10 392K acl2-infix_7.2dfsg-3_armhf.deb 2017-04-20 00:12 371K acl2-infix_8.0dfsg-1_armhf.deb 2022-05-01 10:11 432K acl2-infix_8.2dfsg-3_armhf.deb 2020-01-08 22:09 435K acl2-infix_8.3dfsg-1_armhf.deb 2020-08-29 11:08 431K acl2-infix_8.3dfsg-2_armhf.deb 2021-09-28 11:08 432K acl2-infix_8.4dfsg-2_armhf.deb 2021-11-24 10:09 464K acl2-infix_8.5dfsg-1_armhf.deb 2022-08-06 08:18 465K acl2-infix_8.5dfsg-5_armhf.deb 2023-01-26 10:08 457K acl2-source_6.5-2_all.deb 2014-09-08 15:35 2.6M acl2-source_7.2dfsg-3_all.deb 2016-10-17 15:35 2.8M acl2-source_8.0dfsg-1_all.deb 2018-01-13 13:52 2.9M acl2-source_8.2dfsg-3_all.deb 2019-12-31 12:29 3.1M acl2-source_8.3dfsg-1_all.deb 2020-08-24 05:11 3.2M acl2-source_8.3dfsg-2_all.deb 2021-01-28 02:25 3.2M acl2-source_8.4dfsg-2_all.deb 2021-11-02 03:14 3.3M acl2-source_8.5dfsg-1_all.deb 2022-07-28 02:44 3.4M acl2-source_8.5dfsg-5_all.deb 2023-01-16 14:55 3.4M acl2_6.5-2.debian.tar.xz 2014-09-08 15:35 125K acl2_6.5-2.dsc 2014-09-08 15:35 1.8K acl2_6.5-2_armhf.deb 2014-10-04 18:10 13M acl2_6.5.orig-books.tar.gz 2014-08-17 16:21 14M acl2_6.5.orig.tar.gz 2014-08-17 16:21 5.9M acl2_7.2dfsg-3.debian.tar.xz 2016-10-17 15:35 199K acl2_7.2dfsg-3.dsc 2016-10-17 15:35 2.2K acl2_7.2dfsg-3_armhf.deb 2017-04-20 00:12 14M acl2_7.2dfsg.orig.tar.gz 2016-04-14 14:54 61M acl2_8.0dfsg-1.debian.tar.xz 2018-01-13 13:52 200K acl2_8.0dfsg-1.dsc 2018-01-13 13:52 2.2K acl2_8.0dfsg-1_armhf.deb 2022-05-01 10:11 16M acl2_8.0dfsg.orig.tar.gz 2018-01-13 13:52 74M acl2_8.2dfsg-3.debian.tar.xz 2019-12-31 02:04 201K acl2_8.2dfsg-3.dsc 2019-12-31 02:04 2.2K acl2_8.2dfsg-3_armhf.deb 2020-01-08 22:09 17M acl2_8.2dfsg.orig.tar.gz 2019-12-19 17:06 77M acl2_8.3dfsg-1.debian.tar.xz 2020-08-24 03:39 201K acl2_8.3dfsg-1.dsc 2020-08-24 03:39 2.2K acl2_8.3dfsg-1_armhf.deb 2020-08-29 11:08 17M acl2_8.3dfsg-2.debian.tar.xz 2021-01-27 14:34 223K acl2_8.3dfsg-2.dsc 2021-01-27 14:34 2.2K acl2_8.3dfsg-2_armhf.deb 2021-09-28 11:08 17M acl2_8.3dfsg.orig.tar.gz 2020-08-24 03:39 112M acl2_8.4dfsg-2.debian.tar.xz 2021-11-01 16:37 304K acl2_8.4dfsg-2.dsc 2021-11-01 16:37 2.2K acl2_8.4dfsg-2_armhf.deb 2021-11-24 10:09 18M acl2_8.4dfsg.orig.tar.gz 2021-10-28 18:48 194M acl2_8.5dfsg-1.debian.tar.xz 2022-07-27 15:13 305K acl2_8.5dfsg-1.dsc 2022-07-27 15:13 2.2K acl2_8.5dfsg-1_armhf.deb 2022-08-06 08:18 18M acl2_8.5dfsg-5.debian.tar.xz 2023-01-16 02:00 306K acl2_8.5dfsg-5.dsc 2023-01-16 02:00 2.2K acl2_8.5dfsg-5_armhf.deb 2023-01-26 10:08 18M acl2_8.5dfsg.orig.tar.gz 2022-07-27 15:13 213M elpa-acl2_8.4dfsg-2_all.deb 2021-11-02 03:14 75K elpa-acl2_8.5dfsg-1_all.deb 2022-07-28 02:44 77K elpa-acl2_8.5dfsg-5_all.deb 2023-01-16 14:55 69K
ftp.heanet.ie