{"name":"haskellPackages.verifiable-expressions","summary":"An intermediate language for Hoare logic style verification","description":"","homepage_url":"https://hackage.haskell.org/package/verifiable-expressions","license":"Apache-2.0","attribute_paths":["haskellPackages.verifiable-expressions"],"releases":[{"version":"0.6.3","last_updated":"2026-04-16T08:46:55Z","platforms":[{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.verifiable-expressions","commit_hash":"b86751bc4085f48661017fa226dee99fab6c651b","date":"2026-04-16T08:46:55Z","outputs":[{"name":"out","path":"/nix/store/0rzrx77p9k84cnb0g0xc02kgvv55d0b1-verifiable-expressions-0.6.3","default":true},{"name":"doc","path":"/nix/store/6hnnx8nqxr4v9y5w8gab4f62pb1ai8j9-verifiable-expressions-0.6.3-doc"}],"broken":false,"insecure":false}],"platforms_summary":"macOS (Intel only)","outputs_summary":"out (macOS only), doc (macOS only)","prerelease":false,"broken":false,"insecure":false},{"version":"0.6.2","last_updated":"2022-10-22T16:07:30Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.verifiable-expressions","commit_hash":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.verifiable-expressions","commit_hash":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.verifiable-expressions","commit_hash":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c","date":"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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false}]}