安装

其他安装命令

macOS

Homebrew已验证 · 100%

brew install rocq-elpi

local Homebrew formula metadata

概览

软件包摘要

Elpi extension language for Rocq

项目链接

命令和别名

rocq_elpi_optcomp
rocq_elpi_shafile
rocq_elpi_version_parser

安全态势

尚未找到受保护工具覆盖

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

安装行为

formula 元数据中未记录 Homebrew post-install 钩子。
Homebrew bottle 元数据适用于 6 个平台目标。
安装时包含 2 个运行时依赖。
构建元数据列出 3 个构建依赖。

建议审查

在无人值守的代理使用前，请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。

可执行文件

已安装的可执行文件

命令	类型	暴露范围
`rocq_elpi_optcomp`	cli	全局可执行文件
`rocq_elpi_shafile`	cli	全局可执行文件
`rocq_elpi_version_parser`	cli	全局可执行文件

新鲜度

版本和新鲜度

这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时，才会提示版本落后。

页面生成时间2026-07-10

管理器版本3.4.0

管理器更新时间2026-05-21

本地数据OK

上游not checked

检测到的最新版本未检测到

https://github.com/LPCIC/coq-elpi

信息No cached GitHub release or tag data was available.https://github.com/LPCIC/coq-elpinone 置信度

安装元数据

软件包元数据

软件包键	brew:rocq-elpi
版本	3.4.0
软件包管理器	Homebrew
软件包管理器页面	https://formulae.brew.sh/formula/rocq-elpi
主页	https://github.com/LPCIC/coq-elpi
仓库	https://github.com/LPCIC/coq-elpi
上游文档	https://github.com/LPCIC/coq-elpi
许可证	LGPL-2.1-or-later
源码归档	https://github.com/LPCIC/coq-elpi/releases/download/v3.4.0/rocq-elpi-3.4.0.tar.gz
最后更新	2026-05-21T05:10:19Z
Pulse	updated
依赖	ocaml-findlib, rocq
构建依赖	dune, ocaml, opam
Bottle	可用 (于 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install	未定义
服务	未声明
注意事项	Rocq needs help finding ML files installed inside `$HOMEBREW_PREFIX/opt/rocq-elpi/libexec/lib`. This can be done by passing `-I $HOMEBREW_PREFIX/opt/rocq-elpi/libexec/lib` as an argument. Alternatively, you can add the directory to OCAMLPATH, e.g. export OCAMLPATH="$HOMEBREW_PREFIX/opt/rocq-elpi/libexec/lib:$OCAMLPATH" or use the included findlib configuration file, e.g. export OCAMLFIND_CONF="$HOMEBREW_PREFIX/opt/rocq-elpi/libexec/lib/findlib.conf"

注册表事实

源数据库详情

Source Database	Homebrew formula API
Tap	homebrew/core
Full Name	rocq-elpi
Version Scheme	0
Revision	0
Bottle Stable Root URL	https://ghcr.io/v2/homebrew/core
Deprecated	no
Disabled	no
Keg Only	no
URL Keys	stable

软件包图谱

链接来自本地软件包关系图、补充数据、依赖边、生态匹配和软件包 hub 归属。

来源线索

由仓库数据生成

此页面由 av-web 从 scripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。

Combined YAML source

View the package source record on GitHub.

combined/rocq-elpi.yml

使用的来源

Geiger risk classifier
Nucleus package database
av.db category and tag curation
cross-ecosystem install command graph
package relationship graph
package version freshness
package-page enrichment

使用 Homebrew 安装 rocq-elpi