Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%

brew install quint

local Homebrew formula metadata

Linux

Nixverifiziert · 92%

nix profile install nixpkgs#quint

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

Überblick

Paketzusammenfassung

Core tool for the Quint specification language

Projektlinks

Befehle und Aliase

quint

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 1 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	Hinweis
`quint`	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-08

Manager-Version0.32.0

Manager aktualisiert2026-07-05

lokale DatenOK

Upstreamnot checked

neueste erkannte Versionnicht erkannt

https://quint-lang.org

InfoRelease/tag comparison is only available for GitHub repositories.https://quint-lang.orgnone Konfidenz

Installationsmetadaten

Paketmetadaten

Paketschlüssel	brew:quint
Version	0.32.0
Paketmanager	Homebrew
Paketmanager-Seite	https://formulae.brew.sh/formula/quint
Homepage	https://quint-lang.org
Repository	https://github.com/informalsystems/quint
Upstream-Dokumentation	https://quint-lang.org/docs
Lizenz	Apache-2.0
Quellarchiv	https://registry.npmjs.org/@informalsystems/quint/-/quint-0.32.0.tgz
Zuletzt aktualisiert	2026-07-05T00:14:30+09:00
Pulse	updated
Abhängigkeiten	node
Bottle	verfügbar (auf all)
Homebrew post-install	nicht definiert
Dienst	keiner deklariert

Registry-Fakten

Details aus der Quelldatenbank

Source Database	Homebrew formula API
Tap	homebrew/core
Full Name	quint
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%

quint

nix profile install nixpkgs#quint

normalized package name match
Abgeglichen nach: Quint

nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/qu/quint/package.nix from https://api.github.com/repos/NixOS/nixpkgs/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/quint.yml

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

quint mit Homebrew, Nix installieren