owi 0.2-unstable-2026-05-22 maintained
Symbolic execution for Wasm, C, C++, Rust and Zig
- Name
ocaml5.4.1-owi-0.2-unstable-2026-05-22- Package set
- top-level
- Homepage
- https://ocamlpro.github.io/owi/
- License
- AGPL-3.0-or-later
- Main program
owi- Source
- pkgs/by-name/ow/owi/package.nix:86
- Derivation
/nix/store/g4dch1dhkpq3piamsry4grxkriz3xixx-ocaml5.4.1-owi-0.2-unstable-2026-05-22.drv- Repology
- not reported as outdated · look up (as of 2026-10-07T10:23:38Z)
Maintainers 5
| Handle | Name | Contact | Via |
|---|---|---|---|
| ethancedwards8 | Ethan Carter Edwards | GitHub · ethan@ethancedwards.com · @ethancedwards8:matrix.org | listed on package, team NGI |
| redianthus | redianthus | GitHub | listed on package |
| eljamm | Fedi Jamoussi | GitHub · fedi.jamoussi@protonmail.ch | team NGI |
| phanirithvij | Phani Rithvij | GitHub · phanirithvij2000@gmail.com · @phanirithvij:matrix.org | team NGI |
| Prince213 | Sizhe Zhao | GitHub · prc.zhao@outlook.com · @prince213:matrix.org | team NGI |
Teams 1
- NGI: Maintain NGI-supported software.
Dependencies 8
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| dune 3.23.1 | nativeBuildInputs | 1,402 | single outdated | |
| libclang 21.1.8 | nativeBuildInputs | 16,726 | team-only | |
| llvmPackages.bintools-unwrapped 21.1.8 | nativeBuildInputs | 54 | team-only | |
| makeWrapper 26.05pre-git | nativeBuildInputs | 76,854 | unmaintained setup hook | |
| rustc 1.98.1 | nativeBuildInputs | 30,080 | team-only outdated | |
| zig 0.16.0 | nativeBuildInputs | 36 | team-only | |
| 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.