Automic VaultAutomic Vault

brew / 排名 5323

安装 smlnj

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

安装命令安全说明

安装

使用 Automic Vault 安装

Automic Vault
下载 AV
sudo av install brew:smlnj

macOS

Homebrewverified · 100%
brew install smlnj

local Homebrew formula metadata

MacPortsverified · 94%
sudo port install smlnj

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

Linux

Nixverified · 92%
nix profile install nixpkgs#smlnj

nixpkgs package indexes · smlnj · source: raw.githubusercontent.com

Arch Linux pacmanverified · 92%
sudo pacman -S smlnj

Arch Linux sync databases · smlnj · source: geo.mirror.pkgbuild.com

Ubuntu aptverified · 92%
sudo apt install libckit-smlnj

Ubuntu 24.04 LTS package indexes · libckit-smlnj · source: archive.ubuntu.com

openSUSE zypperverified · 92%
sudo zypper install smlnj

openSUSE Tumbleweed package metadata · smlnj · source: download.opensuse.org

平台说明

  • 没有特定于此软件包的平台说明。

概览

软件包摘要

Compiler and programming system for Standard ML

命令和别名

  • asdlgen
  • heap2exec
  • ml-antlr
  • ml-build
  • ml-burg
  • ml-makedepend
  • ml-ulex
  • ml-yacc
  • sml

安全态势

风险级别：green

narrow executable package without higher-risk signals.

Risk classifier

green risk · low confidence · appliance

Why

  • narrow executable package without higher-risk signals

Signals

  • metadata:no-higher-risk-signals

Install behavior

  • No Homebrew post-install hook is recorded in formula metadata.
  • Homebrew bottle metadata is available for 6 platform targets.
  • Build metadata lists 3 build dependencies.

建议审查

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

可执行文件

已安装的可执行文件

命令类型暴露范围备注
asdlgencliglobal executable
heap2execcliglobal executable
ml-antlrcliglobal executable
ml-buildcliglobal executable
ml-burgcliglobal executable
ml-makedependcliglobal executable
ml-ulexcliglobal executable
ml-yacccliglobal executable
smlcliglobal executable

新鲜度

版本和新鲜度

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

页面生成时间2026-06-10
管理器版本2026.1
管理器更新时间2026-05-06
本地数据ok
上游not checked
检测到的最新版本not detected

https://www.smlnj.org/

安装元数据

软件包元数据

Package keybrew:smlnj
Version2026.1
Package managerHomebrew
Package manager pagehttps://formulae.brew.sh/formula/smlnj
Homepagehttps://www.smlnj.org/
Repositoryhttps://github.com/smlnj/smlnj
Upstream docshttps://github.com/smlnj/smlnj#readme
LicenseBSD-3-Clause
Source archivehttps://smlnj.org/dist/working/2026.1/smlnj-arm64-unix-2026.1.tgz
Last updated2026-05-06T15:28:01Z
Pulseupdated
Build dependenciesautoconf, cmake, python@3.14
Uses from macOSzlib
Bottleavailable (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 Namesmlnj
Version Scheme0
Revision0
Head VersionHEAD
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • head
  • 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%

smlnj

nix profile install nixpkgs#smlnj
  • normalized package name match
  • Matched by: Smlnj
nixpkgs package indexes · raw.githubusercontent.com · nixpkgs package indexes: smlnj from https://raw.githubusercontent.com/NixOS/nixpkgs/master/pkgs/top-level/all-packages.nix
Ubuntu apt95%

libckit-smlnj 110.79-8build1

SML library for parsing and type-checking C programs

https://www.smlnj.org/

sudo apt install libckit-smlnj
  • Section: universe/devel
  • Architecture: amd64
  • Source Package: smlnj
  • 1 dependencies
  • normalized package name match
  • Matched by: Smlnj
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libckit-smlnj from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libcml-smlnj 110.79-8build1

Concurrent ML extension of SML

https://www.smlnj.org/

sudo apt install libcml-smlnj
  • Section: universe/devel
  • Architecture: amd64
  • Source Package: smlnj
  • 1 dependencies
  • normalized package name match
  • Matched by: Smlnj
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libcml-smlnj from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libcmlutil-smlnj 110.79-8build1

Concurrent ML utility library

https://www.smlnj.org/

sudo apt install libcmlutil-smlnj
  • Section: universe/devel
  • Architecture: amd64
  • Source Package: smlnj
  • 1 dependencies
  • normalized package name match
  • Matched by: Smlnj
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libcmlutil-smlnj from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libexene-smlnj 110.79-8build1

Concurrent ML library for the X Window System

https://www.smlnj.org/

sudo apt install libexene-smlnj
  • Section: universe/devel
  • Architecture: amd64
  • Source Package: smlnj
  • 2 dependencies
  • normalized package name match
  • Matched by: Smlnj
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libexene-smlnj from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libmlnlffi-smlnj 110.79-8build1

No Longer Foreign Function Interface

https://www.smlnj.org/

sudo apt install libmlnlffi-smlnj
  • Section: universe/devel
  • Architecture: amd64
  • Source Package: smlnj
  • 1 dependencies
  • 1 optional deps
  • normalized package name match
  • Matched by: Smlnj
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libmlnlffi-smlnj from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libmlrisctools-smlnj 110.79-8build1

Library for generating MLRISC modules

https://www.smlnj.org/

sudo apt install libmlrisctools-smlnj
  • Section: universe/devel
  • Architecture: amd64
  • Source Package: smlnj
  • 1 dependencies
  • normalized package name match
  • Matched by: Smlnj
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libmlrisctools-smlnj from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libpgraphutil-smlnj 110.79-8build1

Portable graph utility library for SML Compilation Manager

https://www.smlnj.org/

sudo apt install libpgraphutil-smlnj
  • Section: universe/devel
  • Architecture: amd64
  • Source Package: smlnj
  • 1 dependencies
  • normalized package name match
  • Matched by: Smlnj
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libpgraphutil-smlnj from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

libsmlnj-smlnj 110.79-8build1

Useful libraries for Standard ML of New Jersey

https://www.smlnj.org/

sudo apt install libsmlnj-smlnj
  • Section: universe/devel
  • Architecture: amd64
  • Source Package: smlnj
  • 1 dependencies
  • normalized package name match
  • Matched by: Smlnj
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libsmlnj-smlnj from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

ml-burg 110.79-8build1

Code generator for Standard ML

https://www.smlnj.org/

sudo apt install ml-burg
  • Section: universe/devel
  • Architecture: amd64
  • Source Package: smlnj
  • 1 dependencies
  • normalized package name match
  • Matched by: Smlnj
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: ml-burg from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

ml-lex 110.79-8build1

Lexical analyzer generator for Standard ML

https://www.smlnj.org/

sudo apt install ml-lex
  • Section: universe/devel
  • Architecture: amd64
  • Source Package: smlnj
  • 1 dependencies
  • normalized package name match
  • Matched by: Smlnj
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: ml-lex from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

ml-lpt 110.79-8build1

SML/NJ language processing tools

https://www.smlnj.org/

sudo apt install ml-lpt
  • Section: universe/devel
  • Architecture: amd64
  • Source Package: smlnj
  • 1 dependencies
  • 2 provides
  • normalized package name match
  • Matched by: Smlnj
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: ml-lpt from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

ml-nlffigen 110.79-8build1

ML generator for C glue code

https://www.smlnj.org/

sudo apt install ml-nlffigen
  • Section: universe/devel
  • Architecture: amd64
  • Source Package: smlnj
  • 2 dependencies
  • normalized package name match
  • Matched by: Smlnj
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: ml-nlffigen from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

ml-yacc 110.79-8build1

Parser generator for Standard ML

https://www.smlnj.org/

sudo apt install ml-yacc
  • Section: universe/devel
  • Architecture: amd64
  • Source Package: smlnj
  • 1 dependencies
  • normalized package name match
  • Matched by: Smlnj
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: ml-yacc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

nowhere 110.79-8build1

Translates programs from an extended Standard ML to Standard ML

https://www.smlnj.org/

sudo apt install nowhere
  • Section: universe/devel
  • Architecture: amd64
  • Source Package: smlnj
  • 1 dependencies
  • normalized package name match
  • Matched by: Smlnj
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: nowhere from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
Ubuntu apt95%

smlnj 110.79-8build1

Standard ML of New Jersey interactive compiler

https://www.smlnj.org/

sudo apt install smlnj
  • Section: universe/devel
  • Architecture: amd64
  • 1 dependencies
  • 2 optional deps
  • normalized package name match
  • Matched by: Smlnj
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: smlnj from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

软件包图谱

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

相关工具

  • python@3.14Build dependency declared by Homebrew.
  • cmakeBuild dependency declared by Homebrew.
  • autoconfBuild dependency declared by Homebrew.

相同工作流

  • mlkitShares av.db curated category or tags: cli, compiler, language-runtime, programming-language, standard-ml.
  • orcShares av.db curated category or tags: cli, compiler, language-runtime, runtime.
  • valaShares av.db curated category or tags: cli, compiler, language-runtime, programming-language.
  • c3cShares av.db curated category or tags: cli, compiler, language-runtime, programming-language.
  • idris2Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language.
  • dmdShares av.db curated category or tags: cli, compiler, language-runtime, programming-language.

来源线索

由仓库数据生成

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

使用的来源

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