{"name":"boogie","version":"3.5.6","summary":"Intermediate verification language","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8b7dc2ca50dd99ca3af5af1436b06b5adb1e54c9"},"attr_path":"boogie"},"last_updated":"2026-08-17T19:09:21Z","outputs":[{"name":"out","path":"/nix/store/3waidxddgg5hy6pjp16hsy5da87nflka-Boogie-3.5.6","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8b7dc2ca50dd99ca3af5af1436b06b5adb1e54c9"},"attr_path":"boogie"},"last_updated":"2026-08-17T19:09:21Z","outputs":[{"name":"out","path":"/nix/store/b4gk1di9vv762wf23vbfmdl02sd6rysz-Boogie-3.5.6","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"boogie"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/dzs7piyw7jxdix692hzw6xpbn1lv0i4v-Boogie-3.5.6","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8b7dc2ca50dd99ca3af5af1436b06b5adb1e54c9"},"attr_path":"boogie"},"last_updated":"2026-08-17T19:09:21Z","outputs":[{"name":"out","path":"/nix/store/7v0l6wr6apc5xzpysmgm5l3ks986lrq2-Boogie-3.5.6","default":true}]}}}