{"name":"boogie","version":"3.1.2","summary":"An intermediate verification language","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a3ed7406349a9335cb4c2a71369b697cecd9d351"},"attr_path":"boogie"},"last_updated":"2024-03-22T11:26:23Z","outputs":[{"name":"out","path":"/nix/store/di4mwqzh49776q91cjs0jid76zrlbvww-Boogie-3.1.2","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a3ed7406349a9335cb4c2a71369b697cecd9d351"},"attr_path":"boogie"},"last_updated":"2024-03-22T11:26:23Z","outputs":[{"name":"out","path":"/nix/store/2m62jp7k1jcdrnn5qv7mlf88vqd49ym4-Boogie-3.1.2","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a3ed7406349a9335cb4c2a71369b697cecd9d351"},"attr_path":"boogie"},"last_updated":"2024-03-22T11:26:23Z","outputs":[{"name":"out","path":"/nix/store/yxr3x3xj0vwyyvvhnqrjhcqly8c8fziw-Boogie-3.1.2","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a3ed7406349a9335cb4c2a71369b697cecd9d351"},"attr_path":"boogie"},"last_updated":"2024-03-22T11:26:23Z","outputs":[{"name":"out","path":"/nix/store/i6s1sai0mpxcqv67b64w7c0m4xmd53pw-Boogie-3.1.2","default":true}]}}}