Automic VaultAutomic Vault

brew

Installer mercury avec Homebrew, apk, MacPorts, Nix, winget, zypper

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de mercury pour les workflows d'agents IA.

Commande d'installationNotes de sécurité

installation

Commandes d'installation supplémentaires

macOS

Homebrewvérifié · 100%
brew install mercury

local Homebrew formula metadata

MacPortsvérifié · 94%
sudo port install mercury

MacPorts ports tree · lang/mercury/Portfile · Source: api.github.com

Linux

Alpine Linux apkvérifié · 92%
sudo apk add mercury

Alpine Linux edge package indexes · mercury · Source: dl-cdn.alpinelinux.org

Nixvérifié · 92%
nix profile install nixpkgs#mercury

nixpkgs package indexes · pkgs/by-name/me/mercury/package.nix · Source: api.github.com

openSUSE zyppervérifié · 92%
sudo zypper install lua-lmod

openSUSE Tumbleweed package metadata · lua-lmod · Source: download.opensuse.org

Windows

Windows Package Managervérifié · 92%
winget install --id Alex313031.Mercury -e

Windows Package Manager source index · Alex313031.Mercury · Source: cdn.winget.microsoft.com

aperçu

Résumé du paquet

Logic/functional programming language

Commandes et alias

  • c2init
  • canonical_grade
  • info_to_mdb
  • mcov
  • mdb
  • mdemangle
  • mdice
  • mdprof
  • mdprof_cgi
  • mdprof_create_feedback
  • mdprof_dump
  • mdprof_report_feedback
  • mdprof_test
  • mercury
  • mercury_compile
  • mercury_config
  • mercury_profile
  • mercury_update_interface
  • mfiltercc
  • mfilterjavac
  • mgnuc
  • mkfifo_using_mknod
  • mkinit
  • ml
  • mmake
  • mmc
  • mprof
  • mprof_merge_runs
  • mslice
  • mtags
  • mtc
  • mtc_diff

historique

Historique du projet et usages

Mercury is a pure logic programming language that grew out of the University of Melbourne logic-programming research community. The Mercury project describes the language as Prolog-like in syntax but different in semantics because of its purity and its static type, mode, determinism, and module systems. Early papers by Zoltan Somogyi, Fergus Henderson, and Thomas Conway documented the implementation in 1994 and presented Mercury as an efficient purely declarative logic language in 1995.

Historique du projet

The compiler became a substantial part of the project identity: it is written in Mercury, was bootstrapped from Prolog systems, and compiles Mercury code through C as a portable assembler while using GNU C extensions when available for better code generation. The user guide exposes a full development toolchain around `mmc`, `mmake`, debugging, profiling, generated interface files, and multiple target-language grades.

Modes d'utilisation

In package-manager terms, the Homebrew package is a language runtime and compiler suite rather than a small single-command utility. It installs the compiler, build tools, debugger, profiler, and support commands used to compile and inspect Mercury programs. Its niche is close to Prolog and functional-language systems: users pick it when they want logic programming with stronger compile-time guarantees, determinism checking, and efficient native-code-oriented compilation.

posture de sécurité

Niveau de risque : yellow

generalized runtime or code generation signal.

Classificateur de risque

risque yellow · confiance moyen · runtime

Pourquoi

  • generalized runtime or code generation signal

Signaux

  • text:programming language

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 1 dépendances d’exécution.

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

CommandeTypeExpositionNote
c2initcliexécutable global
canonical_gradecliexécutable global
info_to_mdbcliexécutable global
mcovcliexécutable global
mdbcliexécutable global
mdemanglecliexécutable global
mdicecliexécutable global
mdprofcliexécutable global
mdprof_cgicliexécutable global
mdprof_create_feedbackcliexécutable global
mdprof_dumpcliexécutable global
mdprof_report_feedbackcliexécutable global
mdprof_testcliexécutable global
mercurycliexécutable global
mercury_compilecliexécutable global
mercury_configcliexécutable global
mercury_profilecliexécutable global
mercury_update_interfacecliexécutable global
mfiltercccliexécutable global
mfilterjavaccliexécutable global
mgnuccliexécutable global
mkfifo_using_mknodcliexécutable global
mkinitcliexécutable global
mlcliexécutable global
mmakecliexécutable global
mmccliexécutable global
mprofcliexécutable global
mprof_merge_runscliexécutable global
mslicecliexécutable global
mtagscliexécutable global
mtccliexécutable global
mtc_diffcliexécutable global
mtc_unioncliexécutable global
prepare_install_dircliexécutable global
vpath_findcliexé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-25
version du gestionnaire22.01.8
gestionnaire mis à jour2026-07-23
données localesOK
amontnot checked
dernière version détectéenon détecté

https://mercurylang.org/

métadonnées d'installation

Métadonnées du paquet

Clé du paquetbrew:mercury
Version22.01.8
Gestionnaire de paquetsHomebrew
Page du gestionnaire de paquetshttps://formulae.brew.sh/formula/mercury
Page d'accueilhttps://mercurylang.org/
Dépôthttps://github.com/Mercury-Language/mercury
Docs amonthttps://mercurylang.org/documentation/documentation.html
LicenceGPL-2.0-only AND LGPL-2.0-only AND MIT
Archive sourcehttps://dl.mercurylang.org/release/mercury-srcdist-22.01.8.tar.gz
Dernière mise à jour2026-07-23T16:36:10Z
Pulseupdated
Dépendancesopenjdk
Bibliothèques fournies par macOSlibedit
Bouteilledisponible (sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
post-install Homebrewnon défini
Serviceaucun déclaré

faits du registre

Détails de la base source

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Namemercury
Version Scheme0
Revision1
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • stable

correspondances dans les bases sources

Autres enregistrements de gestionnaires de paquets

Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.

Nix95%

mercury

nix profile install nixpkgs#mercury
  • normalized package name match
  • Correspondance par : Mercury
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/me/mercury/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
apk95%

mercury 22.01.8-r1

Compiler for the Mercury language

https://www.mercurylang.org

sudo apk add mercury
  • License: GPL-2.0-only
  • Architecture: x86_64
  • Source Package: mercury
  • 1 Dépendances
  • 1 fournit
  • normalized package name match
  • Correspondance par : Mercury
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: mercury from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
apk95%

mercury-doc 22.01.8-r1

Compiler for the Mercury language (documentation)

https://www.mercurylang.org

sudo apk add mercury-doc
  • License: GPL-2.0-only
  • Architecture: x86_64
  • Source Package: mercury
  • normalized package name match
  • Correspondance par : Mercury
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: mercury-doc from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
apk95%

mercury-libs 22.01.8-r1

Mercury shared library (libraries)

https://www.mercurylang.org

sudo apk add mercury-libs
  • License: GPL-2.0-only
  • Architecture: x86_64
  • Source Package: mercury
  • 1 Dépendances
  • 1 fournit
  • normalized package name match
  • Correspondance par : Mercury
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: mercury-libs from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
MacPorts95%

mercury

sudo port install mercury
  • normalized package name match
  • Correspondance par : Mercury
MacPorts ports tree · api.github.com · MacPorts ports tree: lang/mercury/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1
winget95%

Alex313031.Mercury

winget install --id Alex313031.Mercury -e
  • normalized package name match
  • Correspondance par : Mercury
Windows Package Manager source index · cdn.winget.microsoft.com · Windows Package Manager source index: Alex313031.Mercury from https://cdn.winget.microsoft.com/cache/source.msix
MacPorts94%

ml

sudo port install ml
  • installed executable or alias match
  • Correspondance par : Ml
MacPorts ports tree · api.github.com · MacPorts ports tree: math/ml/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1
zypper92%

lua-lmod 8.7.55-4.3

Lua-based Environment Modules used in HPC

https://github.com/TACC/Lmod

sudo zypper install lua-lmod
  • License: MIT
  • Category: Development/Libraries/Other
  • Architecture: x86_64
  • Source Package: lua-lmod
  • 8 Dépendances
  • 6 fournit
  • installed executable or alias match
  • Correspondance par : Ml
openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: lua-lmod from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst

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.

Outils liés

  • openjdkRuntime dependency declared by Homebrew.

Même workflow

  • coconutShares av.db curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
  • kokaShares av.db curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
  • neverShares av.db curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
  • purescriptShares av.db curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
  • algol68gShares av.db curated category or tags: cli, compiler, language-runtime, programming-language.
  • ats2-postiatsShares av.db curated category or tags: cli, compiler, language-runtime, programming-language.

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.

Sources utilisées

  • Geiger risk classifier
  • Nucleus package database
  • av.db category and tag curation
  • cross-ecosystem install command graph
  • curated package history
  • external package-manager database matches
  • package relationship graph
  • package version freshness
  • package-page enrichment