Automic VaultAutomic Vault

brew

mercury mit Homebrew, apk, MacPorts, Nix, winget, zypper installieren

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

InstallationsbefehlSicherheitshinweise

Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%
brew install mercury

local Homebrew formula metadata

MacPortsverifiziert · 94%
sudo port install mercury

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

Linux

Alpine Linux apkverifiziert · 92%
sudo apk add mercury

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

Nixverifiziert · 92%
nix profile install nixpkgs#mercury

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

openSUSE zypperverifiziert · 92%
sudo zypper install lua-lmod

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

Windows

Windows Package Managerverifiziert · 92%
winget install --id Alex313031.Mercury -e

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

Überblick

Paketzusammenfassung

Logic/functional programming language

Befehle und Aliase

  • 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

Verlauf

Projektgeschichte und Nutzung

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.

Projektgeschichte

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.

Wie es verwendet wird

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.

Sicherheitslage

Risikostufe: yellow

generalized runtime or code generation signal.

Risikoklassifikator

yellow Risiko · mittel Konfidenz · runtime

Warum

  • generalized runtime or code generation signal

Signale

  • text:programming language

Installationsverhalten

  • In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
  • Homebrew-Bottle-Metadaten sind für 6 Plattformziele verfügbar.
  • Installiert mit 1 Laufzeitabhä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

BefehlArtSichtbarkeitHinweis
c2initcliglobales Executable
canonical_gradecliglobales Executable
info_to_mdbcliglobales Executable
mcovcliglobales Executable
mdbcliglobales Executable
mdemanglecliglobales Executable
mdicecliglobales Executable
mdprofcliglobales Executable
mdprof_cgicliglobales Executable
mdprof_create_feedbackcliglobales Executable
mdprof_dumpcliglobales Executable
mdprof_report_feedbackcliglobales Executable
mdprof_testcliglobales Executable
mercurycliglobales Executable
mercury_compilecliglobales Executable
mercury_configcliglobales Executable
mercury_profilecliglobales Executable
mercury_update_interfacecliglobales Executable
mfiltercccliglobales Executable
mfilterjavaccliglobales Executable
mgnuccliglobales Executable
mkfifo_using_mknodcliglobales Executable
mkinitcliglobales Executable
mlcliglobales Executable
mmakecliglobales Executable
mmccliglobales Executable
mprofcliglobales Executable
mprof_merge_runscliglobales Executable
mslicecliglobales Executable
mtagscliglobales Executable
mtccliglobales Executable
mtc_diffcliglobales Executable
mtc_unioncliglobales Executable
prepare_install_dircliglobales Executable
vpath_findcliglobales 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-25
Manager-Version22.01.8
Manager aktualisiert2026-07-23
lokale DatenOK
Upstreamnot checked
neueste erkannte Versionnicht erkannt

https://mercurylang.org/

Installationsmetadaten

Paketmetadaten

Paketschlüsselbrew:mercury
Version22.01.8
PaketmanagerHomebrew
Paketmanager-Seitehttps://formulae.brew.sh/formula/mercury
Homepagehttps://mercurylang.org/
Repositoryhttps://github.com/Mercury-Language/mercury
Upstream-Dokumentationhttps://mercurylang.org/documentation/documentation.html
LizenzGPL-2.0-only AND LGPL-2.0-only AND MIT
Quellarchivhttps://dl.mercurylang.org/release/mercury-srcdist-22.01.8.tar.gz
Zuletzt aktualisiert2026-07-23T16:36:10Z
Pulseupdated
Abhängigkeitenopenjdk
Von macOS bereitgestellte Bibliothekenlibedit
Bottleverfügbar (auf arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-installnicht definiert
Dienstkeiner deklariert

Registry-Fakten

Details aus der Quelldatenbank

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

Source-Datenbank-Treffer

Andere Paketmanager-Einträge

Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.

Nix95%

mercury

nix profile install nixpkgs#mercury
  • normalized package name match
  • Abgeglichen nach: 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 Abhängigkeiten
  • 1 stellt bereit
  • normalized package name match
  • Abgeglichen nach: 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
  • Abgeglichen nach: 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 Abhängigkeiten
  • 1 stellt bereit
  • normalized package name match
  • Abgeglichen nach: 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
  • Abgeglichen nach: 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
  • Abgeglichen nach: 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
  • Abgeglichen nach: 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 Abhängigkeiten
  • 6 stellt bereit
  • installed executable or alias match
  • Abgeglichen nach: 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

Paketgraph

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

Verwandte Tools

  • openjdkRuntime dependency declared by Homebrew.

Gleicher 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.

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
  • 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