key 2.10.0
Java formal verification tool
Linux and macOS
last changed
Pin this version
$ devbox add key@2.10.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitd4f247e89f6e10120f911e2e2d2254a050d0f732
$ nix shell github:NixOS/nixpkgs/d4f247e89f6e10120f911e2e2d2254a050d0f732#key
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
key |
d4f247e89f6e | out/nix/store/9j5i6hkkg01p80rp257al5a2qip2cmfm-key-2.10.0 |
||
aarch64-linuxLinux · arm64 |
key |
d4f247e89f6e | out/nix/store/7xqjrhrckimh58irvj8lw25yk3v9921f-key-2.10.0 |
||
x86_64-darwinmacOS · x86-64 |
key |
d4f247e89f6e | out/nix/store/n9c1ifs5wb9v26sh4i8nw5b02gd9x4q3-key-2.10.0 |
||
x86_64-linuxLinux · x86-64 |
key |
d4f247e89f6e | out/nix/store/6zh29gb13rbzd2j7ma29771fq3srj0aq-key-2.10.0 |
JSON: /v2/pkg?name=key · /v2/resolve?name=key&version=2.10.0