saw-tools 1.5 maintained
Tools for software verification and analysis
- Name
saw-tools-1.5- Package set
- top-level
- Homepage
- https://tools.galois.com/saw
- License
- BSD-3-Clause
- Main program
saw- Source
- pkgs/by-name/sa/saw-tools/package.nix:55
- Derivation
/nix/store/vyqbzlpdz1k3rjcpm0ypdl9jpl1vya6q-saw-tools-1.5.drv- Repology
- not reported as outdated · look up (as of 2026-10-07T10:23:38Z)
Maintainers 2
| Handle | Name | Contact | Via |
|---|---|---|---|
| thelissimus | Kei | GitHub · thelissimus@tuta.io | listed on package |
| thoughtpolice | Austin Seipp | GitHub · aseipp@pobox.com | listed on package |
Dependencies 9
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| gmp 6.3.0 | buildInputs | 49,290 | single | |
| libc 2.44 | buildInputs | 102,426 | maintained | |
| ncurses 6.6 | buildInputs | 77,216 | unmaintained | |
| readline 8.3p3 | buildInputs | 75,762 | unmaintained outdated | |
| zlib 1.3.2 | buildInputs | 102,427 | team-only | |
| autoPatchelfHook 26.05pre-git | nativeBuildInputs | 28,194 | single setup hook | |
| makeWrapper 26.05pre-git | nativeBuildInputs | 76,854 | unmaintained setup hook | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.