{"name":"boogie","version":"2.15.7","summary":"An intermediate verification language","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"46688f8eb5cd6f1298d873d4d2b9cf245e09e88e"},"attr_path":"boogie"},"last_updated":"2023-09-15T06:49:28Z","outputs":[{"name":"out","path":"/nix/store/4pxr4nlnraxv2vgy53viisarbli5lksw-Boogie-2.15.7","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"46688f8eb5cd6f1298d873d4d2b9cf245e09e88e"},"attr_path":"boogie"},"last_updated":"2023-09-15T06:49:28Z","outputs":[{"name":"out","path":"/nix/store/g63q51p7ip9mmn7xy8k3w04yy7rq1pkc-Boogie-2.15.7","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"46688f8eb5cd6f1298d873d4d2b9cf245e09e88e"},"attr_path":"boogie"},"last_updated":"2023-09-15T06:49:28Z","outputs":[{"name":"out","path":"/nix/store/r4kywfvhkrlldyr0pj591bmxadpna7b9-Boogie-2.15.7","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"46688f8eb5cd6f1298d873d4d2b9cf245e09e88e"},"attr_path":"boogie"},"last_updated":"2023-09-15T06:49:28Z","outputs":[{"name":"out","path":"/nix/store/vlq35wcbwj49rkwzy9fiahsbymd4y1kk-Boogie-2.15.7","default":true}]}}}