{"name":"boogie","version":"3.2.0","summary":"Intermediate verification language","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a14c5d651cee9ed70f9cd9e83f323f1e531002db"},"attr_path":"boogie"},"last_updated":"2024-07-15T04:07:31Z","outputs":[{"name":"out","path":"/nix/store/0ss443pjb0m4hy4l9w3nrxi1hixdvim7-Boogie-3.2.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a14c5d651cee9ed70f9cd9e83f323f1e531002db"},"attr_path":"boogie"},"last_updated":"2024-07-15T04:07:31Z","outputs":[{"name":"out","path":"/nix/store/7q9gay5d0q8d3h8crdl5m6cz49innvwk-Boogie-3.2.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a14c5d651cee9ed70f9cd9e83f323f1e531002db"},"attr_path":"boogie"},"last_updated":"2024-07-15T04:07:31Z","outputs":[{"name":"out","path":"/nix/store/f83h79gkf0vg2lzqw9nfli1gflx9h05h-Boogie-3.2.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a14c5d651cee9ed70f9cd9e83f323f1e531002db"},"attr_path":"boogie"},"last_updated":"2024-07-15T04:07:31Z","outputs":[{"name":"out","path":"/nix/store/d9m3hkyzwjn5cczhyrahb0nqfldhyv7h-Boogie-3.2.0","default":true}]}}}