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

Projektlinks

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.

Quellen

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 13 Plattformziele verfügbar.
Installiert mit 1 Laufzeitabhängigkeiten.

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

Befehl	Art	Sichtbarkeit
`camlrunm`	cli	globales Executable
`mosml`	cli	globales Executable
`mosmlc`	cli	globales Executable
`mosmllex`	cli	globales Executable
`mosmlyac`	cli	globales 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-07-25

Manager-Version2.10.1

Manager aktualisiert

lokale DatenOK

Upstreamnot checked

neueste erkannte Versionnicht erkannt

https://github.com/kfl/mosml

InfoNo package-manager update timestamp was available.niedrig Konfidenz
InfoNo cached GitHub release or tag data was available.https://github.com/kfl/mosmlnone Konfidenz

Installationsmetadaten

Paketmetadaten

Paketschlüssel	brew:mosml
Version	2.10.1
Paketmanager	Homebrew
Paketmanager-Seite	https://formulae.brew.sh/formula/mosml
Homepage	https://mosml.org/
Repository	https://github.com/kfl/mosml
Upstream-Dokumentation	https://mosml.org/
Lizenz	GPL-2.0-or-later
Quellarchiv	https://github.com/kfl/mosml/archive/refs/tags/ver-2.10.1.tar.gz
Abhängigkeiten	gmp
Bottle	verfügbar (auf arm64_big_sur, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, catalina, monterey, sonoma, ventura, x86_64_linux)
Homebrew post-install	nicht definiert
Dienst	keiner deklariert

Registry-Fakten

Details aus der Quelldatenbank

Source Database	Homebrew formula API
Tap	homebrew/core
Full Name	mosml
Version Scheme	0
Revision	0
Bottle Stable Root URL	https://ghcr.io/v2/homebrew/core
Deprecated	no
Disabled	no
Keg Only	no
URL Keys	stable

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

Paketgraph

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

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.

Combined YAML source

View the package source record on GitHub.

combined/mosml.yml

Verwendete Quellen

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

mosml mit Homebrew, MacPorts, Nix installieren