Automic Vault
brew パッケージインテリジェンス
acl2 のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
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/ がローカルパッケージデータに対して古い場合、デプロイは公開を拒否します。