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