{"name":"dotnetPackages.Boogie","version":"2019-06-20","summary":"An intermediate verification language","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7ad5e816faba3f808e2a8815b14d0f023a4e2160"},"attr_path":"dotnetPackages.Boogie"},"last_updated":"2020-10-25T07:12:25Z"}}}