{"name":"dotnetPackages.Boogie","summary":"An intermediate verification language","description":"Boogie is an intermediate verification language (IVL), intended as a\nlayer on which to build program verifiers for other languages.\n\nThis derivation may be used as a vim plugin to provide syntax highlighting.","homepage_url":"https://github.com/boogie-org/boogie","license":"MS-PL","attribute_paths":["dotnetPackages.Boogie"],"releases":[{"version":"2019-06-20","last_updated":"2020-10-25T07:12:25Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"dotnetPackages.Boogie","commit_hash":"7ad5e816faba3f808e2a8815b14d0f023a4e2160","date":"2020-10-25T07:12:25Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"3.5.7","last_updated":"2026-10-02T22:55:44Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"dotnetPackages.Boogie","commit_hash":"55ba7f49ef2962b42cbd126522b7df5f95037679","date":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/wxrdnd94mjlnsvv634vlv63bkalwzw5v-Boogie-3.5.7","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"dotnetPackages.Boogie","commit_hash":"55ba7f49ef2962b42cbd126522b7df5f95037679","date":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/5wvvgdccj2k7miqf0bws74zfk5jhp5ij-Boogie-3.5.7","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"dotnetPackages.Boogie","commit_hash":"55ba7f49ef2962b42cbd126522b7df5f95037679","date":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/c2ygd7y02x3lfn18q2hcaccagy8mh9gc-Boogie-3.5.7","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.15.7","last_updated":"2023-02-24T09:01:09Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"dotnetPackages.Boogie","commit_hash":"7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11","date":"2023-02-24T09:01:09Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"dotnetPackages.Boogie","commit_hash":"7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11","date":"2023-02-24T09:01:09Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"dotnetPackages.Boogie","commit_hash":"7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11","date":"2023-02-24T09:01:09Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.4.1","last_updated":"2022-06-20T04:45:15Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"dotnetPackages.Boogie","commit_hash":"24c33ab7952544ad355d0677c9eea931b23f371c","date":"2022-05-03T02:40:48Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"dotnetPackages.Boogie","commit_hash":"24c33ab7952544ad355d0677c9eea931b23f371c","date":"2022-05-03T02:40:48Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"dotnetPackages.Boogie","commit_hash":"72bbea9db7d727ed044e60b5f5febc60a3c5c955","date":"2022-06-20T04:45:15Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}