{"name":"boogie","version":"3.0.5","summary":"An intermediate verification language","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a71323f68d4377d12c04a5410e214495ec598d4c"},"attr_path":"boogie"},"last_updated":"2023-11-17T14:14:56Z","outputs":[{"name":"out","path":"/nix/store/v7yfd721yampzk8c9sg9q7qdsiqdsmcr-Boogie-3.0.5","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a71323f68d4377d12c04a5410e214495ec598d4c"},"attr_path":"boogie"},"last_updated":"2023-11-17T14:14:56Z","outputs":[{"name":"out","path":"/nix/store/cmxixykijsvdwcg6q05qq5dm6ihy1pig-Boogie-3.0.5","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a71323f68d4377d12c04a5410e214495ec598d4c"},"attr_path":"boogie"},"last_updated":"2023-11-17T14:14:56Z","outputs":[{"name":"out","path":"/nix/store/qch82wvpvflq1vxm8qncsjzcs5aph63m-Boogie-3.0.5","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a71323f68d4377d12c04a5410e214495ec598d4c"},"attr_path":"boogie"},"last_updated":"2023-11-17T14:14:56Z","outputs":[{"name":"out","path":"/nix/store/y3232y09vlchj05nzvsmlfpk3gmcx4ja-Boogie-3.0.5","default":true}]}}}