# 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
```sh
sudo av install brew:polyml
```
Additional install commands:
### macOS
- Homebrew (100%):
```sh
brew install polyml
```
Evidence: local Homebrew formula metadata
- MacPorts (94%):
```sh
sudo port install polyml
```
Evidence: MacPorts ports tree: lang/polyml/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1
### Linux
- apk (92%):
```sh
sudo apk add polyml
```
Evidence: Alpine Linux edge package indexes: polyml from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
- dnf (92%):
```sh
sudo dnf install polyml
```
Evidence: Fedora Rawhide package metadata: polyml from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
- Nix (92%):
```sh
nix profile install nixpkgs#polyml
```
Evidence: nixpkgs package indexes: pkgs/by-name/po/polyml/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
- pacman (92%):
```sh
sudo pacman -S polyml
```
Evidence: Arch Linux sync databases: polyml from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz
- Ubuntu apt (92%):
```sh
sudo apt install polyml
```
Evidence: Ubuntu 24.04 LTS package indexes: polyml from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
## Package facts
- **Package key:** brew:polyml
- **Package manager:** Homebrew
- **Version:** 5.9.2
- **Source summary:** Standard ML implementation
- **Homepage:**
- **Repository:**
- **Generated:** 2026-08-03T19:37:03+00:00
## Executables
- poly (alias)
- polyc (alias)
- polyimport (alias)
## Install behavior
- Bottle: not available
## Freshness
- Page generated: 2026-08-03
- Package-manager version: 5.9.2
## Security Notes
narrow executable package without higher-risk signals.
- **Geiger risk:** green / low
- narrow executable package without higher-risk signals
## Other Package-Manager Records
- Nix - polyml: normalized package name match | nixpkgs package indexes: pkgs/by-name/po/polyml/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
- Ubuntu apt - libpolyml-dev - 5.7.1-5build1: normalized package name match | Ubuntu 24.04 LTS package indexes: libpolyml-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | development files for Poly/ML, a compiler for Standard ML | http://www.polyml.org
- Ubuntu apt - libpolyml9 - 5.7.1-5build1: normalized package name match | Ubuntu 24.04 LTS package indexes: libpolyml9 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | runtime files for Poly/ML, a compiler for Standard ML | http://www.polyml.org
- Ubuntu apt - polyml - 5.7.1-5build1: normalized package name match | Ubuntu 24.04 LTS package indexes: polyml from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | interpreter and interactive compiler for Standard ML | http://www.polyml.org
- Ubuntu apt - polyml-modules - 5.7.1-5build1: normalized package name match | Ubuntu 24.04 LTS package indexes: polyml-modules from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | modules for Poly/ML, a compiler for Standard ML | http://www.polyml.org
- apk - polyml - 5.9.2-r0: normalized package name match | Alpine Linux edge package indexes: polyml from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | ML97 compatible Standard ML implementation | https://www.polyml.org/
- apk - polyml-dev - 5.9.2-r0: normalized package name match | Alpine Linux edge package indexes: polyml-dev from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | ML97 compatible Standard ML implementation (development files) | https://www.polyml.org/
- apk - polyml-doc - 5.9.2-r0: normalized package name match | Alpine Linux edge package indexes: polyml-doc from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | ML97 compatible Standard ML implementation (documentation) | https://www.polyml.org/
- dnf - polyml - 5.9.2-5.fc45: normalized package name match | Fedora Rawhide package metadata: polyml from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst | Poly/ML compiler and runtime system | https://www.polyml.org/
- dnf - polyml-doc - 5.9.2-5.fc45: normalized package name match | Fedora Rawhide package metadata: polyml-doc from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst | Poly/ML documentation | https://www.polyml.org/
- dnf - polyml-libs - 5.9.2-5.fc45: normalized package name match | Fedora Rawhide package metadata: polyml-libs from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst | Poly/ML runtime libraries | https://www.polyml.org/
- pacman - polyml - 5.9.2-1: normalized package name match | Arch Linux sync databases: polyml from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz | Standard ML compiler originally written in Poly | https://polyml.org/
- MacPorts - polyml: normalized package name match | MacPorts ports tree: lang/polyml/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1
- Nix - poly: installed executable or alias match | nixpkgs package indexes: pkgs/by-name/po/poly/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
## Combined YAML source
View the package source record on GitHub. [combined/polyml.yml](https://github.com/mxcl/pkgdb/blob/main/combined/polyml.yml)
## Sources
- pkg.so package database
- Geiger risk classifier
- pkgdb category and tag curation
- external package-manager database matches
- cross-ecosystem install command graph