nixsearch
nixsearch / pkg / key / 2.12.3

key 2.12.3

Java formal verification tool
Linux and macOS last changed

Pin this version

$ devbox add key@2.12.3
systemsaarch64-darwin, aarch64-linux, x86_64-linux commit0a3468a402c449992505b6a9fc5b06580141b750 
$ nix shell github:NixOS/nixpkgs/0a3468a402c449992505b6a9fc5b06580141b750#key
systemsx86_64-darwin commit3d46470bb3030020f7e1361f33514854f5bfa86d 
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#key

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 key 0a3468a402c4
out
/nix/store/fd6i47wsbjp8p7zd292xbpp4rpbaaf3z-key-2.12.3
aarch64-linux
Linux · arm64		 key 0a3468a402c4
out
/nix/store/z7rvyb5ynjdc75n56sfvs83i0v40w0r6-key-2.12.3
x86_64-darwin
macOS · x86-64		 key 3d46470bb303
out
/nix/store/sy1b35jsx6kdi6hq4r2wjla21pnx13lw-key-2.12.3
x86_64-linux
Linux · x86-64		 key 0a3468a402c4
out
/nix/store/nfnz3i2wkxmhijdg9dssyx797gj86zia-key-2.12.3
← newer: 3.0.0 all 5 releases older: 2.12.2 →

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