| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| acl2_8.5dfsg-6_amd64.deb | 25.3 MiB | 29 Jul 2024 04:20:27 +0000 |
| acl2-books_8.5dfsg-6_amd64.deb | 170.5 MiB | 29 Jul 2024 04:20:26 +0000 |
| acl2-books-certs_8.5dfsg-6_all.deb | 78.6 MiB | 29 Jul 2024 04:20:24 +0000 |
| acl2-books-source_8.5dfsg-6_all.deb | 22.7 MiB | 29 Jul 2024 04:20:22 +0000 |
| acl2-doc_8.5dfsg-6_all.deb | 473.8 KiB | 29 Jul 2024 04:20:21 +0000 |
| acl2-infix-source_8.5dfsg-6_all.deb | 72.3 KiB | 29 Jul 2024 04:20:21 +0000 |
| acl2-infix_8.5dfsg-6_amd64.deb | 533.0 KiB | 29 Jul 2024 04:20:21 +0000 |
| acl2-source_8.5dfsg-6_all.deb | 3.5 MiB | 29 Jul 2024 04:20:21 +0000 |
| elpa-acl2_8.5dfsg-6_all.deb | 70.8 KiB | 29 Jul 2024 04:20:20 +0000 |
| acl2_8.5dfsg-6.debian.tar.xz | 305.5 KiB | 28 Jul 2024 23:59:18 +0000 |
| acl2_8.5dfsg-6.dsc | 2.2 KiB | 28 Jul 2024 23:59:17 +0000 |
| acl2-books_8.5dfsg-5build3_amd64.deb | 330.5 MiB | 02 Apr 2024 08:03:05 +0000 |
| acl2_8.5dfsg-5build3_amd64.deb | 25.6 MiB | 02 Apr 2024 08:03:05 +0000 |
| acl2-books-certs_8.5dfsg-5build3_all.deb | 215.8 MiB | 02 Apr 2024 08:03:00 +0000 |
| acl2-books-source_8.5dfsg-5build3_all.deb | 22.7 MiB | 02 Apr 2024 08:02:58 +0000 |
| acl2-doc_8.5dfsg-5build3_all.deb | 473.9 KiB | 02 Apr 2024 08:02:57 +0000 |
| acl2-infix-source_8.5dfsg-5build3_all.deb | 72.4 KiB | 02 Apr 2024 08:02:57 +0000 |
| acl2-infix_8.5dfsg-5build3_amd64.deb | 538.1 KiB | 02 Apr 2024 08:02:57 +0000 |
| acl2-source_8.5dfsg-5build3_all.deb | 3.5 MiB | 02 Apr 2024 08:02:57 +0000 |
| elpa-acl2_8.5dfsg-5build3_all.deb | 70.7 KiB | 02 Apr 2024 08:02:57 +0000 |
| acl2_8.5dfsg-5build3.debian.tar.xz | 305.7 KiB | 01 Apr 2024 05:43:39 +0000 |
| acl2_8.5dfsg-5build3.dsc | 2.3 KiB | 01 Apr 2024 05:43:39 +0000 |
| acl2_8.5dfsg.orig.tar.gz | 213.2 MiB | 27 Jul 2022 23:33:59 +0000 |
| acl2-infix-source_8.4dfsg-2_all.deb | 72.0 KiB | 19 Dec 2021 01:10:26 +0000 |
| acl2-books-source_8.4dfsg-2_all.deb | 21.1 MiB | 19 Dec 2021 01:10:25 +0000 |
| acl2_8.4dfsg-2_amd64.deb | 24.9 MiB | 19 Dec 2021 01:10:20 +0000 |
| acl2-books-certs_8.4dfsg-2_all.deb | 221.1 MiB | 19 Dec 2021 01:10:18 +0000 |
| acl2-source_8.4dfsg-2_all.deb | 3.4 MiB | 19 Dec 2021 01:10:00 +0000 |
| acl2-books_8.4dfsg-2_amd64.deb | 337.6 MiB | 19 Dec 2021 01:09:59 +0000 |
| acl2-doc_8.4dfsg-2_all.deb | 441.1 KiB | 19 Dec 2021 01:09:59 +0000 |
| elpa-acl2_8.4dfsg-2_all.deb | 69.1 KiB | 19 Dec 2021 01:09:07 +0000 |
| acl2-infix_8.4dfsg-2_amd64.deb | 550.8 KiB | 19 Dec 2021 01:09:06 +0000 |
| acl2_8.4dfsg-2.debian.tar.xz | 304.3 KiB | 01 Nov 2021 23:24:22 +0000 |
| acl2_8.4dfsg-2.dsc | 2.2 KiB | 01 Nov 2021 23:24:20 +0000 |
| acl2_8.4dfsg.orig.tar.gz | 193.6 MiB | 28 Oct 2021 23:18:50 +0000 |
| acl2_8.2dfsg-3build1_amd64.deb | 20.9 MiB | 23 Mar 2020 13:24:11 +0000 |
| acl2-books-source_8.2dfsg-3build1_all.deb | 13.6 MiB | 23 Mar 2020 13:24:10 +0000 |
| acl2-doc_8.2dfsg-3build1_all.deb | 418.1 KiB | 23 Mar 2020 13:24:10 +0000 |
| acl2-emacs_8.2dfsg-3build1_all.deb | 59.1 KiB | 23 Mar 2020 13:24:10 +0000 |
| acl2-infix_8.2dfsg-3build1_amd64.deb | 469.9 KiB | 23 Mar 2020 13:24:10 +0000 |
| acl2-source_8.2dfsg-3build1_all.deb | 3.1 MiB | 23 Mar 2020 13:24:10 +0000 |
| acl2-books_8.2dfsg-3build1_amd64.deb | 163.4 MiB | 23 Mar 2020 13:24:09 +0000 |
| acl2-books-certs_8.2dfsg-3build1_all.deb | 65.8 MiB | 23 Mar 2020 13:24:07 +0000 |
| acl2-infix-source_8.2dfsg-3build1_all.deb | 70.2 KiB | 23 Mar 2020 13:24:07 +0000 |
| acl2_8.2dfsg-3build1.dsc | 2.2 KiB | 23 Mar 2020 07:00:05 +0000 |
| acl2_8.2dfsg-3build1.debian.tar.xz | 201.2 KiB | 23 Mar 2020 07:00:04 +0000 |
| acl2_8.2dfsg.orig.tar.gz | 76.9 MiB | 19 Dec 2019 23:13:26 +0000 |
| acl2-books_8.0dfsg-1_i386.deb | 114.1 MiB | 14 Jan 2018 04:49:27 +0000 |
| acl2-infix_8.0dfsg-1_i386.deb | 381.1 KiB | 14 Jan 2018 04:49:27 +0000 |
| acl2_8.0dfsg-1_i386.deb | 16.2 MiB | 14 Jan 2018 04:49:27 +0000 |
| acl2-books-certs_8.0dfsg-1_all.deb | 70.0 MiB | 14 Jan 2018 03:08:17 +0000 |
| acl2-emacs_8.0dfsg-1_all.deb | 58.9 KiB | 14 Jan 2018 03:08:17 +0000 |
| acl2-books-source_8.0dfsg-1_all.deb | 11.9 MiB | 14 Jan 2018 03:08:16 +0000 |
| acl2-books_8.0dfsg-1_amd64.deb | 131.7 MiB | 14 Jan 2018 03:08:15 +0000 |
| acl2_8.0dfsg-1_amd64.deb | 18.8 MiB | 14 Jan 2018 03:08:15 +0000 |
| acl2-doc_8.0dfsg-1_all.deb | 385.1 KiB | 14 Jan 2018 03:08:13 +0000 |
| acl2-infix_8.0dfsg-1_amd64.deb | 414.2 KiB | 14 Jan 2018 03:08:13 +0000 |
| acl2-source_8.0dfsg-1_all.deb | 2.9 MiB | 14 Jan 2018 03:08:13 +0000 |
| acl2-infix-source_8.0dfsg-1_all.deb | 70.2 KiB | 14 Jan 2018 03:08:12 +0000 |
| acl2_8.0dfsg-1.debian.tar.xz | 200.0 KiB | 13 Jan 2018 23:08:21 +0000 |
| acl2_8.0dfsg.orig.tar.gz | 74.0 MiB | 13 Jan 2018 23:08:21 +0000 |
| acl2_8.0dfsg-1.dsc | 2.2 KiB | 13 Jan 2018 23:08:20 +0000 |
| acl2-source_7.1-1_all.deb | 2.7 MiB | 27 Jun 2015 13:48:41 +0000 |
| acl2-infix-source_7.1-1_all.deb | 70.3 KiB | 27 Jun 2015 13:48:40 +0000 |
| acl2_7.1-1_amd64.deb | 16.5 MiB | 27 Jun 2015 13:48:40 +0000 |
| acl2-books-source_7.1-1_all.deb | 9.9 MiB | 27 Jun 2015 13:48:39 +0000 |
| acl2-emacs_7.1-1_all.deb | 55.2 KiB | 27 Jun 2015 13:48:38 +0000 |
| acl2-infix_7.1-1_amd64.deb | 140.2 KiB | 27 Jun 2015 13:48:37 +0000 |
| acl2-doc_7.1-1_all.deb | 353.3 KiB | 27 Jun 2015 13:48:36 +0000 |
| acl2-books_7.1-1_amd64.deb | 18.7 MiB | 27 Jun 2015 13:48:35 +0000 |
| acl2-books-certs_7.1-1_all.deb | 12.6 MiB | 27 Jun 2015 13:48:34 +0000 |
| acl2-infix_7.1-1_i386.deb | 142.1 KiB | 02 Jun 2015 02:43:17 +0000 |
| acl2_7.1-1_i386.deb | 15.7 MiB | 02 Jun 2015 02:43:17 +0000 |
| acl2-books_7.1-1_i386.deb | 17.7 MiB | 02 Jun 2015 02:43:16 +0000 |
| acl2_7.1-1.dsc | 2.2 KiB | 01 Jun 2015 23:24:18 +0000 |
| acl2_7.1.orig.tar.gz | 60.4 MiB | 01 Jun 2015 23:24:18 +0000 |
| acl2_7.1-1.debian.tar.xz | 125.9 KiB | 01 Jun 2015 23:24:15 +0000 |
| acl2-books_6.3-5_i386.deb | 35.8 MiB | 24 Oct 2013 16:36:44 +0000 |
| acl2-infix_6.3-5_i386.deb | 189.0 KiB | 24 Oct 2013 16:36:43 +0000 |
| acl2_6.3-5_i386.deb | 22.9 MiB | 24 Oct 2013 16:36:43 +0000 |
| acl2_6.3-5_amd64.deb | 26.6 MiB | 24 Oct 2013 16:36:26 +0000 |
| acl2-books_6.3-5_amd64.deb | 40.1 MiB | 24 Oct 2013 16:36:25 +0000 |
| acl2-doc_6.3-5_all.deb | 12.1 MiB | 24 Oct 2013 16:36:25 +0000 |
| acl2-infix_6.3-5_amd64.deb | 200.3 KiB | 24 Oct 2013 16:36:25 +0000 |
| acl2-books-source_6.3-5_all.deb | 9.1 MiB | 24 Oct 2013 16:36:24 +0000 |
| acl2-emacs_6.3-5_all.deb | 55.0 KiB | 24 Oct 2013 16:36:24 +0000 |
| acl2-infix-source_6.3-5_all.deb | 86.0 KiB | 24 Oct 2013 16:36:24 +0000 |
| acl2-books-certs_6.3-5_all.deb | 11.1 MiB | 24 Oct 2013 16:36:23 +0000 |
| acl2-source_6.3-5_all.deb | 3.6 MiB | 24 Oct 2013 16:36:22 +0000 |
| acl2_6.3-5.dsc | 1.7 KiB | 21 Oct 2013 13:09:59 +0000 |
| acl2_6.3.orig-books.tar.gz | 13.0 MiB | 21 Oct 2013 13:09:59 +0000 |
| acl2_6.3.orig.tar.gz | 6.7 MiB | 21 Oct 2013 13:09:59 +0000 |
| acl2_6.3-5.debian.tar.gz | 157.7 KiB | 21 Oct 2013 13:09:58 +0000 |
本站由齐鲁工业大学网络信息中心支持创办，由齐鲁工业大学网络运维部/网络与高性能计算协会运行维护。
齐鲁工业大学网络运维部是网络信息中心下属校级学生组织，负责办公区与教学区的网络设施维护、以及学校教育网基础设施的建设保障工作。
齐鲁工业大学网络与高性能计算协会是网络信息中心下属学生社团，汇集全校热爱开源软件、网络技术、高性能计算等领域的同学。
本站基于清华大学TUNA开源的tunasync(镜像管理器) 和 mirror-web项目建立，感谢TUNA为国内开源生态作出的伟大贡献
我站采用多种技术措施反制日益增长的滥用与恶意攻击行为，本站不对特定滥用镜像站资源的用户提供服务。
感谢山东鹏云信息科技提供服务器与专业技术支持
感谢赛尔网络（山东）提供IPv6带宽资源
