{"name":"boogie","version":"3.1.6","summary":"Intermediate verification language","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"efb39c6052f3ce51587cf19733f5f4e5d515aa13"},"attr_path":"boogie"},"last_updated":"2024-06-24T10:03:30Z","outputs":[{"name":"out","path":"/nix/store/5ygwbhdb0d9vm4vmxcgg23q6qi69zw7i-Boogie-3.1.6","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"efb39c6052f3ce51587cf19733f5f4e5d515aa13"},"attr_path":"boogie"},"last_updated":"2024-06-24T10:03:30Z","outputs":[{"name":"out","path":"/nix/store/f9rhcg5r3aq1djn8dnfbkh6rijxmdyzb-Boogie-3.1.6","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"efb39c6052f3ce51587cf19733f5f4e5d515aa13"},"attr_path":"boogie"},"last_updated":"2024-06-24T10:03:30Z","outputs":[{"name":"out","path":"/nix/store/78xy4jydcqgx5gka9jl4kmlxx3ykv71z-Boogie-3.1.6","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"efb39c6052f3ce51587cf19733f5f4e5d515aa13"},"attr_path":"boogie"},"last_updated":"2024-06-24T10:03:30Z","outputs":[{"name":"out","path":"/nix/store/50mx5yn970rdf164z82q3pkll9h5ddim-Boogie-3.1.6","default":true}]}}}