{"name":"boogie","version":"3.2.4","summary":"Intermediate verification language","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"70cc7b62f2b448a487de36e1fd714693c59c4719"},"attr_path":"boogie"},"last_updated":"2024-10-16T02:16:09Z","outputs":[{"name":"out","path":"/nix/store/75d4kh750hxd52sq7q60pfacdy4v64mr-Boogie-3.2.4","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"70cc7b62f2b448a487de36e1fd714693c59c4719"},"attr_path":"boogie"},"last_updated":"2024-10-16T02:16:09Z","outputs":[{"name":"out","path":"/nix/store/4vsy9h6hl4vqpqx0qizpy4dqjjbi4c58-Boogie-3.2.4","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"70cc7b62f2b448a487de36e1fd714693c59c4719"},"attr_path":"boogie"},"last_updated":"2024-10-16T02:16:09Z","outputs":[{"name":"out","path":"/nix/store/n7myqm2sa5cfd2gydssq299992klfsiy-Boogie-3.2.4","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"70cc7b62f2b448a487de36e1fd714693c59c4719"},"attr_path":"boogie"},"last_updated":"2024-10-16T02:16:09Z","outputs":[{"name":"out","path":"/nix/store/sv0cpivq2dfxl13a1dcl8zy9jk57kigd-Boogie-3.2.4","default":true}]}}}