pkg.soopen package index

brew / Rang 8933

polyml mit Homebrew, apk, dnf, MacPorts, Nix, pacman, apt installieren

Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für polyml in AI-Agent-Workflows.

InstallationsbefehlSicherheitshinweise

Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%
brew install polyml

local Homebrew formula metadata

MacPortsverifiziert · 94%
sudo port install polyml

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

Linux

Alpine Linux apkverifiziert · 92%
sudo apk add polyml

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

Fedora dnfverifiziert · 92%
sudo dnf install polyml

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

Nixverifiziert · 92%
nix profile install nixpkgs#polyml

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

Arch Linux pacmanverifiziert · 92%
sudo pacman -S polyml

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

Ubuntu aptverifiziert · 92%
sudo apt install polyml

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

Überblick

Paketzusammenfassung

Standard ML implementation

Befehle und Aliase

  • poly
  • polyc
  • polyimport

Verlauf

Projektgeschichte und Nutzung

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.

Projektgeschichte

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.

Adoptionsgeschichte

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.

Wie es verwendet wird

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.

Warum Paket-Nerds sich dafür interessieren

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.

Zeitleiste

  • 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.

Sicherheitslage

Risikostufe: grün

narrow executable package without higher-risk signals.

Risikoklassifikator

grün Risiko · niedrig Konfidenz · appliance

Warum

  • narrow executable package without higher-risk signals

Signale

  • metadata:no-higher-risk-signals

Installationsverhalten

  • In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
  • Homebrew-Bottle-Metadaten sind für 7 Plattformziele verfügbar.

Empfohlene Prüfung

Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.

Executables

Installierte Executables

BefehlArtSichtbarkeitHinweis
polycliglobales Executable
polyccliglobales Executable
polyimportcliglobales Executable

Aktualität

Version und Aktualität

Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.

Seite generiert2026-11-04
Manager-Version5.9.2
Manager aktualisiert2026-09-13
lokale DatenOK
Upstreamaktuell
neueste erkannte Versionv5.9.2

https://github.com/polyml/polyml

  • OKEs wurden keine Aktualitätswarnungen generiert.

Installationsmetadaten

Paketmetadaten

Paketschlüsselbrew:polyml
Version5.9.2
PaketmanagerHomebrew
Paketmanager-Seitehttps://formulae.brew.sh/formula/polyml
Homepagehttps://www.polyml.org/
Repositoryhttps://github.com/polyml/polyml
Upstream-Dokumentationhttps://www.polyml.org/
LizenzLGPL-2.1-or-later
Quellarchivhttps://github.com/polyml/polyml/archive/refs/tags/v5.9.2.tar.gz
Zuletzt aktualisiert2026-09-13T11:53:53Z
Pulseupdated
Bottleverfügbar (auf arm64_golden_gate, arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-installnicht definiert
Dienstkeiner deklariert

Registry-Fakten

Details aus der Quelldatenbank

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Namepolyml
Version Scheme0
Revision0
Head VersionHEAD
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • head
  • stable

Source-Datenbank-Treffer

Andere Paketmanager-Einträge

Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.

Nix95%

polyml

nix profile install nixpkgs#polyml
  • normalized package name match
  • Abgeglichen nach: 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 Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: 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 Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: 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 Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: 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
  • Abgeglichen nach: 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 Abhängigkeiten
  • 1 stellt bereit
  • normalized package name match
  • Abgeglichen nach: 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 Abhängigkeiten
  • 1 stellt bereit
  • normalized package name match
  • Abgeglichen nach: 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
  • Abgeglichen nach: 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 Abhängigkeiten
  • 2 stellt bereit
  • normalized package name match
  • Abgeglichen nach: 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 stellt bereit
  • normalized package name match
  • Abgeglichen nach: 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 Abhängigkeiten
  • 2 stellt bereit
  • normalized package name match
  • Abgeglichen nach: 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 Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: 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
  • Abgeglichen nach: 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
  • Abgeglichen nach: 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

Paketgraph

Links stammen aus dem lokalen Paketbeziehungsgraph, Ergänzungen, Abhängigkeitskanten, Ecosystem-Matches und Paket-Hub-Mitgliedschaft.

Verwandte Tools

Quellspur

Aus Repository-Daten generiert

Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.

Verwendete Quellen

  • 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