bend2 2.0.5 single
Dependently typed, affine language that verifies proofs and runs on CPU threads and GPUs
- Name
bend2-2.0.5- Package set
- top-level
- Homepage
- https://bend-lang.com
- License
- Apache-2.0
- Main program
bend- Source
- pkgs/by-name/be/bend2/package.nix:101
- Derivation
/nix/store/4shg97rc84k5cjyb6n2gp0klybcxr11l-bend2-2.0.5.drv
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| reu | Rodrigo Navarro | GitHub · rnavarro@rnavarro.com.br | listed on package |
Dependencies 6
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| makeWrapper 26.05pre-git | nativeBuildInputs | 76,854 | unmaintained setup hook | |
| versionCheckHook 26.05pre-git | nativeBuildInputs | 78,668 | single setup hook | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained | |
| bun 1.4.2 | other input | 42 | maintained | |
| clang 21.1.8 | other input | 16,408 | team-only | |
| stdenvNoCC 26.05pre-git | other input | 93,950 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.