{"name":"boogie","version":"3.2.3","summary":"Intermediate verification language","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"17fb773308a8558abaa05b5df71cdaf3e5208e66"},"attr_path":"boogie"},"last_updated":"2024-09-08T08:36:32Z","outputs":[{"name":"out","path":"/nix/store/jskn50hw80f746bm3qfxp22xhl9724m1-Boogie-3.2.3","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"17fb773308a8558abaa05b5df71cdaf3e5208e66"},"attr_path":"boogie"},"last_updated":"2024-09-08T08:36:32Z","outputs":[{"name":"out","path":"/nix/store/xijnr2bm19bdgmarjnwsswfv51dsvki1-Boogie-3.2.3","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"17fb773308a8558abaa05b5df71cdaf3e5208e66"},"attr_path":"boogie"},"last_updated":"2024-09-08T08:36:32Z","outputs":[{"name":"out","path":"/nix/store/rakzbwa089wnai71603vx4flw8x7na7f-Boogie-3.2.3","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"17fb773308a8558abaa05b5df71cdaf3e5208e66"},"attr_path":"boogie"},"last_updated":"2024-09-08T08:36:32Z","outputs":[{"name":"out","path":"/nix/store/w3akccjvivqw6rj430h4bj4ng9iz1ghs-Boogie-3.2.3","default":true}]}}}