pkg.soopen package index

brew / Rang 5595

rocq-elpi mit Homebrew installieren

Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für rocq-elpi in AI-Agent-Workflows.

InstallationsbefehlSicherheitshinweise

Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%
brew install rocq-elpi

local Homebrew formula metadata

Überblick

Paketzusammenfassung

Elpi extension language for Rocq

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

  • Es wurden keine Homebrew-Bottle-Metadaten erfasst.

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

BefehlArtSichtbarkeitHinweis
rocq_elpi_optcompExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.
rocq_elpi_shafileExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.
rocq_elpi_version_parserExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.

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-08-03
Manager-Version3.5.0
Manager aktualisiert2026-07-25
lokale Datenunbekannt
Upstreamnicht verfügbar
neueste erkannte Versionnicht erkannt
  • OKEs wurden keine Aktualitätswarnungen generiert.

Installationsmetadaten

Paketmetadaten

Paketschlüsselbrew:rocq-elpi
Version3.5.0
PaketmanagerHomebrew
Homepagehttps://github.com/LPCIC/coq-elpi
Repositoryhttps://github.com/LPCIC/coq-elpi
Zuletzt aktualisiert2026-07-25T14:44:37Z
Pulseupdated
Bottlenicht erfasst
Dienstkeiner deklariert

Paketgraph

Links stammen aus dem lokalen Paketbeziehungsgraph, Ergänzungen, Abhängigkeitskanten, Ecosystem-Matches und Paket-Hub-Mitgliedschaft.

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.

Verwendete Quellen

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