nixsearch
nixsearch / pkg / key / 2.12.2

key 2.12.2

Java formal verification tool
Linux and macOS last changed

Pin this version

$ devbox add key@2.12.2
systemsaarch64-darwin, x86_64-darwin, x86_64-linux commitdd613136ee91f67e5dba3f3f41ac99ae89c5406b 
$ nix shell github:NixOS/nixpkgs/dd613136ee91f67e5dba3f3f41ac99ae89c5406b#key
systemsaarch64-linux commit0d534853a55b5d02a4ababa1d71921ce8f0aee4c 
$ nix shell github:NixOS/nixpkgs/0d534853a55b5d02a4ababa1d71921ce8f0aee4c#key

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 key dd613136ee91
out
/nix/store/8azdn143xkis6fjhx6i34rfr71slbfz8-key-2.12.2
aarch64-linux
Linux · arm64		 key 0d534853a55b
out
/nix/store/y0ai2sgjgzddvv3l6dvrbji867mwn63r-key-2.12.2
x86_64-darwin
macOS · x86-64		 key dd613136ee91
out
/nix/store/amy8j564zg4kykfw6l3n2a4ggbnrcn6f-key-2.12.2
x86_64-linux
Linux · x86-64		 key dd613136ee91
out
/nix/store/y6b48gzwavy9yhq6a4mgzr3xlidlvpmw-key-2.12.2
← newer: 2.12.3 all 5 releases older: 2.10.0 →

JSON: /v2/pkg?name=key · /v2/resolve?name=key&version=2.12.2