# Install quint with Homebrew, Nix

Core tool for the Quint specification language. Version 0.32.0 via Homebrew; verified 2026-07-05. Also installable with nix: nix profile install nixpkgs#quint.

## Install

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

Additional install commands:

### macOS

- Homebrew (100%):

```sh
brew install quint
```

  Evidence: local Homebrew formula metadata

### Linux

- Nix (92%):

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

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

## Package facts

- **Package key:** brew:quint
- **Package manager:** Homebrew
- **Version:** 0.32.0
- **Source summary:** Core tool for the Quint specification language
- **Homepage:** <https://quint-lang.org>
- **Last updated:** 2026-07-05T00:14:30+09:00
- **Generated:** 2026-08-03T19:37:03+00:00

## Executables

- quint (alias)

## Install behavior

- Bottle: not available

## Freshness

- Page generated: 2026-08-03
- Package-manager version: 0.32.0

## Security Notes

narrow executable package without higher-risk signals.

- **Geiger risk:** green / low
- narrow executable package without higher-risk signals

## Other Package-Manager Records

- 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


## Combined YAML source

View the package source record on GitHub. [combined/quint.yml](https://github.com/mxcl/pkgdb/blob/main/combined/quint.yml)


## Sources

- pkg.so package database
- Geiger risk classifier
- pkgdb category and tag curation
- external package-manager database matches
- cross-ecosystem install command graph