macOS
brew install polymllocal Homebrew formula metadata
sudo port install polymlMacPorts ports tree · lang/polyml/Portfile · source: api.github.com
brew / Rang 7783
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für polyml in AI-Agent-Workflows.
Installation
sudo av install brew:polymlbrew install polymllocal Homebrew formula metadata
sudo port install polymlMacPorts ports tree · lang/polyml/Portfile · source: api.github.com
sudo apk add polymlAlpine Linux edge package indexes · polyml · source: dl-cdn.alpinelinux.org
sudo dnf install polymlFedora Rawhide package metadata · polyml · source: dl.fedoraproject.org
nix profile install nixpkgs#polymlnixpkgs package indexes · polyml · source: raw.githubusercontent.com
sudo pacman -S polymlArch Linux sync databases · polyml · source: geo.mirror.pkgbuild.com
sudo apt install libpolyml-devUbuntu 24.04 LTS package indexes · libpolyml-dev · source: archive.ubuntu.com
Überblick
Standard ML implementation
Sicherheitslage
narrow executable package without higher-risk signals.
green risk · low confidence · appliance
Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.
Executables
| Befehl | Art | Sichtbarkeit | Hinweis |
|---|---|---|---|
poly | cli | global executable | |
polyc | cli | global executable | |
polyimport | cli | global executable |
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.
https://github.com/polyml/polyml
Installationsmetadaten
| Package key | brew:polyml |
|---|---|
| Version | 5.9.2 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/polyml |
| Homepage | https://www.polyml.org/ |
| Repository | https://github.com/polyml/polyml |
| Upstream docs | https://polyml.org/Doc.html |
| License | LGPL-2.1-or-later |
| Source archive | https://github.com/polyml/polyml/archive/refs/tags/v5.9.2.tar.gz |
| Bottle | available (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | not defined |
| Service | none declared |
registry facts
| 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 |
|
source database matches
Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.
polyml
nix profile install nixpkgs#polymllibpolyml-dev 5.7.1-5build1
development files for Poly/ML, a compiler for Standard ML
sudo apt install libpolyml-devlibpolyml9 5.7.1-5build1
runtime files for Poly/ML, a compiler for Standard ML
sudo apt install libpolyml9polyml 5.7.1-5build1
interpreter and interactive compiler for Standard ML
sudo apt install polymlpolyml-modules 5.7.1-5build1
modules for Poly/ML, a compiler for Standard ML
sudo apt install polyml-modulespolyml 5.9.2-r0
ML97 compatible Standard ML implementation
sudo apk add polymlpolyml-dev 5.9.2-r0
ML97 compatible Standard ML implementation (development files)
sudo apk add polyml-devpolyml-doc 5.9.2-r0
ML97 compatible Standard ML implementation (documentation)
sudo apk add polyml-docpolyml 5.9.2-3.fc44
Poly/ML compiler and runtime system
sudo dnf install polymlpolyml-doc 5.9.2-3.fc44
Poly/ML documentation
sudo dnf install polyml-docpolyml-libs 5.9.2-3.fc44
Poly/ML runtime libraries
sudo dnf install polyml-libspolyml 5.9.2-1
Standard ML compiler originally written in Poly
sudo pacman -S polymlpolyml
sudo port install polymlpoly
nix profile install nixpkgs#polyQuellspur
Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.