# 安装 civl

查看 civl 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。

## 安装

```sh
sudo av install brew:civl
```

其他安装命令:

### macOS

- Homebrew (100%):

```sh
brew install civl
```

  证据: local Homebrew formula metadata

## 软件包事实

- **软件包键:** brew:civl
- **软件包管理器:** Homebrew
- **软件包管理器页面:** <https://formulae.brew.sh/formula/civl>
- **版本:** 1.22-5854
- **来源摘要:** Concurrency Intermediate Verification Language
- **主页:** <https://vsl.cis.udel.edu/civl/>
- **上游文档:** <https://vsl.cis.udel.edu/civl/>
- **许可证:** GPL-3.0-or-later AND LGPL-3.0-or-later AND BSD-3-Clause
- **源码归档:** <https://vsl.cis.udel.edu/lib/sw/civl/1.22/r5854/release/CIVL-1.22_5854.tgz>
- **更新:** 2026-02-19T14:35:27+01:00
- **生成来源:** 2026-05-26T17:25:59+00:00

## 可执行文件

- civl (cli)
- civl (别名)

## 依赖

- openjdk
- z3

## 安装行为

- post-install 钩子: 未定义
- Bottle: 可用 于 all

## 新鲜度

- 页面生成时间: 2026-05-26
- 管理器版本: 1.22-5854
- 管理器更新时间: 2026-02-19
- 本地数据: ok
- 上游仓库: https://vsl.cis.udel.edu/civl/
- info: Release/tag comparison is only available for GitHub repositories.

## 安全说明

broad file, network, media, or database tool signal.

- **Geiger 风险:** blue / medium
- broad file, network, media, or database tool signal

## 相关链接

- [openjdk](https://www.automicvault.com/pkg/brew/openjdk/) - Runtime dependency declared by Homebrew.
- [z3](https://www.automicvault.com/pkg/brew/z3/) - Runtime dependency declared by Homebrew.
- [Secret-risk packages](https://www.automicvault.com/pkg/secret-risk-packages/)

## 来源

- Nucleus package database
- Geiger risk classifier
- package-page enrichment
- package version freshness
- package relationship graph
- cross-ecosystem install command graph