quint 0.32.0 single
Formal specification language with TLA+ semantics
- Name
quint-0.32.0- Package set
- top-level
- Homepage
- https://quint-lang.org
- License
- Apache-2.0
- Main program
quint- Source
- pkgs/by-name/qu/quint/package.nix:26
- Derivation
/nix/store/zhir2fm4rgn8mb91kiaj2wwz1w9sxm94-quint-0.32.0.drv
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| bugarela | Gabriela Moreira | GitHub · gabrielamoreira05@gmail.com | listed on package |
Dependencies 5
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| makeWrapper 26.05pre-git | nativeBuildInputs | 76,854 | unmaintained setup hook | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained | |
| jdk 21.0.12.1+1 | other input | 1,183 | maintained | |
| nodejs 24.21.0 | other input | 5,862 | single | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.