nixsearch
nixsearch / pkg / avy / 2019.05.01

avy 2019.05.01

AIGER model checking for Property Directed Reachability
Linux last changed

Pin this version

$ devbox add avy@2019.05.01
systemsaarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4 
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#avy

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-linux
Linux · arm64		 avy b6c8664de9b6
out
/nix/store/szccxydd22mjc3l6zifmjv6zqaak2igz-avy-2019.05.01
x86_64-linux
Linux · x86-64		 avy b6c8664de9b6
out
/nix/store/45fggpqp16vsi9h51mp7033c8mgx5rkx-avy-2019.05.01
all 2 releases older: 2017.10.16 →

JSON: /v2/pkg?name=avy · /v2/resolve?name=avy&version=2019.05.01