Installation

Mit Automic Vault installieren

Automic Vault

sudo av install brew:spot

macOS

Homebrewverified · 100%

brew install spot

local Homebrew formula metadata

MacPortsverified · 94%

sudo port install spot

MacPorts ports tree · science/spot/Portfile · source: api.github.com

Linux

Nixverified · 92%

nix profile install nixpkgs#spot

nixpkgs package indexes · pkgs/by-name/sp/spot/package.nix · source: api.github.com

Paketmanager-Quelle

https://formulae.brew.sh/formula/spot

Plattformhinweise

Es waren keine paketspezifischen Plattformhinweise vorhanden.

Überblick

Paketzusammenfassung

Platform for LTL and ω-automata manipulation

Homepage

https://spot.lre.epita.fr

Befehle und Aliase

autcross
autfilt
dstar2tgba
genaut
genltl
ltl2tgba
ltlcross
ltldo
ltlf2dfa
ltlfilt
ltlfsynt
ltlgrind
ltlmix
ltlsynt
randaut
randltl

Sicherheitslage

Risikostufe: green

narrow executable package without higher-risk signals.

Risk classifier

green risk · low confidence · appliance

Why

narrow executable package without higher-risk signals

Signals

metadata:no-higher-risk-signals

Install behavior

No Homebrew post-install hook is recorded in formula metadata.
Homebrew bottle metadata is available for 6 platform targets.
Build metadata lists 1 build dependencies.

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
`autcross`	cli	global executable
`autfilt`	cli	global executable
`dstar2tgba`	cli	global executable
`genaut`	cli	global executable
`genltl`	cli	global executable
`ltl2tgba`	cli	global executable
`ltlcross`	cli	global executable
`ltldo`	cli	global executable
`ltlf2dfa`	cli	global executable
`ltlfilt`	cli	global executable
`ltlfsynt`	cli	global executable
`ltlgrind`	cli	global executable
`ltlmix`	cli	global executable
`ltlsynt`	cli	global executable
`randaut`	cli	global executable
`randltl`	cli	global 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-06-10

Manager-Version2.15.1

Manager aktualisiert2026-04-26

lokale Datenok

Upstreamnot checked

neueste erkannte Versionnot detected

https://spot.lre.epita.fr

infoRelease/tag comparison is only available for GitHub repositories.https://spot.lre.epita.frnone confidence

Installationsmetadaten

Paketmetadaten

Package key	brew:spot
Version	2.15.1
Package manager	Homebrew
Package manager page	https://formulae.brew.sh/formula/spot
Homepage	https://spot.lre.epita.fr
Upstream docs	https://github.com/xvzc/SpoofDPI#readme
License	GPL-3.0-or-later
Source archive	https://www.lrde.epita.fr/dload/spot/spot-2.15.1.tar.gz
Last updated	2026-04-26T00:47:45Z
Pulse	updated
Build dependencies	python@3.14
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 details

Source Database	Homebrew formula API
Tap	homebrew/core
Full Name	spot
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 database matches

Other package-manager records

Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.

Nix95%

spot

nix profile install nixpkgs#spot

normalized package name match
Matched by: Spot

nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/sp/spot/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

MacPorts95%

spot

sudo port install spot

normalized package name match
Matched by: Spot

MacPorts ports tree · api.github.com · MacPorts ports tree: science/spot/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.

Verwendete Quellen

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

spot installieren