pkg.soopen package index

brew / Rang 13944

mosml mit Homebrew, MacPorts, Nix installieren

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

Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%
brew install mosml

local Homebrew formula metadata

MacPortsverifiziert · 94%
sudo port install mosml

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

Linux

Nixverifiziert · 92%
nix profile install nixpkgs#mosml

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

Überblick

Paketzusammenfassung

Moscow ML

Befehle und Aliase

  • camlrunm
  • mosml
  • mosmlc
  • mosmllex
  • mosmlyac

Verlauf

Projektgeschichte und Nutzung

Moscow ML is a lightweight implementation of Standard ML. Its project history credits Sergei Romanenko at the Keldysh Institute of Applied Mathematics, Claudio Russo, Niels Kokholm, Ken Friis Larsen, and Peter Sestoft, and notes that it uses the runtime system and many ideas from Xavier Leroy and Damien Doligez's Caml Light implementation.

Projektgeschichte

The Moscow ML manual describes version 2.10 as implementing SML as revised in the 1997 Definition, including the SML Modules language, some extensions, much of the SML Basis Library, separate compilation, and generation of standalone executables. The manual also highlights the Moscow ML Modules language, with features such as higher-order functors and other extensions while preserving compatibility goals for SML programs.

Wie es verwendet wird

Its adoption niche is language education, research, and maintenance of older SML code that benefits from a small interactive system and bytecode compiler. In Homebrew and other package managers, mosml provides the classic Moscow ML toolchain rather than a general-purpose modern ML 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

  • Es wurden keine Homebrew-Bottle-Metadaten erfasst.

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
camlrunmExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.
mosmlExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.
mosmlcExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.
mosmllexExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.
mosmlyacExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.

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-08-03
Manager-Version2.10.1
Manager aktualisiert
lokale Datenunbekannt
Upstreamnicht verfügbar
neueste erkannte Versionnicht erkannt
  • OKEs wurden keine Aktualitätswarnungen generiert.

Installationsmetadaten

Paketmetadaten

Paketschlüsselbrew:mosml
Version2.10.1
PaketmanagerHomebrew
Homepagehttps://mosml.org/
Repositoryhttps://github.com/kfl/mosml
Bottlenicht erfasst
Dienstkeiner deklariert

Source-Datenbank-Treffer

Andere Paketmanager-Einträge

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

Nix95%

mosml

nix profile install nixpkgs#mosml
  • normalized package name match
  • Abgeglichen nach: Mosml
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/mo/mosml/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
MacPorts95%

mosml

sudo port install mosml
  • normalized package name match
  • Abgeglichen nach: Mosml
MacPorts ports tree · api.github.com · MacPorts ports tree: lang/mosml/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

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
  • pkg.so package database
  • pkgdb category and tag curation