{"name":"z3_4_4_0","version":"4.4.0","summary":"A high-performance theorem prover and SMT solver","systems":{"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f1ffcf798e93b169321106a4aef79526a2b4bd0a"},"attr_path":"z3_4_4_0"},"last_updated":"2023-01-06T09:23:55Z","outputs":[{"name":"out","path":"/nix/store/siwg79h2zm3prh6i7hq9m2ifpgc71ps8-z3-4.4.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f1ffcf798e93b169321106a4aef79526a2b4bd0a"},"attr_path":"z3_4_4_0"},"last_updated":"2023-01-06T09:23:55Z","outputs":[{"name":"out","path":"/nix/store/1c4b3ragvjm1p6hbf4a299jj7az7az1y-z3-4.4.0","default":true}]}}}