{"name":"haskellPackages.verifiable-expressions","version":"0.6.2","summary":"An intermediate language for Hoare logic style verification","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c"},"attr_path":"haskellPackages.verifiable-expressions"},"last_updated":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/9qb4njjq91av89aabwc6plyz9xavgzh8-verifiable-expressions-0.6.2","default":true},{"name":"doc","path":"/nix/store/v012d6ni039x92vir5mpg9w5n9dfzy46-verifiable-expressions-0.6.2-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c"},"attr_path":"haskellPackages.verifiable-expressions"},"last_updated":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/6sirp1mny2v6nxqq9an1bil542wcc6m7-verifiable-expressions-0.6.2","default":true},{"name":"doc","path":"/nix/store/5qlnana5nz3xfnxglcrim2sw744sgz6r-verifiable-expressions-0.6.2-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c"},"attr_path":"haskellPackages.verifiable-expressions"},"last_updated":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/alis8m8avdgsavh8mdiv69dq3nj0glxy-verifiable-expressions-0.6.2","default":true},{"name":"doc","path":"/nix/store/17hjbsklqg99x4p49qsk7bqf2psqvr17-verifiable-expressions-0.6.2-doc"}]}}}