macOS
Homebrewverified · 100%
brew install polymllocal Homebrew formula metadata
MacPortsverified · 94%
sudo port install polymlMacPorts ports tree · lang/polyml/Portfile · source: api.github.com
brew
Install polyml with Homebrew, apk, dnf, MacPorts, Nix, pacman, apt
Standard ML implementation. Version 5.9.2 via Homebrew; verified from local package data.
install
Additional install commands
Linux
Alpine Linux apkverified · 92%
sudo apk add polymlAlpine Linux edge package indexes · polyml · source: dl-cdn.alpinelinux.org
Fedora dnfverified · 92%
sudo dnf install polymlFedora Rawhide package metadata · polyml · source: dl.fedoraproject.org
Nixverified · 92%
nix profile install nixpkgs#polymlnixpkgs package indexes · pkgs/by-name/po/polyml/package.nix · source: api.github.com
Arch Linux pacmanverified · 92%
sudo pacman -S polymlArch Linux sync databases · polyml · source: geo.mirror.pkgbuild.com
Ubuntu aptverified · 92%
sudo apt install libpolyml-devUbuntu 24.04 LTS package indexes · libpolyml-dev · source: archive.ubuntu.com
overview
Package summary
Standard ML implementation
Project links
Commands and aliases
- poly
- polyc
- polyimport
security posture
Risk level: 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.
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 |
|---|---|---|---|
poly | cli | global executable | |
polyc | cli | global executable | |
polyimport | cli | global 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 version5.9.2
manager updated
local dataok
upstreamcurrent
latest detectedv5.9.2
https://github.com/polyml/polyml
- infoNo package-manager update timestamp was available.low confidence
install metadata
Package metadata
| Package key | brew:polyml |
|---|---|
| Version | 5.9.2 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/polyml |
| Homepage | https://www.polyml.org/ |
| Repository | https://github.com/polyml/polyml |
| Upstream docs | https://polyml.org/Doc.html |
| License | LGPL-2.1-or-later |
| Source archive | https://github.com/polyml/polyml/archive/refs/tags/v5.9.2.tar.gz |
| Bottle | available (on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | not defined |
| Service | none declared |
registry facts
Source database details
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | polyml |
| Version Scheme | 0 |
| Revision | 0 |
| Head Version | HEAD |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
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%
polyml
nix profile install nixpkgs#polyml- normalized package name match
- Matched by: Polyml
Ubuntu apt95%
libpolyml-dev 5.7.1-5build1
development files for Poly/ML, a compiler for Standard ML
sudo apt install libpolyml-dev- Section: universe/libdevel
- Architecture: amd64
- Source Package: polyml
- 1 dependencies
- normalized package name match
- Matched by: Polyml
Ubuntu apt95%
libpolyml9 5.7.1-5build1
runtime files for Poly/ML, a compiler for Standard ML
sudo apt install libpolyml9- Section: universe/libs
- Architecture: amd64
- Source Package: polyml
- 4 dependencies
- normalized package name match
- Matched by: Polyml
Ubuntu apt95%
polyml 5.7.1-5build1
interpreter and interactive compiler for Standard ML
sudo apt install polyml- Section: universe/interpreters
- Architecture: amd64
- 6 dependencies
- normalized package name match
- Matched by: Polyml
Ubuntu apt95%
polyml-modules 5.7.1-5build1
modules for Poly/ML, a compiler for Standard ML
sudo apt install polyml-modules- Section: universe/libs
- Architecture: amd64
- Source Package: polyml
- normalized package name match
- Matched by: Polyml
apk95%
polyml 5.9.2-r0
ML97 compatible Standard ML implementation
sudo apk add polyml- License: LGPL-2.1-only
- Architecture: x86_64
- Source Package: polyml
- 1 dependencies
- 1 provides
- normalized package name match
- Matched by: Polyml
apk95%
polyml-dev 5.9.2-r0
ML97 compatible Standard ML implementation (development files)
sudo apk add polyml-dev- License: LGPL-2.1-only
- Architecture: x86_64
- Source Package: polyml
- 1 dependencies
- 1 provides
- normalized package name match
- Matched by: Polyml
apk95%
polyml-doc 5.9.2-r0
ML97 compatible Standard ML implementation (documentation)
sudo apk add polyml-doc- License: LGPL-2.1-only
- Architecture: x86_64
- Source Package: polyml
- normalized package name match
- Matched by: Polyml
dnf95%
polyml 5.9.2-3.fc44
Poly/ML compiler and runtime system
sudo dnf install polyml- License: LGPL-2.1-or-later
- Category: Unspecified
- Architecture: x86_64
- Source Package: polyml
- 7 dependencies
- 2 provides
- normalized package name match
- Matched by: Polyml
dnf95%
polyml-doc 5.9.2-3.fc44
Poly/ML documentation
sudo dnf install polyml-doc- License: LGPL-2.1-or-later
- Category: Unspecified
- Architecture: noarch
- Source Package: polyml
- 1 provides
- normalized package name match
- Matched by: Polyml
dnf95%
polyml-libs 5.9.2-3.fc44
Poly/ML runtime libraries
sudo dnf install polyml-libs- License: LGPL-2.1-or-later
- Category: Unspecified
- Architecture: x86_64
- Source Package: polyml
- 7 dependencies
- 2 provides
- normalized package name match
- Matched by: Polyml
pacman95%
polyml 5.9.2-1
Standard ML compiler originally written in Poly
sudo pacman -S polyml- License: LGPL
- Architecture: x86_64
- 2 dependencies
- normalized package name match
- Matched by: Polyml
MacPorts95%
polyml
sudo port install polyml- normalized package name match
- Matched by: Polyml
Nix92%
poly
nix profile install nixpkgs#poly- installed executable or alias match
- Matched by: Poly
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
- 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