macOS
brew install polymllocal Homebrew formula metadata
sudo port install polymlMacPorts ports tree · lang/polyml/Portfile · source: api.github.com
brew / rang 7783
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de polyml pour les workflows d'agents IA.
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
aperçu
Standard ML implementation
posture de sécurité
narrow executable package without higher-risk signals.
green risk · low confidence · appliance
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
| Commande | Type | Exposition | Note |
|---|---|---|---|
poly | cli | global executable | |
polyc | cli | global executable | |
polyimport | cli | global executable |
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.
https://github.com/polyml/polyml
métadonnées d'installation
| 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#polypiste source
Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.