{"name":"boogie","version":"3.4.2","summary":"Intermediate verification language","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ffa0bb043c25cfc79ff3bc20ba2e44c3724499b1"},"attr_path":"boogie"},"last_updated":"2025-04-29T04:24:43Z","outputs":[{"name":"out","path":"/nix/store/dzz47zydjdksl4nkvkw1rykjgqiblgd0-Boogie-3.4.2","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"29335f23bea5e34228349ea739f31ee79e267b88"},"attr_path":"boogie"},"last_updated":"2025-04-28T01:45:31Z","outputs":[{"name":"out","path":"/nix/store/6mck4fbybc93gz6r0brjayf0gh8325m6-Boogie-3.4.2","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ffa0bb043c25cfc79ff3bc20ba2e44c3724499b1"},"attr_path":"boogie"},"last_updated":"2025-04-29T04:24:43Z","outputs":[{"name":"out","path":"/nix/store/b5j1nhjs26zrlnwiqwgcizvpl8v7p8v1-Boogie-3.4.2","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"29335f23bea5e34228349ea739f31ee79e267b88"},"attr_path":"boogie"},"last_updated":"2025-04-28T01:45:31Z","outputs":[{"name":"out","path":"/nix/store/phklpbid29i3hy9ngybp16f705c6qghn-Boogie-3.4.2","default":true}]}}}