brew / rang 8933

Installer polyml avec Homebrew, apk, dnf, MacPorts, Nix, pacman, apt

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de polyml pour les workflows d'agents IA.

Commande d'installation Notes de sécurité

installation

Commandes d'installation supplémentaires

macOS

Homebrewvérifié · 100%

brew install polyml

local Homebrew formula metadata

MacPortsvérifié · 94%

sudo port install polyml

MacPorts ports tree · lang/polyml/Portfile · Source: api.github.com

Linux

Alpine Linux apkvérifié · 92%

sudo apk add polyml

Alpine Linux edge package indexes · polyml · Source: dl-cdn.alpinelinux.org

Fedora dnfvérifié · 92%

sudo dnf install polyml

Fedora Rawhide package metadata · polyml · Source: dl.fedoraproject.org

Nixvérifié · 92%

nix profile install nixpkgs#polyml

nixpkgs package indexes · pkgs/by-name/po/polyml/package.nix · Source: api.github.com

Arch Linux pacmanvérifié · 92%

sudo pacman -S polyml

Arch Linux sync databases · polyml · Source: geo.mirror.pkgbuild.com

Ubuntu aptvérifié · 92%

sudo apt install polyml

Ubuntu 24.04 LTS package indexes · polyml · Source: archive.ubuntu.com

aperçu

Résumé du paquet

Standard ML implementation

Liens du projet

Commandes et alias

poly
polyc
polyimport

historique

Historique du projet et usages

Poly/ML is a long-running implementation of Standard ML with an interactive environment, native-code compiler, debugger, Basis Library, threading support, and foreign-function interface.

Historique du projet

David Matthews originally wrote the system at Cambridge University's Computer Laboratory in the experimental Poly language. It was subsequently developed by Abstract Hardware Limited and translated into Standard ML.

Cambridge University Technical Services reacquired the rights in 1999 and agreed to make Poly/ML freely available. Later work implemented the Standard Basis Library, completed support for the revised Standard ML definition, and rewrote the runtime system.

Historique d'adoption

Poly/ML became closely associated with large formal-methods systems. The official site names Isabelle and HOL4 as major projects for which it is a preferred implementation.

Modes d'utilisation

Run `poly` for an interactive Standard ML session, load source into the top level during development, or use the compiler and export facilities to build applications. It is particularly common in theorem-proving and other large Standard ML codebases.

Pourquoi les passionnés de paquets s'y intéressent

Poly/ML is one of the durable Standard ML implementations available through general-purpose package managers. It is especially notable for combining an interactive top level and fast native-code compiler with threads, garbage-collector multiprocessor support, debugging, and foreign-function facilities.

For language-runtime collectors, Poly/ML represents a distinct Standard ML niche: SML/NJ emphasizes an interactive programming environment, while MLton specializes in whole-program optimization. Poly/ML's continued use by theorem provers gives it relevance beyond language preservation.

Chronologie

1980s: David Matthews develops the original Poly system at Cambridge.
1999: Cambridge University Technical Services reacquires the rights and makes Poly/ML freely available.
2000s: The runtime is rewritten and the system gains full support for revised Standard ML.

Related projects

Isabelle and HOL4 are prominent theorem-proving systems documented by Poly/ML as large projects using the runtime.
SML/NJ and MLton are the most directly useful packaged alternatives within the Standard ML implementation ecosystem.

Sources

posture de sécurité

Niveau de risque : vert

narrow executable package without higher-risk signals.

Classificateur de risque

risque vert · confiance faible · appliance

Pourquoi

narrow executable package without higher-risk signals

Signaux

metadata:no-higher-risk-signals

Comportement d'installation

Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
Les métadonnées de bottle Homebrew sont disponibles pour 7 plateformes.

Revue recommandée

Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.

exécutables

Exécutables installés

Commande	Type	Exposition
`poly`	cli	exécutable global
`polyc`	cli	exécutable global
`polyimport`	cli	exécutable global

fraîcheur

Version et fraîcheur

Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.

page générée2026-11-04

version du gestionnaire5.9.2

gestionnaire mis à jour2026-09-13

données localesOK

amontà jour

dernière version détectéev5.9.2

https://github.com/polyml/polyml

OKAucun avertissement de fraîcheur n'a été généré.

métadonnées d'installation

Métadonnées du paquet

Clé du paquet	brew:polyml
Version	5.9.2
Gestionnaire de paquets	Homebrew
Page du gestionnaire de paquets	https://formulae.brew.sh/formula/polyml
Page d'accueil	https://www.polyml.org/
Dépôt	https://github.com/polyml/polyml
Docs amont	https://www.polyml.org/
Licence	LGPL-2.1-or-later
Archive source	https://github.com/polyml/polyml/archive/refs/tags/v5.9.2.tar.gz
Dernière mise à jour	2026-09-13T11:53:53Z
Pulse	updated
Bouteille	disponible (sur arm64_golden_gate, arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
post-install Homebrew	non défini
Service	aucun déclaré

faits du registre

Détails de la base source

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	head stable

correspondances dans les bases sources

Autres enregistrements de gestionnaires de paquets

Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.

Nix95%

polyml

nix profile install nixpkgs#polyml

normalized package name match
Correspondance par : Polyml

nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/po/polyml/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

Ubuntu apt95%

libpolyml-dev 5.7.1-5build1

development files for Poly/ML, a compiler for Standard ML

http://www.polyml.org

sudo apt install libpolyml-dev

Section: universe/libdevel
Architecture: amd64
Source Package: polyml
1 Dépendances
normalized package name match
Correspondance par : Polyml

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libpolyml-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

Ubuntu apt95%

libpolyml9 5.7.1-5build1

runtime files for Poly/ML, a compiler for Standard ML

http://www.polyml.org

sudo apt install libpolyml9

Section: universe/libs
Architecture: amd64
Source Package: polyml
4 Dépendances
normalized package name match
Correspondance par : Polyml

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: libpolyml9 from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

Ubuntu apt95%

polyml 5.7.1-5build1

interpreter and interactive compiler for Standard ML

http://www.polyml.org

sudo apt install polyml

Section: universe/interpreters
Architecture: amd64
6 Dépendances
normalized package name match
Correspondance par : Polyml

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: polyml from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

Ubuntu apt95%

polyml-modules 5.7.1-5build1

modules for Poly/ML, a compiler for Standard ML

http://www.polyml.org

sudo apt install polyml-modules

Section: universe/libs
Architecture: amd64
Source Package: polyml
normalized package name match
Correspondance par : Polyml

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: polyml-modules from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

apk95%

polyml 5.9.2-r0

ML97 compatible Standard ML implementation

https://www.polyml.org/

sudo apk add polyml

License: LGPL-2.1-only
Architecture: x86_64
Source Package: polyml
1 Dépendances
1 fournit
normalized package name match
Correspondance par : Polyml

Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: polyml from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz

apk95%

polyml-dev 5.9.2-r0

ML97 compatible Standard ML implementation (development files)

https://www.polyml.org/

sudo apk add polyml-dev

License: LGPL-2.1-only
Architecture: x86_64
Source Package: polyml
1 Dépendances
1 fournit
normalized package name match
Correspondance par : Polyml

Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: polyml-dev from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz

apk95%

polyml-doc 5.9.2-r0

ML97 compatible Standard ML implementation (documentation)

https://www.polyml.org/

sudo apk add polyml-doc

License: LGPL-2.1-only
Architecture: x86_64
Source Package: polyml
normalized package name match
Correspondance par : Polyml

Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: polyml-doc from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz

dnf95%

polyml 5.9.2-5.fc45

Poly/ML compiler and runtime system

https://www.polyml.org/

sudo dnf install polyml

License: LGPL-2.1-or-later
Category: Unspecified
Architecture: x86_64
Source Package: polyml
7 Dépendances
2 fournit
normalized package name match
Correspondance par : Polyml

Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: polyml from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/652278618dec9c023176a80c435a32a2c8154869fb0eb662c267a54df28d77d9-primary.xml.zst

dnf95%

polyml-doc 5.9.2-5.fc45

Poly/ML documentation

https://www.polyml.org/

sudo dnf install polyml-doc

License: LGPL-2.1-or-later
Category: Unspecified
Architecture: noarch
Source Package: polyml
1 fournit
normalized package name match
Correspondance par : Polyml

Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: polyml-doc from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/652278618dec9c023176a80c435a32a2c8154869fb0eb662c267a54df28d77d9-primary.xml.zst

dnf95%

polyml-libs 5.9.2-5.fc45

Poly/ML runtime libraries

https://www.polyml.org/

sudo dnf install polyml-libs

License: LGPL-2.1-or-later
Category: Unspecified
Architecture: x86_64
Source Package: polyml
7 Dépendances
2 fournit
normalized package name match
Correspondance par : Polyml

Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: polyml-libs from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/652278618dec9c023176a80c435a32a2c8154869fb0eb662c267a54df28d77d9-primary.xml.zst

pacman95%

polyml 5.9.2-1

Standard ML compiler originally written in Poly

https://polyml.org/

sudo pacman -S polyml

License: LGPL
Architecture: x86_64
2 Dépendances
normalized package name match
Correspondance par : Polyml

Arch Linux sync databases · geo.mirror.pkgbuild.com · Arch Linux sync databases: polyml from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz

MacPorts95%

polyml

sudo port install polyml

normalized package name match
Correspondance par : Polyml

MacPorts ports tree · api.github.com · MacPorts ports tree: lang/polyml/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

Nix92%

poly

nix profile install nixpkgs#poly

installed executable or alias match
Correspondance par : Poly

nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/po/poly/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

piste source

Généré depuis les données du dépôt

Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.

Combined YAML source

View the package source record on GitHub.

combined/polyml.yml

Sources utilisées

Geiger risk classifier
cross-ecosystem install command graph
curated package history
external package-manager database matches
package relationship graph
package version freshness
package-page enrichment
pkg.so package database
pkgdb category and tag curation

Installer polyml avec Homebrew, apk, dnf, MacPorts, Nix, pacman, apt

Commandes d'installation supplémentaires

macOS

Linux

Résumé du paquet

Liens du projet

Commandes et alias

Historique du projet et usages

Historique du projet

Historique d'adoption

Modes d'utilisation

Pourquoi les passionnés de paquets s'y intéressent

Chronologie

Related projects

Sources

Niveau de risque : vert

Classificateur de risque

Pourquoi

Signaux

Comportement d'installation

Revue recommandée

Exécutables installés

Version et fraîcheur

Métadonnées du paquet

Détails de la base source

Autres enregistrements de gestionnaires de paquets

Liens internes de paquets

Hubs thématiques

Outils liés

Généré depuis les données du dépôt

Combined YAML source

Sources utilisées