{"name":"boogie","version":"3.5.4","summary":"Intermediate verification language","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5a983011e0f4b3b286aaa73e011ce32b1449a528"},"attr_path":"boogie"},"last_updated":"2025-08-11T23:54:17Z","outputs":[{"name":"out","path":"/nix/store/3k19lzss6g76sgng3q3knsf3s6wrz24a-Boogie-3.5.4","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5a983011e0f4b3b286aaa73e011ce32b1449a528"},"attr_path":"boogie"},"last_updated":"2025-08-11T23:54:17Z","outputs":[{"name":"out","path":"/nix/store/nqqlhmn8xqw6y2h26nj39fd77296p07c-Boogie-3.5.4","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5a983011e0f4b3b286aaa73e011ce32b1449a528"},"attr_path":"boogie"},"last_updated":"2025-08-11T23:54:17Z","outputs":[{"name":"out","path":"/nix/store/3f5gff352d9s13yfljrbzbvs1amyma0f-Boogie-3.5.4","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5a983011e0f4b3b286aaa73e011ce32b1449a528"},"attr_path":"boogie"},"last_updated":"2025-08-11T23:54:17Z","outputs":[{"name":"out","path":"/nix/store/7f9657biaa8zckc6nfcvph51nybfgbjj-Boogie-3.5.4","default":true}]}}}