安装

使用 Automic Vault 安装

Automic Vault

下载 AV

sudo av install brew:rocq

macOS

Homebrew 已验证 · 100%

brew install rocq

local Homebrew formula metadata

Linux

Alpine Linux apk 已验证 · 92%

sudo apk add rocq

Alpine Linux edge package indexes · rocq · 来源: dl-cdn.alpinelinux.org

Fedora dnf 已验证 · 92%

sudo dnf install rocq

Fedora Rawhide package metadata · rocq · 来源: dl.fedoraproject.org

Arch Linux pacman 已验证 · 92%

sudo pacman -S rocq

Arch Linux sync databases · rocq · 来源: geo.mirror.pkgbuild.com

openSUSE zypper 已验证 · 92%

sudo zypper install rocq

openSUSE Tumbleweed package metadata · rocq · 来源: download.opensuse.org

软件包管理器来源

https://formulae.brew.sh/formula/rocq

平台说明

没有特定于此软件包的平台说明。

概览

软件包摘要

Automic Vault 根据本地软件包数据发布 rocq 的安装路径、可执行文件事实和安全元数据。

主页

https://rocq-prover.org/

命令和别名

coq-tex
coq_makefile
coqc
coqchk
coqdep
coqdoc
coqidetop
coqnative
coqpp
coqtop
coqtop.byte
coqwc
coqworkmgr
csdpcert
ocamllibdep
rocq
rocq.byte
rocqchk
votour

来源摘要

Proof assistant for higher-order logic

安全态势

风险级别：green

narrow executable package without higher-risk signals.

风险分类器

green 风险 · low 置信度 · appliance

原因

narrow executable package without higher-risk signals

信号

metadata:no-higher-risk-signals

安装行为

No Homebrew post-install hook is recorded in formula metadata.
Homebrew bottle metadata is available for 6 platform targets.
安装时包含 4 个运行时依赖。
构建元数据列出 1 个构建依赖。

建议审查

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

可执行文件

已安装的可执行文件

命令	类型	暴露范围
`coq-tex`	cli	global executable
`coq_makefile`	cli	global executable
`coqc`	cli	global executable
`coqchk`	cli	global executable
`coqdep`	cli	global executable
`coqdoc`	cli	global executable
`coqidetop`	cli	global executable
`coqnative`	cli	global executable
`coqpp`	cli	global executable
`coqtop`	cli	global executable
`coqtop.byte`	cli	global executable
`coqwc`	cli	global executable
`coqworkmgr`	cli	global executable
`csdpcert`	cli	global executable
`ocamllibdep`	cli	global executable
`rocq`	cli	global executable
`rocq.byte`	cli	global executable
`rocqchk`	cli	global executable
`votour`	cli	global executable

新鲜度

版本和新鲜度

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

页面生成时间2026-05-26

管理器版本9.1.1

管理器更新时间2026-03-22

本地数据ok

上游not checked

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

https://github.com/rocq-prover/rocq

info No cached GitHub release or tag data was available. https://github.com/rocq-prover/rocq none 置信度

安装元数据

软件包元数据

软件包键	brew:rocq
版本	9.1.1
软件包管理器	Homebrew
软件包管理器页面	https://formulae.brew.sh/formula/rocq
主页	https://rocq-prover.org/
仓库	https://github.com/rocq-prover/rocq
上游文档	https://rocq-prover.org/
许可证	LGPL-2.1-only
源码归档	https://github.com/rocq-prover/rocq/releases/download/V9.1.1/rocq-9.1.1.tar.gz
更新	2026-03-22T03:32:09Z
Pulse	updated
依赖	gmp, ocaml, ocaml-findlib, ocaml-zarith
构建依赖	dune
Bottle	可用 (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install	未定义
服务	未声明

软件包图谱

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

来源线索

由仓库数据生成

此页面由 scripts/generate-pkg-pages.py 写入。如果 www/pkg/ 相对于本地软件包数据已过期，部署会拒绝发布。

使用的来源

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

安装 rocq