pkg.soopen package index

brew / 排名 7574

使用 Homebrew, apk, MacPorts, Nix, winget, zypper 安装 mercury

查看 mercury 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。

安装命令安全说明

安装

其他安装命令

macOS

Homebrew已验证 · 100%
brew install mercury

local Homebrew formula metadata

MacPorts已验证 · 94%
sudo port install mercury

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

Linux

Alpine Linux apk已验证 · 92%
sudo apk add mercury

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

Nix已验证 · 92%
nix profile install nixpkgs#mercury

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

openSUSE zypper已验证 · 92%
sudo zypper install lua-lmod

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

Windows

Windows Package Manager已验证 · 92%
winget install --id Alex313031.Mercury -e

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

概览

软件包摘要

Logic/functional programming language

命令和别名

  • 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

历史

项目历史与用法

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.

项目历史

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.

使用方式

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.

安全态势

风险级别：yellow

generalized runtime or code generation signal.

风险分类器

yellow 风险 · 中 置信度 · runtime

原因

  • generalized runtime or code generation signal

信号

  • text:programming language

安装行为

  • 未记录 Homebrew bottle 元数据。

建议审查

在无人值守的代理使用前，请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。

可执行文件

已安装的可执行文件

命令类型暴露范围备注
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可执行文件已索引可执行文件从本地可执行文件索引发现。
mtc_union可执行文件已索引可执行文件从本地可执行文件索引发现。
prepare_install_dir可执行文件已索引可执行文件从本地可执行文件索引发现。
vpath_find可执行文件已索引可执行文件从本地可执行文件索引发现。

新鲜度

版本和新鲜度

这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时，才会提示版本落后。

页面生成时间2026-08-03
管理器版本22.01.8
管理器更新时间2026-07-23
本地数据未知
上游不可用
检测到的最新版本未检测到
  • OK没有生成新鲜度警告。

安装元数据

软件包元数据

软件包键brew:mercury
版本22.01.8
软件包管理器Homebrew
主页https://mercurylang.org/
最后更新2026-07-23T16:36:10Z
Pulseupdated
Bottle未记录
服务未声明

源数据库匹配

其他软件包管理器记录

匹配项来自外部软件包管理器索引，并与本地 Automic Vault 软件包链接分开显示。

Nix95%

mercury

nix profile install nixpkgs#mercury
  • normalized package name match
  • 匹配方式：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 依赖
  • 1 提供
  • normalized package name match
  • 匹配方式：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
  • 匹配方式：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 依赖
  • 1 提供
  • normalized package name match
  • 匹配方式：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
  • 匹配方式：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
  • 匹配方式：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
  • 匹配方式：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.5

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 依赖
  • 6 提供
  • installed executable or alias match
  • 匹配方式：Ml
openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: lua-lmod from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst

软件包图谱

链接来自本地软件包关系图、补充数据、依赖边、生态匹配和软件包 hub 归属。

来源线索

由仓库数据生成

此页面由 av-web 从 scripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。

使用的来源

  • 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