Automic Vault
安装
sudo av install brew:acl2brew install acl2
local Homebrew formula metadata
sudo port install acl2
MacPorts ports tree · math/acl2/Portfile · 来源: api.github.com
sudo apt install acl2
Debian stable package indexes · acl2 · 来源: deb.debian.org
nix profile install nixpkgs#acl2
nixpkgs package indexes · pkgs/by-name/ac/acl2/package.nix · 来源: api.github.com
概览
Automic Vault 根据本地软件包数据发布 acl2 的安装路径、可执行文件事实和安全元数据。
Logic and programming language in which you can model computer systems
安全态势
generalized runtime or code generation signal.
yellow 风险 · medium 置信度 · runtime
在无人值守的代理使用前，请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。
可执行文件
| 命令 | 类型 | 暴露范围 | 备注 |
|---|---|---|---|
acl2 | cli | global executable | |
acl2p | cli | global executable |
新鲜度
这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时，才会提示版本落后。
安装元数据
| 软件包键 | brew:acl2 |
|---|---|
| 版本 | 8.7 |
| 软件包管理器 | Homebrew |
| 软件包管理器页面 | https://formulae.brew.sh/formula/acl2 |
| 主页 | https://www.cs.utexas.edu/~moore/acl2/ |
| 仓库 | https://github.com/acl2/acl2 |
| 上游文档 | https://www.cs.utexas.edu/~moore/acl2/ |
| 许可证 | BSD-3-Clause |
| 源码归档 | https://github.com/acl2/acl2/archive/refs/tags/8.7.tar.gz |
| 更新 | 2026-04-30T04:27:15Z |
| Pulse | updated |
| 依赖 | sbcl |
| Bottle | 可用 (arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | 未定义 |
| 服务 | 未声明 |
来源线索
此页面由 scripts/generate-pkg-pages.py 写入。如果 www/pkg/ 相对于本地软件包数据已过期，部署会拒绝发布。