{"name":"z3-tptp","version":"4.15.8","summary":"TPTP wrapper for Z3 prover","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"09061f748ee21f68a089cd5d91ec1859cd93d0be"},"attr_path":"z3-tptp"},"last_updated":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/a56w32wqhbfjlxknnw58h9iqarfyy8dj-z3-tptp-4.15.8","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"09061f748ee21f68a089cd5d91ec1859cd93d0be"},"attr_path":"z3-tptp"},"last_updated":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/9bp98idxg69jp1x88kz62hzhpks0g834-z3-tptp-4.15.8","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"09061f748ee21f68a089cd5d91ec1859cd93d0be"},"attr_path":"z3-tptp"},"last_updated":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/vfffvwmhynzvmdmbysvy1nl5n8ij64z1-z3-tptp-4.15.8","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"09061f748ee21f68a089cd5d91ec1859cd93d0be"},"attr_path":"z3-tptp"},"last_updated":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/mnwv1p6skr1dbcpk0vajfj1kh2af1dx4-z3-tptp-4.15.8","default":true}]}}}