macOS
Homebrewverifiziert · 100%
brew install rocq-elpilocal Homebrew formula metadata
brew
rocq-elpi mit Homebrew installieren
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für rocq-elpi in AI-Agent-Workflows.
Installation
Weitere Installationsbefehle
Überblick
Paketzusammenfassung
Elpi extension language for Rocq
Projektlinks
Befehle und Aliase
- rocq_elpi_optcomp
- rocq_elpi_shafile
- rocq_elpi_version_parser
Sicherheitslage
Noch keine Protected-Tool-Abdeckung gefunden
Für rocq-elpi wurde kein passendes lokales Secret-Handling-Manifest gefunden. Nucleus-Paketmetadaten bleiben hier veröffentlicht, damit künftige Abdeckung eine stabile Paket-URL hat.
Installationsverhalten
- In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
- Homebrew-Bottle-Metadaten sind für 6 Plattformziele verfügbar.
- Installiert mit 2 Laufzeitabhängigkeiten.
- Build-Metadaten listen 3 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 |
|---|---|---|---|
rocq_elpi_optcomp | cli | globales Executable | |
rocq_elpi_shafile | cli | globales Executable | |
rocq_elpi_version_parser | cli | globales 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-07-10
Manager-Version3.4.0
Manager aktualisiert2026-05-21
lokale DatenOK
Upstreamnot checked
neueste erkannte Versionnicht erkannt
https://github.com/LPCIC/coq-elpi
- InfoNo cached GitHub release or tag data was available.https://github.com/LPCIC/coq-elpinone Konfidenz
Installationsmetadaten
Paketmetadaten
| Paketschlüssel | brew:rocq-elpi |
|---|---|
| Version | 3.4.0 |
| Paketmanager | Homebrew |
| Paketmanager-Seite | https://formulae.brew.sh/formula/rocq-elpi |
| Homepage | https://github.com/LPCIC/coq-elpi |
| Repository | https://github.com/LPCIC/coq-elpi |
| Upstream-Dokumentation | https://github.com/LPCIC/coq-elpi |
| Lizenz | LGPL-2.1-or-later |
| Quellarchiv | https://github.com/LPCIC/coq-elpi/releases/download/v3.4.0/rocq-elpi-3.4.0.tar.gz |
| Zuletzt aktualisiert | 2026-05-21T05:10:19Z |
| Pulse | updated |
| Abhängigkeiten | ocaml-findlib, rocq |
| Build-Abhängigkeiten | dune, ocaml, opam |
| Bottle | verfügbar (auf arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | nicht definiert |
| Dienst | keiner deklariert |
| Einschränkungen | 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" |
Registry-Fakten
Details aus der Quelldatenbank
| 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 |
|
Quellspur
Aus Repository-Daten generiert
Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.
Combined YAML source
View the package source record on GitHub.
Verwendete Quellen
- 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