macOS
Homebrew
verifiziert · 100%
brew install rocq
local Homebrew formula metadata
brew-Paketinformationen
rocq installieren
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für rocq in AI-Agent-Workflows.
Installation
Mit Automic Vault installieren
Automic Vault
sudo av install brew:rocqLinux
Alpine Linux apk
verifiziert · 92%
sudo apk add rocq
Alpine Linux edge package indexes · rocq · Quelle: dl-cdn.alpinelinux.org
Fedora dnf
verifiziert · 92%
sudo dnf install rocq
Fedora Rawhide package metadata · rocq · Quelle: dl.fedoraproject.org
Arch Linux pacman
verifiziert · 92%
sudo pacman -S rocq
Arch Linux sync databases · rocq · Quelle: geo.mirror.pkgbuild.com
openSUSE zypper
verifiziert · 92%
sudo zypper install rocq
openSUSE Tumbleweed package metadata · rocq · Quelle: download.opensuse.org
Paketmanager-Quelle
Plattformhinweise
- Es waren keine paketspezifischen Plattformhinweise vorhanden.
Überblick
Paketzusammenfassung
Automic Vault veröffentlicht paketspezifische Installationswege, Executable-Fakten und Sicherheitsmetadaten für rocq aus lokalen Paketdaten.
Homepage
Befehle und Aliase
- coq-tex
- coq_makefile
- coqc
- coqchk
- coqdep
- coqdoc
- coqidetop
- coqnative
- coqpp
- coqtop
- coqtop.byte
- coqwc
- coqworkmgr
- csdpcert
- ocamllibdep
- rocq
- rocq.byte
- rocqchk
- votour
Quellzusammenfassung
Proof assistant for higher-order logic
Sicherheitslage
Risikostufe: green
narrow executable package without higher-risk signals.
Risikoklassifikator
green Risiko · low Konfidenz · appliance
Warum
- narrow executable package without higher-risk signals
Signale
- metadata:no-higher-risk-signals
Installationsverhalten
- No Homebrew post-install hook is recorded in formula metadata.
- Homebrew bottle metadata is available for 6 platform targets.
- Installiert mit 4 Laufzeitabhängigkeiten.
- Build-Metadaten listen 1 Build-Abhängigkeiten.
Empfohlene Prüfung
Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.
Executables
Installierte Executables
| Befehl | Art | Sichtbarkeit | Hinweis |
|---|---|---|---|
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 |
Aktualität
Version und Aktualität
Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.
Seite generiert2026-05-26
Manager-Version9.1.1
Manager aktualisiert2026-03-22
lokale Datenok
Upstreamnot checked
neueste erkannte Versionnicht erkannt
https://github.com/rocq-prover/rocq
- info No cached GitHub release or tag data was available. https://github.com/rocq-prover/rocq none Konfidenz
Installationsmetadaten
Paketmetadaten
| Paketschlüssel | brew:rocq |
|---|---|
| Version | 9.1.1 |
| Paketmanager | Homebrew |
| Paketmanager-Seite | https://formulae.brew.sh/formula/rocq |
| Homepage | https://rocq-prover.org/ |
| Repository | https://github.com/rocq-prover/rocq |
| Upstream-Dokumentation | https://rocq-prover.org/ |
| Lizenz | LGPL-2.1-only |
| Quellarchiv | https://github.com/rocq-prover/rocq/releases/download/V9.1.1/rocq-9.1.1.tar.gz |
| Aktualisiert | 2026-03-22T03:32:09Z |
| Pulse | updated |
| Abhängigkeiten | gmp, ocaml, ocaml-findlib, ocaml-zarith |
| Build-Abhängigkeiten | dune |
| Bottle | verfügbar (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | nicht definiert |
| Dienst | keiner deklariert |
Quellspur
Aus Repository-Daten generiert
Diese Seite wird von scripts/generate-pkg-pages.py geschrieben. Deployments verweigern die Veröffentlichung, wenn www/pkg/ gegenüber lokalen Paketdaten veraltet ist.
Verwendete Quellen
- Geiger risk classifier
- Nucleus package database
- cross-ecosystem install command graph
- package relationship graph
- package version freshness
- package-page enrichment