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 / rank 7813
Install polyml with Homebrew, apk, dnf, MacPorts, Nix, pacman, apt
Standard ML implementation. Version 5.9.2 via Homebrew; verified from local package data. Also installable with nix: nix profile install nixpkgs#polyml.
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 polymlUbuntu 24.04 LTS package indexes · polyml · 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 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 |
|---|---|---|---|
poly | executable | indexed executable | Discovered from the local executable index. |
polyc | executable | indexed executable | Discovered from the local executable index. |
polyimport | 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 version5.9.2
manager updated
local dataunknown
upstreamnot available
latest detectednot detected
- okNo freshness warnings were generated.
install metadata
Package metadata
| Package key | brew:polyml |
|---|---|
| Version | 5.9.2 |
| Package manager | Homebrew |
| Homepage | https://www.polyml.org/ |
| Repository | https://github.com/polyml/polyml |
| 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%
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-5.fc45
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-5.fc45
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-5.fc45
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
- cross-ecosystem install command graph
- external package-manager database matches
- pkg.so package database
- pkgdb category and tag curation