Automic VaultAutomic Vault

brew

Install mercury with Homebrew, apk, MacPorts, Nix, winget, zypper

Logic/functional programming language. Version 22.01.8 via Homebrew; verified from local package data.

Install commandSecurity notes

install

Additional install commands

macOS

Homebrewverified · 100%
brew install mercury

local Homebrew formula metadata

MacPortsverified · 94%
sudo port install mercury

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

Linux

Alpine Linux apkverified · 92%
sudo apk add mercury

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

Nixverified · 92%
nix profile install nixpkgs#mercury

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

openSUSE zypperverified · 92%
sudo zypper install lua-lmod

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

Windows

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

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

overview

Package summary

Logic/functional programming language

Commands and aliases

  • 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

history

Project history and usage

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.

Project history

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.

How it is used

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.

security posture

Risk level: yellow

generalized runtime or code generation signal.

Risk classifier

yellow risk · medium confidence · runtime

Why

  • generalized runtime or code generation signal

Signals

  • text:programming language

Install behavior

  • No Homebrew post-install hook is recorded in formula metadata.
  • Homebrew bottle metadata is available for 6 platform targets.
  • Installs with 1 runtime dependencies.

Recommended review

Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.

executables

Installed executables

CommandKindExposureNote
c2initcliglobal executable
canonical_gradecliglobal executable
info_to_mdbcliglobal executable
mcovcliglobal executable
mdbcliglobal executable
mdemanglecliglobal executable
mdicecliglobal executable
mdprofcliglobal executable
mdprof_cgicliglobal executable
mdprof_create_feedbackcliglobal executable
mdprof_dumpcliglobal executable
mdprof_report_feedbackcliglobal executable
mdprof_testcliglobal executable
mercurycliglobal executable
mercury_compilecliglobal executable
mercury_configcliglobal executable
mercury_profilecliglobal executable
mercury_update_interfacecliglobal executable
mfiltercccliglobal executable
mfilterjavaccliglobal executable
mgnuccliglobal executable
mkfifo_using_mknodcliglobal executable
mkinitcliglobal executable
mlcliglobal executable
mmakecliglobal executable
mmccliglobal executable
mprofcliglobal executable
mprof_merge_runscliglobal executable
mslicecliglobal executable
mtagscliglobal executable
mtccliglobal executable
mtc_diffcliglobal executable
mtc_unioncliglobal executable
prepare_install_dircliglobal executable
vpath_findcliglobal executable

freshness

Version and freshness

These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.

page generated2026-07-08
manager version22.01.8
manager updated
local dataok
upstreamnot checked
latest detectednot detected

https://mercurylang.org/

  • infoNo package-manager update timestamp was available.low confidence
  • infoRelease/tag comparison is only available for GitHub repositories.https://mercurylang.org/none confidence

install metadata

Package metadata

Package keybrew:mercury
Version22.01.8
Package managerHomebrew
Package manager pagehttps://formulae.brew.sh/formula/mercury
Homepagehttps://mercurylang.org/
Repositoryhttps://github.com/Mercury-Language/mercury
Upstream docshttps://mercurylang.org/documentation/documentation.html
LicenseGPL-2.0-only AND LGPL-2.0-only AND MIT
Source archivehttps://dl.mercurylang.org/release/mercury-srcdist-22.01.8.tar.gz
Dependenciesopenjdk
Uses from macOSlibedit
Bottleavailable (on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-installnot defined
Servicenone declared

registry facts

Source database details

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 database matches

Other package-manager records

Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.

Nix95%

mercury

nix profile install nixpkgs#mercury
  • normalized package name match
  • Matched by: 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 dependencies
  • 1 provides
  • normalized package name match
  • Matched by: 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
  • Matched by: 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 dependencies
  • 1 provides
  • normalized package name match
  • Matched by: 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
  • Matched by: 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
  • Matched by: 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
  • Matched by: 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 dependencies
  • 6 provides
  • installed executable or alias match
  • Matched by: 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

package graph

Links come from deterministic package relationships, av.db category and tag curation, ecosystem matches, and package hub membership.

Related tools

  • openjdkRuntime dependency declared by Homebrew.

Same workflow

  • coconutShares av.db curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
  • flixShares av.db curated category or tags: cli, functional-programming, language-runtime, logic-programming, programming-language.
  • fregeShares av.db curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
  • idris2Shares 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.

source trail

Generated from repository data

This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.

Used sources

  • 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