macOS
Homebrew
vérifié · 100%
brew install rocq-elpi
local Homebrew formula metadata
Renseignements sur le paquet brew
Installer rocq-elpi
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de rocq-elpi pour les workflows d'agents IA.
installation
Installer avec Automic Vault
Automic Vault
sudo av install brew:rocq-elpiSource du gestionnaire de paquets
Notes de plateforme
- Aucune note de plateforme propre au paquet n'était présente.
aperçu
Résumé du paquet
Automic Vault publie les chemins d'installation, les faits d'exécutables et les métadonnées de sécurité propres à rocq-elpi depuis les données locales de paquets.
Page d'accueil
Commandes et alias
- rocq_elpi_optcomp
- rocq_elpi_shafile
- rocq_elpi_version_parser
Résumé source
Elpi extension language for Rocq
posture de sécurité
Niveau de risque : green
no executable entrypoint in the package index.
Classificateur de risque
green risque · low confiance · appliance
Pourquoi
- no executable entrypoint in the package index
Signaux
- metadata:no-indexed-executables
Comportement d'installation
- Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
- Les métadonnées de bottle Homebrew sont disponibles pour 6 plateformes.
- S’installe avec 2 dépendances d’exécution.
- Les métadonnées de compilation listent 3 dépendances de compilation.
Revue recommandée
Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.
exécutables
Exécutables installés
| Commande | Type | Exposition | Note |
|---|---|---|---|
rocq_elpi_optcomp | cli | global executable | |
rocq_elpi_shafile | cli | global executable | |
rocq_elpi_version_parser | cli | global executable |
fraîcheur
Version et fraîcheur
Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.
page générée2026-05-26
version du gestionnaire3.4.0
gestionnaire mis à jour2026-05-21
données localesok
amontnot checked
dernière version détectéenon détecté
https://github.com/LPCIC/coq-elpi
- info No cached GitHub release or tag data was available. https://github.com/LPCIC/coq-elpi none confiance
métadonnées d'installation
Métadonnées du paquet
| Clé du paquet | brew:rocq-elpi |
|---|---|
| Version | 3.4.0 |
| Gestionnaire de paquets | Homebrew |
| Page du gestionnaire de paquets | https://formulae.brew.sh/formula/rocq-elpi |
| Page d'accueil | https://github.com/LPCIC/coq-elpi |
| Dépôt | https://github.com/LPCIC/coq-elpi |
| Licence | LGPL-2.1-or-later |
| Archive source | https://github.com/LPCIC/coq-elpi/releases/download/v3.4.0/rocq-elpi-3.4.0.tar.gz |
| Mis à jour | 2026-05-21T05:10:19Z |
| Pulse | updated |
| Dépendances | ocaml-findlib, rocq |
| Dépendances de compilation | dune, ocaml, opam |
| Bouteille | disponible (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| post-install Homebrew | non défini |
| Service | aucun déclaré |
| Caveats | 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" |
piste source
Généré depuis les données du dépôt
Cette page est écrite par scripts/generate-pkg-pages.py. Les déploiements refusent de publier si www/pkg/ est obsolète par rapport aux données locales de paquets.
Sources utilisées
- Geiger risk classifier
- Nucleus package database
- cross-ecosystem install command graph
- package relationship graph
- package version freshness
- package-page enrichment