{"name":"haskellPackages.verifiable-expressions","version":"0.6.3","summary":"An intermediate language for Hoare logic style verification","systems":{"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b86751bc4085f48661017fa226dee99fab6c651b"},"attr_path":"haskellPackages.verifiable-expressions"},"last_updated":"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"}]}}}