swarm 0-unstable-2019-03-11 unmaintained
Verification script generator for Spin
- Name
swarm-0-unstable-2019-03-11- Package set
- top-level
- Homepage
- http://spinroot.com/
- License
- free
- Main program
swarm- Source
- pkgs/by-name/sw/swarm/package.nix:24
- Derivation
/nix/store/59jd9n7iq4522dparq3amasnbn4rjsva-swarm-0-unstable-2019-03-11.drv
Maintainers 0
This package has no maintainers.
Dependencies 2
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 1 directly, 1 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| spin 6.5.2 | other input | 0 | maintained |