installation

Installer avec Automic Vault

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

Source du gestionnaire de paquets

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

Notes de plateforme

Aucune note de plateforme propre au paquet n'était présente.

aperçu

Résumé du paquet

Platform for LTL and ω-automata manipulation

Page d'accueil

https://spot.lre.epita.fr

Commandes et alias

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

posture de sécurité

Niveau de risque : 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.

Revue recommandée

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

Exécutables installés

Commande	Type	Exposition
`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

fraîcheur

Version et 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.

page générée2026-06-10

version du gestionnaire2.15.1

gestionnaire mis à jour2026-04-26

données localesok

amontnot checked

dernière version détectéenot detected

https://spot.lre.epita.fr

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

métadonnées d'installation

Métadonnées du paquet

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

graphe de paquets

Les liens viennent du graphe local de relations entre paquets, des suppléments, des dépendances, des correspondances d'écosystèmes et de l'appartenance aux hubs.

piste source

Généré depuis les données du dépôt

Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.

Sources utilisées

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

Installer spot