# Install polyml Standard ML implementation. Version 5.9.2 via Homebrew; verified from local package data. ## 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/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-primary.xml.zst - Nix (92%): ```sh nix profile install nixpkgs#polyml ``` Evidence: nixpkgs package indexes: polyml from https://raw.githubusercontent.com/NixOS/nixpkgs/master/pkgs/top-level/all-packages.nix - 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 libpolyml-dev ``` Evidence: Ubuntu 24.04 LTS package indexes: libpolyml-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz ## Package Facts - **Package key:** brew:polyml - **Package manager:** Homebrew - **Package manager URL:** - **Version:** 5.9.2 - **Source summary:** Standard ML implementation - **Homepage:** - **Repository:** - **Upstream docs:** - **License:** LGPL-2.1-or-later - **Source archive:** - **Generated:** 2026-06-10T07:18:26+00:00 ## Executables - poly (cli) - polyc (cli) - polyimport (cli) - poly (alias) - polyc (alias) - polyimport (alias) ## Install Behavior - Post-install hook: not defined - Bottle: available on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux ## Freshness - Page generated: 2026-06-10 - Package-manager version: 5.9.2 - Local data status: ok - Upstream repository: https://github.com/polyml/polyml - Upstream latest detected: v5.9.2 (current) - info: No package-manager update timestamp was available. ## Notes de sécurité narrow executable package without higher-risk signals. - **Geiger risk:** green / low - narrow executable package without higher-risk signals ## 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:** - **Deprecated:** no - **Disabled:** no - **Keg Only:** no - **URL Keys:** head, stable ## Other Package-Manager Records - Nix - polyml: normalized package name match | nixpkgs package indexes: polyml from https://raw.githubusercontent.com/NixOS/nixpkgs/master/pkgs/top-level/all-packages.nix - 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-3.fc44: normalized package name match | Fedora Rawhide package metadata: polyml from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-primary.xml.zst | Poly/ML compiler and runtime system | https://www.polyml.org/ - dnf - polyml-doc - 5.9.2-3.fc44: 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/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-primary.xml.zst | Poly/ML documentation | https://www.polyml.org/ - dnf - polyml-libs - 5.9.2-3.fc44: 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/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-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 ## Related Links - [Terminal utility packages](https://www.automicvault.com/fr/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Developer build packages](https://www.automicvault.com/fr/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata. - [Language runtime packages](https://www.automicvault.com/fr/pkg/language-runtime-packages/) - Matched language runtime, compiler, or interpreter metadata. - [Networking and protocol packages](https://www.automicvault.com/fr/pkg/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata. - [julia](https://www.automicvault.com/fr/pkg/brew/julia/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language, repl. - [hy](https://www.automicvault.com/fr/pkg/brew/hy/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language, repl. - [mosml](https://www.automicvault.com/fr/pkg/brew/mosml/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language, standard-ml. - [go](https://www.automicvault.com/fr/pkg/brew/go/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language. - [rust](https://www.automicvault.com/fr/pkg/brew/rust/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language. - [lua](https://www.automicvault.com/fr/pkg/brew/lua/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language. - [kotlin](https://www.automicvault.com/fr/pkg/brew/kotlin/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language. - [typescript](https://www.automicvault.com/fr/pkg/brew/typescript/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language. ## Sources - Nucleus package database - Geiger risk classifier - package-page enrichment - package version freshness - av.db category and tag curation - package relationship graph - external package-manager database matches - cross-ecosystem install command graph