macOS
Homebrewverified · 100%
brew install mercurylocal Homebrew formula metadata
MacPortsverified · 94%
sudo port install mercuryMacPorts ports tree · lang/mercury/Portfile · source: api.github.com
brew / rank 7574
Install mercury with Homebrew, apk, MacPorts, Nix, winget, zypper
Logic/functional programming language. Version 22.01.8 via Homebrew; verified 2026-07-23. Also installable with nix: nix profile install nixpkgs#mercury.
install
Additional install commands
Linux
Alpine Linux apkverified · 92%
sudo apk add mercuryAlpine Linux edge package indexes · mercury · source: dl-cdn.alpinelinux.org
Nixverified · 92%
nix profile install nixpkgs#mercurynixpkgs package indexes · pkgs/by-name/me/mercury/package.nix · source: api.github.com
openSUSE zypperverified · 92%
sudo zypper install lua-lmodopenSUSE Tumbleweed package metadata · lua-lmod · source: download.opensuse.org
Windows
Windows Package Managerverified · 92%
winget install --id Alex313031.Mercury -eWindows Package Manager source index · Alex313031.Mercury · source: cdn.winget.microsoft.com
overview
Package summary
Logic/functional programming language
Project links
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.
Sources
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 bottle metadata was recorded.
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
| Command | Kind | Exposure | Note |
|---|---|---|---|
c2init | executable | indexed executable | Discovered from the local executable index. |
canonical_grade | executable | indexed executable | Discovered from the local executable index. |
info_to_mdb | executable | indexed executable | Discovered from the local executable index. |
mcov | executable | indexed executable | Discovered from the local executable index. |
mdb | executable | indexed executable | Discovered from the local executable index. |
mdemangle | executable | indexed executable | Discovered from the local executable index. |
mdice | executable | indexed executable | Discovered from the local executable index. |
mdprof | executable | indexed executable | Discovered from the local executable index. |
mdprof_cgi | executable | indexed executable | Discovered from the local executable index. |
mdprof_create_feedback | executable | indexed executable | Discovered from the local executable index. |
mdprof_dump | executable | indexed executable | Discovered from the local executable index. |
mdprof_report_feedback | executable | indexed executable | Discovered from the local executable index. |
mdprof_test | executable | indexed executable | Discovered from the local executable index. |
mercury | executable | indexed executable | Discovered from the local executable index. |
mercury_compile | executable | indexed executable | Discovered from the local executable index. |
mercury_config | executable | indexed executable | Discovered from the local executable index. |
mercury_profile | executable | indexed executable | Discovered from the local executable index. |
mercury_update_interface | executable | indexed executable | Discovered from the local executable index. |
mfiltercc | executable | indexed executable | Discovered from the local executable index. |
mfilterjavac | executable | indexed executable | Discovered from the local executable index. |
mgnuc | executable | indexed executable | Discovered from the local executable index. |
mkfifo_using_mknod | executable | indexed executable | Discovered from the local executable index. |
mkinit | executable | indexed executable | Discovered from the local executable index. |
ml | executable | indexed executable | Discovered from the local executable index. |
mmake | executable | indexed executable | Discovered from the local executable index. |
mmc | executable | indexed executable | Discovered from the local executable index. |
mprof | executable | indexed executable | Discovered from the local executable index. |
mprof_merge_runs | executable | indexed executable | Discovered from the local executable index. |
mslice | executable | indexed executable | Discovered from the local executable index. |
mtags | executable | indexed executable | Discovered from the local executable index. |
mtc | executable | indexed executable | Discovered from the local executable index. |
mtc_diff | executable | indexed executable | Discovered from the local executable index. |
mtc_union | executable | indexed executable | Discovered from the local executable index. |
prepare_install_dir | executable | indexed executable | Discovered from the local executable index. |
vpath_find | executable | indexed executable | Discovered from the local executable index. |
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-08-03
manager version22.01.8
manager updated2026-07-23
local dataunknown
upstreamnot available
latest detectednot detected
- okNo freshness warnings were generated.
install metadata
Package metadata
| Package key | brew:mercury |
|---|---|
| Version | 22.01.8 |
| Package manager | Homebrew |
| Homepage | https://mercurylang.org/ |
| Last updated | 2026-07-23T16:36:10Z |
| Pulse | updated |
| Bottle | not recorded |
| Service | none declared |
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
apk95%
mercury 22.01.8-r1
Compiler for the Mercury language
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
apk95%
mercury-doc 22.01.8-r1
Compiler for the Mercury language (documentation)
sudo apk add mercury-doc- License: GPL-2.0-only
- Architecture: x86_64
- Source Package: mercury
- normalized package name match
- Matched by: Mercury
apk95%
mercury-libs 22.01.8-r1
Mercury shared library (libraries)
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
MacPorts95%
mercury
sudo port install mercury- normalized package name match
- Matched by: Mercury
winget95%
Alex313031.Mercury
winget install --id Alex313031.Mercury -e- normalized package name match
- Matched by: Mercury
MacPorts94%
ml
sudo port install ml- installed executable or alias match
- Matched by: Ml
zypper92%
lua-lmod 8.7.55-4.5
Lua-based Environment Modules used in HPC
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
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.
Combined YAML source
View the package source record on GitHub.
Used sources
- Geiger risk classifier
- cross-ecosystem install command graph
- curated package history
- external package-manager database matches
- pkg.so package database
- pkgdb category and tag curation