{"name":"z3-tptp","version":"4.13.4","summary":"TPTP wrapper for Z3 prover","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"z3-tptp"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/rc97cphj8vba5b0n8qfw63gi0pqgdmgi-z3-tptp-4.13.4","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"z3-tptp"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/lai3i0jccws2r0fi1v2g44pials0q2p8-z3-tptp-4.13.4","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"z3-tptp"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/hlhnrkaz1kaglqrmll0d623j82y5k2qq-z3-tptp-4.13.4","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"z3-tptp"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/nn6px577bq2hgbyp288cv7s680g0qijq-z3-tptp-4.13.4","default":true}]}}}