{"name":"boogie","version":"3.1.5","summary":"An intermediate verification language","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"1a9df4f74273f90d04e621e8516777efcec2802a"},"attr_path":"boogie"},"last_updated":"2024-05-24T22:06:51Z","outputs":[{"name":"out","path":"/nix/store/1rpxp5n07sbxdxhbr0sp9vzc86320svk-Boogie-3.1.5","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"1a9df4f74273f90d04e621e8516777efcec2802a"},"attr_path":"boogie"},"last_updated":"2024-05-24T22:06:51Z","outputs":[{"name":"out","path":"/nix/store/nycanbqig3iplbw682zlb1kmcpcv0c1f-Boogie-3.1.5","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"1a9df4f74273f90d04e621e8516777efcec2802a"},"attr_path":"boogie"},"last_updated":"2024-05-24T22:06:51Z","outputs":[{"name":"out","path":"/nix/store/g8fg21ajadkz3lamq6k5jhg3m16w2s00-Boogie-3.1.5","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"1a9df4f74273f90d04e621e8516777efcec2802a"},"attr_path":"boogie"},"last_updated":"2024-05-24T22:06:51Z","outputs":[{"name":"out","path":"/nix/store/705wiav6yn9ijzbzpbkl52mszkylayr5-Boogie-3.1.5","default":true}]}}}