installation

Commandes d'installation supplémentaires

macOS

Homebrewvérifié · 100%

brew install rocq-elpi

local Homebrew formula metadata

aperçu

Résumé du paquet

Elpi extension language for Rocq

Liens du projet

Commandes et alias

rocq_elpi_optcomp
rocq_elpi_shafile
rocq_elpi_version_parser

posture de sécurité

Aucune couverture d'outil protégé trouvée pour le moment

Aucun manifest local de gestion des secrets correspondant n'a été trouvé pour rocq-elpi. Les métadonnées de paquet Nucleus restent publiées ici afin que la couverture future dispose d'une URL stable.

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
`rocq_elpi_optcomp`	cli	exécutable global
`rocq_elpi_shafile`	cli	exécutable global
`rocq_elpi_version_parser`	cli	exécutable global

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-07-10

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

infoNo cached GitHub release or tag data was available.https://github.com/LPCIC/coq-elpiconfiance none

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
Docs amont	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
Dernière mise à jour	2026-05-21T05:10:19Z
Pulse	updated
Dépendances	ocaml-findlib, rocq
Dépendances de compilation	dune, ocaml, opam
Bouteille	disponible (sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
post-install Homebrew	non défini
Service	aucun déclaré
Précautions	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"

faits du registre

Détails de la base source

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	stable

graphe de paquets

Les liens viennent du graphe local de relations entre paquets, des suppléments, des dépendances, des correspondances d'écosystèmes et de l'appartenance aux hubs.

piste source

Généré depuis les données du dépôt

Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.

Combined YAML source

View the package source record on GitHub.

combined/rocq-elpi.yml

Sources utilisées

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

Installer rocq-elpi avec Homebrew