buddy 2.4 unmaintained
Binary decision diagram package
- Name
buddy-2.4- Package set
- top-level
- Homepage
- https://sourceforge.net/projects/buddy/
- License
- Buddy
- Source
- pkgs/by-name/bu/buddy/package.nix:34
- Derivation
/nix/store/gf0zmk82032a88344gvd1skcmw5iy54j-buddy-2.4.drv
Maintainers 0
This package has no maintainers.
Dependencies 3
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| bison 3.8.2 | buildInputs | 77,242 | unmaintained | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 1 directly, 2 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| maude 3.5.1 | buildInputs | 1 | single |