# 使用 Homebrew 安装 rocq-elpi

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

## 安装

```sh
sudo av install brew:rocq-elpi
```

其他安装命令:

### macOS

- Homebrew (100%):

```sh
brew install rocq-elpi
```

  证据: local Homebrew formula metadata

## 软件包事实

- **软件包键:** brew:rocq-elpi
- **软件包管理器:** Homebrew
- **版本:** 3.5.0
- **来源摘要:** Elpi extension language for Rocq
- **主页:** <https://github.com/LPCIC/coq-elpi>
- **仓库:** <https://github.com/LPCIC/coq-elpi>
- **最后更新:** 2026-07-25T14:44:37Z
- **已生成:** 2026-08-03T19:37:03+00:00

## 可执行文件

- rocq_elpi_optcomp (别名)
- rocq_elpi_shafile (别名)
- rocq_elpi_version_parser (别名)

## 安装行为

- Bottle: 不可用

## 版本和新鲜度

- 页面生成时间: 2026-08-03
- 管理器版本: 3.5.0

## 安全说明

没有找到 rocq-elpi 的匹配本地密钥处理 manifest。Nucleus 软件包元数据仍在此发布，以便未来覆盖拥有稳定的软件包 URL。



## Combined YAML source

View the package source record on GitHub. [combined/rocq-elpi.yml](https://github.com/mxcl/pkgdb/blob/main/combined/rocq-elpi.yml)


## 来源

- pkg.so package database
- Geiger risk classifier
- pkgdb category and tag curation
- cross-ecosystem install command graph