Index of /debian-elts/pool/main/a/acl2/

/debian-elts/pool/main/a/acl2/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
acl2-books-certs_6.5-2_all.deb6.2 MiB02 Dec 2023 05:27:55 +0000
acl2-books-certs_7.2dfsg-3_all.deb52.3 MiB01 Dec 2023 13:49:42 +0000
acl2-books-certs_8.0dfsg-1_all.deb69.9 MiB13 Jan 2018 13:52:57 +0000
acl2-books-source_6.5-2_all.deb6.6 MiB02 Dec 2023 05:27:56 +0000
acl2-books-source_7.2dfsg-3_all.deb10.4 MiB01 Dec 2023 13:49:43 +0000
acl2-books-source_8.0dfsg-1_all.deb11.9 MiB13 Jan 2018 13:52:57 +0000
acl2-books_6.5-2_amd64.deb22.1 MiB02 Dec 2023 05:27:58 +0000
acl2-books_6.5-2_armel.deb65.0 MiB02 Dec 2023 05:28:03 +0000
acl2-books_6.5-2_armhf.deb66.7 MiB02 Dec 2023 05:28:08 +0000
acl2-books_6.5-2_i386.deb20.8 MiB02 Dec 2023 05:28:10 +0000
acl2-books_7.2dfsg-3_amd64.deb103.1 MiB01 Dec 2023 13:49:50 +0000
acl2-books_7.2dfsg-3_armhf.deb91.9 MiB01 Dec 2023 13:49:57 +0000
acl2-books_7.2dfsg-3_i386.deb86.3 MiB01 Dec 2023 13:50:04 +0000
acl2-books_8.0dfsg-1_amd64.deb131.6 MiB13 Jan 2018 13:52:59 +0000
acl2-books_8.0dfsg-1_arm64.deb134.8 MiB14 Jan 2018 02:47:41 +0000
acl2-books_8.0dfsg-1_armhf.deb119.6 MiB15 Jan 2018 08:46:11 +0000
acl2-books_8.0dfsg-1_i386.deb110.6 MiB13 Jan 2018 21:26:14 +0000
acl2-doc_6.5-2_all.deb1.6 MiB02 Dec 2023 05:28:10 +0000
acl2-doc_7.2dfsg-3_all.deb372.3 KiB01 Dec 2023 13:50:04 +0000
acl2-doc_8.0dfsg-1_all.deb392.1 KiB13 Jan 2018 13:52:59 +0000
acl2-emacs_6.5-2_all.deb59.4 KiB02 Dec 2023 05:28:10 +0000
acl2-emacs_7.2dfsg-3_all.deb62.6 KiB01 Dec 2023 13:50:04 +0000
acl2-emacs_8.0dfsg-1_all.deb66.0 KiB13 Jan 2018 13:52:59 +0000
acl2-infix-source_6.5-2_all.deb77.6 KiB02 Dec 2023 05:28:10 +0000
acl2-infix-source_7.2dfsg-3_all.deb77.0 KiB01 Dec 2023 13:50:05 +0000
acl2-infix-source_8.0dfsg-1_all.deb77.3 KiB13 Jan 2018 13:52:59 +0000
acl2-infix_6.5-2_amd64.deb146.5 KiB02 Dec 2023 05:28:11 +0000
acl2-infix_6.5-2_armel.deb402.7 KiB02 Dec 2023 05:28:11 +0000
acl2-infix_6.5-2_armhf.deb424.4 KiB02 Dec 2023 05:28:11 +0000
acl2-infix_6.5-2_i386.deb148.0 KiB02 Dec 2023 05:28:11 +0000
acl2-infix_7.2dfsg-3_amd64.deb409.9 KiB01 Dec 2023 13:50:05 +0000
acl2-infix_7.2dfsg-3_armhf.deb400.6 KiB01 Dec 2023 13:50:05 +0000
acl2-infix_7.2dfsg-3_i386.deb381.0 KiB01 Dec 2023 13:50:05 +0000
acl2-infix_8.0dfsg-1_amd64.deb421.9 KiB13 Jan 2018 13:52:59 +0000
acl2-infix_8.0dfsg-1_arm64.deb432.4 KiB14 Jan 2018 02:47:41 +0000
acl2-infix_8.0dfsg-1_armhf.deb406.5 KiB15 Jan 2018 08:46:11 +0000
acl2-infix_8.0dfsg-1_i386.deb390.0 KiB13 Jan 2018 21:26:14 +0000
acl2-source_6.5-2_all.deb2.6 MiB02 Dec 2023 05:28:12 +0000
acl2-source_7.2dfsg-3_all.deb2.8 MiB01 Dec 2023 13:50:06 +0000
acl2-source_8.0dfsg-1_all.deb2.9 MiB13 Jan 2018 13:52:59 +0000
acl2_6.5-2.debian.tar.xz125.3 KiB02 Dec 2023 05:28:12 +0000
acl2_6.5-2.dsc1.8 KiB02 Dec 2023 05:28:12 +0000
acl2_6.5-2_amd64.deb15.6 MiB02 Dec 2023 05:28:13 +0000
acl2_6.5-2_armel.deb13.1 MiB02 Dec 2023 05:28:15 +0000
acl2_6.5-2_armhf.deb13.5 MiB02 Dec 2023 05:28:16 +0000
acl2_6.5-2_i386.deb13.4 MiB02 Dec 2023 05:28:17 +0000
acl2_6.5.orig-books.tar.gz14.3 MiB02 Dec 2023 05:28:18 +0000
acl2_6.5.orig.tar.gz5.9 MiB02 Dec 2023 05:28:19 +0000
acl2_7.2dfsg-3.debian.tar.xz199.4 KiB01 Dec 2023 13:50:06 +0000
acl2_7.2dfsg-3.dsc2.2 KiB01 Dec 2023 13:50:06 +0000
acl2_7.2dfsg-3_amd64.deb17.3 MiB01 Dec 2023 13:50:08 +0000
acl2_7.2dfsg-3_armhf.deb14.0 MiB01 Dec 2023 13:50:09 +0000
acl2_7.2dfsg-3_i386.deb14.9 MiB01 Dec 2023 13:50:10 +0000
acl2_7.2dfsg.orig.tar.gz61.4 MiB01 Dec 2023 13:50:15 +0000
acl2_8.0dfsg-1_amd64.deb18.9 MiB13 Jan 2018 13:52:59 +0000
acl2_8.0dfsg-1_arm64.deb17.0 MiB14 Jan 2018 02:47:42 +0000
acl2_8.0dfsg-1_armhf.deb15.4 MiB15 Jan 2018 08:46:12 +0000
acl2_8.0dfsg-1_i386.deb16.2 MiB13 Jan 2018 21:26:14 +0000

本站由清华大学信息化技术中心支持创办，由清华大学 TUNA 协会运行维护。

清华大学 TUNA 协会，全名清华大学学生网络与开源软件协会，是由清华大学热爱网络技术和开源软件的极客组成的学生技术社团。

本站相关源码可在 这里(镜像管理器) 和 这里(镜像站网页) 获取。

根据相关法律法规，本站不对欧盟用户提供服务。

Contact Us

Sponsor

华为

本存储服务器由华为技术有限公司（Huawei Technologies Co., Ltd.）赞助，并由海思® Kunpeng® 920 处理器强力驱动。TUNA 感谢华为对开源软件和社区的贡献。

cube bars envelope hashtag github weibo