Index of /mirrors/ubuntu/pool/universe/a/acl2/

directories: 0, files: 105

NameLast modifiedSize
../
elpa-acl2_8.6+dfsg-2_all.deb2025-05-03 03:14:4478.39 KiB
elpa-acl2_8.5dfsg-6_all.deb2024-07-29 06:20:2070.81 KiB
elpa-acl2_8.5dfsg-5build3_all.deb2024-04-02 10:02:5770.73 KiB
elpa-acl2_8.4dfsg-2_all.deb2021-12-19 02:09:0769.13 KiB
acl2_8.6+dfsg.orig.tar.gz2025-05-01 18:25:19229.20 MiB
acl2_8.6+dfsg-2_amd64.deb2025-05-03 03:14:5045.60 MiB
acl2_8.6+dfsg-2.dsc2025-05-01 18:25:162.23 KiB
acl2_8.6+dfsg-2.debian.tar.xz2025-05-01 18:25:19434.70 KiB
acl2_8.5dfsg.orig.tar.gz2022-07-28 01:33:59213.19 MiB
acl2_8.5dfsg-6_amd64.deb2024-07-29 06:20:2725.25 MiB
acl2_8.5dfsg-6.dsc2024-07-29 01:59:172.21 KiB
acl2_8.5dfsg-6.debian.tar.xz2024-07-29 01:59:18305.52 KiB
acl2_8.5dfsg-5build3_amd64.deb2024-04-02 10:03:0525.61 MiB
acl2_8.5dfsg-5build3.dsc2024-04-01 07:43:392.32 KiB
acl2_8.5dfsg-5build3.debian.tar.xz2024-04-01 07:43:39305.70 KiB
acl2_8.4dfsg.orig.tar.gz2021-10-29 01:18:50193.59 MiB
acl2_8.4dfsg-2_amd64.deb2021-12-19 02:10:2024.92 MiB
acl2_8.4dfsg-2.dsc2021-11-02 00:24:202.23 KiB
acl2_8.4dfsg-2.debian.tar.xz2021-11-02 00:24:22304.32 KiB
acl2_8.2dfsg.orig.tar.gz2019-12-20 00:13:2676.92 MiB
acl2_8.2dfsg-3build1_amd64.deb2020-03-23 14:24:1120.92 MiB
acl2_8.2dfsg-3build1.dsc2020-03-23 08:00:052.24 KiB
acl2_8.2dfsg-3build1.debian.tar.xz2020-03-23 08:00:04201.20 KiB
acl2_8.0dfsg.orig.tar.gz2018-01-14 00:08:2174.04 MiB
acl2_8.0dfsg-1_i386.deb2018-01-14 05:49:2716.21 MiB
acl2_8.0dfsg-1_amd64.deb2018-01-14 04:08:1518.79 MiB
acl2_8.0dfsg-1.dsc2018-01-14 00:08:202.19 KiB
acl2_8.0dfsg-1.debian.tar.xz2018-01-14 00:08:21199.96 KiB
acl2_7.1.orig.tar.gz2015-06-02 01:24:1860.41 MiB
acl2_7.1-1_i386.deb2015-06-02 04:43:1715.70 MiB
acl2_7.1-1_amd64.deb2015-06-27 15:48:4016.48 MiB
acl2_7.1-1.dsc2015-06-02 01:24:182.15 KiB
acl2_7.1-1.debian.tar.xz2015-06-02 01:24:15125.88 KiB
acl2_6.3.orig.tar.gz2013-10-21 15:09:596.74 MiB
acl2_6.3.orig-books.tar.gz2013-10-21 15:09:5912.97 MiB
acl2_6.3-5_i386.deb2013-10-24 18:36:4322.90 MiB
acl2_6.3-5_amd64.deb2013-10-24 18:36:2626.59 MiB
acl2_6.3-5.dsc2013-10-21 15:09:591.71 KiB
acl2_6.3-5.debian.tar.gz2013-10-21 15:09:58157.70 KiB
acl2-source_8.6+dfsg-2_all.deb2025-05-03 03:14:443.87 MiB
acl2-source_8.5dfsg-6_all.deb2024-07-29 06:20:213.48 MiB
acl2-source_8.5dfsg-5build3_all.deb2024-04-02 10:02:573.48 MiB
acl2-source_8.4dfsg-2_all.deb2021-12-19 02:10:003.37 MiB
acl2-source_8.2dfsg-3build1_all.deb2020-03-23 14:24:103.12 MiB
acl2-source_8.0dfsg-1_all.deb2018-01-14 04:08:132.93 MiB
acl2-source_7.1-1_all.deb2015-06-27 15:48:412.71 MiB
acl2-source_6.3-5_all.deb2013-10-24 18:36:223.62 MiB
acl2-infix_8.6+dfsg-2_amd64.deb2025-05-03 03:14:44987.43 KiB
acl2-infix_8.5dfsg-6_amd64.deb2024-07-29 06:20:21533.04 KiB
acl2-infix_8.5dfsg-5build3_amd64.deb2024-04-02 10:02:57538.13 KiB
acl2-infix_8.4dfsg-2_amd64.deb2021-12-19 02:09:06550.79 KiB
acl2-infix_8.2dfsg-3build1_amd64.deb2020-03-23 14:24:10469.87 KiB
acl2-infix_8.0dfsg-1_i386.deb2018-01-14 05:49:27381.12 KiB
acl2-infix_8.0dfsg-1_amd64.deb2018-01-14 04:08:13414.21 KiB
acl2-infix_7.1-1_i386.deb2015-06-02 04:43:17142.15 KiB
acl2-infix_7.1-1_amd64.deb2015-06-27 15:48:37140.19 KiB
acl2-infix_6.3-5_i386.deb2013-10-24 18:36:43189.04 KiB
acl2-infix_6.3-5_amd64.deb2013-10-24 18:36:25200.32 KiB
acl2-infix-source_8.6+dfsg-2_all.deb2025-05-03 03:14:4472.59 KiB
acl2-infix-source_8.5dfsg-6_all.deb2024-07-29 06:20:2172.29 KiB
acl2-infix-source_8.5dfsg-5build3_all.deb2024-04-02 10:02:5772.41 KiB
acl2-infix-source_8.4dfsg-2_all.deb2021-12-19 02:10:2671.95 KiB
acl2-infix-source_8.2dfsg-3build1_all.deb2020-03-23 14:24:0770.23 KiB
acl2-infix-source_8.0dfsg-1_all.deb2018-01-14 04:08:1270.20 KiB
acl2-infix-source_7.1-1_all.deb2015-06-27 15:48:4070.33 KiB
acl2-infix-source_6.3-5_all.deb2013-10-24 18:36:2485.97 KiB
acl2-emacs_8.2dfsg-3build1_all.deb2020-03-23 14:24:1059.10 KiB
acl2-emacs_8.0dfsg-1_all.deb2018-01-14 04:08:1758.93 KiB
acl2-emacs_7.1-1_all.deb2015-06-27 15:48:3855.20 KiB
acl2-emacs_6.3-5_all.deb2013-10-24 18:36:2454.98 KiB
acl2-doc_8.6+dfsg-2_all.deb2025-05-03 03:14:44515.86 KiB
acl2-doc_8.5dfsg-6_all.deb2024-07-29 06:20:21473.80 KiB
acl2-doc_8.5dfsg-5build3_all.deb2024-04-02 10:02:57473.93 KiB
acl2-doc_8.4dfsg-2_all.deb2021-12-19 02:09:59441.07 KiB
acl2-doc_8.2dfsg-3build1_all.deb2020-03-23 14:24:10418.07 KiB
acl2-doc_8.0dfsg-1_all.deb2018-01-14 04:08:13385.12 KiB
acl2-doc_7.1-1_all.deb2015-06-27 15:48:36353.30 KiB
acl2-doc_6.3-5_all.deb2013-10-24 18:36:2512.14 MiB
acl2-books_8.6+dfsg-2_amd64.deb2025-05-03 03:14:50468.89 MiB
acl2-books_8.5dfsg-6_amd64.deb2024-07-29 06:20:26170.51 MiB
acl2-books_8.5dfsg-5build3_amd64.deb2024-04-02 10:03:05330.50 MiB
acl2-books_8.4dfsg-2_amd64.deb2021-12-19 02:09:59337.55 MiB
acl2-books_8.2dfsg-3build1_amd64.deb2020-03-23 14:24:09163.36 MiB
acl2-books_8.0dfsg-1_i386.deb2018-01-14 05:49:27114.06 MiB
acl2-books_8.0dfsg-1_amd64.deb2018-01-14 04:08:15131.69 MiB
acl2-books_7.1-1_i386.deb2015-06-02 04:43:1617.74 MiB
acl2-books_7.1-1_amd64.deb2015-06-27 15:48:3518.70 MiB
acl2-books_6.3-5_i386.deb2013-10-24 18:36:4435.81 MiB
acl2-books_6.3-5_amd64.deb2013-10-24 18:36:2540.12 MiB
acl2-books-source_8.6+dfsg-2_all.deb2025-05-03 03:14:4526.43 MiB
acl2-books-source_8.5dfsg-6_all.deb2024-07-29 06:20:2222.71 MiB
acl2-books-source_8.5dfsg-5build3_all.deb2024-04-02 10:02:5822.70 MiB
acl2-books-source_8.4dfsg-2_all.deb2021-12-19 02:10:2521.11 MiB
acl2-books-source_8.2dfsg-3build1_all.deb2020-03-23 14:24:1013.63 MiB
acl2-books-source_8.0dfsg-1_all.deb2018-01-14 04:08:1611.89 MiB
acl2-books-source_7.1-1_all.deb2015-06-27 15:48:399.85 MiB
acl2-books-source_6.3-5_all.deb2013-10-24 18:36:249.13 MiB
acl2-books-certs_8.6+dfsg-2_all.deb2025-05-03 03:14:47267.09 MiB
acl2-books-certs_8.5dfsg-6_all.deb2024-07-29 06:20:2478.65 MiB
acl2-books-certs_8.5dfsg-5build3_all.deb2024-04-02 10:03:00215.75 MiB
acl2-books-certs_8.4dfsg-2_all.deb2021-12-19 02:10:18221.09 MiB
acl2-books-certs_8.2dfsg-3build1_all.deb2020-03-23 14:24:0765.78 MiB
acl2-books-certs_8.0dfsg-1_all.deb2018-01-14 04:08:1770.00 MiB
acl2-books-certs_7.1-1_all.deb2015-06-27 15:48:3412.58 MiB
acl2-books-certs_6.3-5_all.deb2013-10-24 18:36:2311.10 MiB