# Installer quint avec Homebrew, Nix

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de quint pour les workflows d'agents IA.

## installation

```sh
sudo av install brew:quint
```

Commandes d'installation supplémentaires:

### macOS

- Homebrew (100%):

```sh
brew install quint
```

  Preuve: local Homebrew formula metadata

### Linux

- Nix (92%):

```sh
nix profile install nixpkgs#quint
```

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

## Faits du paquet

- **Clé du paquet:** brew:quint
- **Gestionnaire de paquets:** Homebrew
- **Page du gestionnaire de paquets:** <https://formulae.brew.sh/formula/quint>
- **Version:** 0.32.0
- **Résumé source:** Core tool for the Quint specification language
- **Page d'accueil:** <https://quint-lang.org>
- **Dépôt:** <https://github.com/informalsystems/quint>
- **Docs amont:** <https://quint-lang.org/docs>
- **Licence:** Apache-2.0
- **Archive source:** <https://registry.npmjs.org/@informalsystems/quint/-/quint-0.32.0.tgz>
- **Dernière mise à jour:** 2026-07-05T00:14:30+09:00
- **Généré:** 2026-07-08T07:18:31+00:00

## exécutables

- quint (cli)
- quint (alias)

## Dépendances

- node

## Comportement d'installation

- hook post-installation: non défini
- Bouteille: disponible sur all

## Version et fraîcheur

- page générée: 2026-07-08
- version du gestionnaire: 0.32.0
- gestionnaire mis à jour: 2026-07-05
- données locales: OK
- dépôt amont: https://quint-lang.org
- info: Release/tag comparison is only available for GitHub repositories.

## Notes de sécurité

narrow executable package without higher-risk signals.

- **Risque Geiger:** vert / faible
- narrow executable package without higher-risk signals

## Détails de la base source

- **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

## Autres enregistrements de gestionnaires de paquets

- Nix - quint: normalized package name match | nixpkgs package indexes: pkgs/by-name/qu/quint/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1


## Liens liés

- [Terminal utility packages](https://www.automicvault.com/fr/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Text processing packages](https://www.automicvault.com/fr/pkg/text-processing-tools/) - Matched text, document, or structured-data processing metadata.
- [Developer build packages](https://www.automicvault.com/fr/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata.
- [Language runtime packages](https://www.automicvault.com/fr/pkg/language-runtime-packages/) - Matched language runtime, compiler, or interpreter metadata.
- [node](https://www.automicvault.com/fr/pkg/brew/node/) - Runtime dependency declared by Homebrew.
- [proof-general](https://www.automicvault.com/fr/pkg/brew/proof-general/) - Shares av.db curated category or tags: cli, developer-tools, formal-methods.
- [stp](https://www.automicvault.com/fr/pkg/brew/stp/) - Shares av.db curated category or tags: cli, developer-tools, formal-methods.
- [dafny](https://www.automicvault.com/fr/pkg/brew/dafny/) - Shares av.db curated category or tags: cli, developer-tools, formal-methods.
- [sby](https://www.automicvault.com/fr/pkg/brew/sby/) - Shares av.db curated category or tags: cli, developer-tools, formal-methods.
- [bitwuzla](https://www.automicvault.com/fr/pkg/brew/bitwuzla/) - Shares av.db curated category or tags: cli, developer-tools, formal-methods.
- [cbmc](https://www.automicvault.com/fr/pkg/brew/cbmc/) - Shares av.db curated category or tags: cli, developer-tools, model-checking.
- [civl](https://www.automicvault.com/fr/pkg/brew/civl/) - Shares av.db curated category or tags: cli, developer-tools, model-checking.
- [cryptol](https://www.automicvault.com/fr/pkg/brew/cryptol/) - Shares av.db curated category or tags: cli, developer-tools, formal-methods.

## Combined YAML source

View the package source record on GitHub. [combined/quint.yml](https://github.com/automic-vault/db/blob/main/combined/quint.yml)


## Sources

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