verifast 25.08 single
Verification for C and Java programs via separation logic
- Name
verifast-25.08- Package set
- top-level
- Homepage
- https://people.cs.kuleuven.be/~bart.jacobs/verifast/
- License
- MIT
- Source
- pkgs/by-name/ve/verifast/package.nix:107
- Derivation
/nix/store/6jhnm9snirl4jnc1szimfv92jjbdg9hc-verifast-25.08.drv- Repology
- not reported as outdated · look up (as of 2026-10-07T10:23:38Z)
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| thoughtpolice | Austin Seipp | GitHub · aseipp@pobox.com | listed on package |
Dependencies 13
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| atk 2.60.6 | other input | 7,952 | team-only outdated | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| cairo 1.18.4 | other input | 19,514 | unmaintained outdated | |
| fontconfig 2.18.3 | other input | 20,373 | team-only | |
| freetype 2.14.3 | other input | 21,160 | unmaintained | |
| gdk-pixbuf 2.44.8 | other input | 19,552 | team-only | |
| glib 2.88.3 | other input | 23,079 | team-only outdated | |
| gtk2 2.24.33 | other input | 274 | single | |
| libc 2.44 | other input | 102,426 | maintained | |
| libgcc 16.2.0 | other input | 102,423 | team-only | |
| libxml2 2.15.4 | other input | 70,177 | single | |
| pango 1.57.1 | other input | 19,139 | team-only outdated | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.