{"name":"z3-tptp","summary":"TPTP wrapper for Z3 prover","description":"","homepage_url":"https://github.com/Z3Prover/z3","license":"MIT","attribute_paths":["z3-tptp"],"releases":[{"version":"5.1.0","last_updated":"2026-10-02T22:55:44Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3-tptp","commit_hash":"55ba7f49ef2962b42cbd126522b7df5f95037679","date":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/795z4l4mqwd3a0x1z1r1nvj1allmv032-z3-tptp-5.1.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3-tptp","commit_hash":"55ba7f49ef2962b42cbd126522b7df5f95037679","date":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/4clidsjlji71gqqha9asmd01hzyzn8s5-z3-tptp-5.1.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3-tptp","commit_hash":"55ba7f49ef2962b42cbd126522b7df5f95037679","date":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/p28sb613qr1zxgcvharznzj2pfi6zhj0-z3-tptp-5.1.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.16.0","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3-tptp","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/bw1si7imyj8n5azmd2y0vhij9lw1h6fc-z3-tptp-4.16.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3-tptp","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/j85svy3rbydgpr0i0qdi1vnb8w98yr9p-z3-tptp-4.16.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3-tptp","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/syknmvd8yygg71ah76lbwpn4b0j4g7z3-z3-tptp-4.16.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3-tptp","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/j9qyg3qkqy2kx0wp7gwnknnpgchvvlx3-z3-tptp-4.16.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.15.8","last_updated":"2026-03-21T07:29:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3-tptp","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/a56w32wqhbfjlxknnw58h9iqarfyy8dj-z3-tptp-4.15.8","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3-tptp","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/9bp98idxg69jp1x88kz62hzhpks0g834-z3-tptp-4.15.8","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3-tptp","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/vfffvwmhynzvmdmbysvy1nl5n8ij64z1-z3-tptp-4.15.8","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3-tptp","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/mnwv1p6skr1dbcpk0vajfj1kh2af1dx4-z3-tptp-4.15.8","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.15.7","last_updated":"2026-02-13T23:34:13Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3-tptp","commit_hash":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe","date":"2026-02-13T23:34:13Z","outputs":[{"name":"out","path":"/nix/store/qqg1j4wrk7c4nxkwlfkxj3hb6sbwribv-z3-tptp-4.15.7","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3-tptp","commit_hash":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe","date":"2026-02-13T23:34:13Z","outputs":[{"name":"out","path":"/nix/store/7g85f0qajkh60hnxzay8crdx1av34pwq-z3-tptp-4.15.7","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3-tptp","commit_hash":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe","date":"2026-02-13T23:34:13Z","outputs":[{"name":"out","path":"/nix/store/11jy321kdsglsgnj07fsy1sgp8zq70mc-z3-tptp-4.15.7","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3-tptp","commit_hash":"7d2ae6d8b8b697b5114a4249d0d958ee5f23d8fe","date":"2026-02-13T23:34:13Z","outputs":[{"name":"out","path":"/nix/store/7cwiq12cp4ggdvznh69m4mdd7lr7c48p-z3-tptp-4.15.7","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.15.4","last_updated":"2026-02-06T12:24:04Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3-tptp","commit_hash":"ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe","date":"2026-02-06T12:24:04Z","outputs":[{"name":"out","path":"/nix/store/q07wzhsqsw5xwrmj804ssvvmxsmhrbwr-z3-tptp-4.15.4","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3-tptp","commit_hash":"ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe","date":"2026-02-06T12:24:04Z","outputs":[{"name":"out","path":"/nix/store/yr11aq3qa5c5hmrb0z6nvz2rc5y1ck3n-z3-tptp-4.15.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3-tptp","commit_hash":"ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe","date":"2026-02-06T12:24:04Z","outputs":[{"name":"out","path":"/nix/store/3qns48idg4g3vdipfg2bvrpfp97ya505-z3-tptp-4.15.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3-tptp","commit_hash":"ae67888ff7ef9dff69b3cf0cc0fbfbcd3a722abe","date":"2026-02-06T12:24:04Z","outputs":[{"name":"out","path":"/nix/store/y29vgyfkgwp3dpi3iw754y1ifw0rsf4m-z3-tptp-4.15.4","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.15.3","last_updated":"2025-10-22T20:59:19Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3-tptp","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/pwvidj1n3nfpvv3rz8b0lfppbadhsv25-z3-tptp-4.15.3","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3-tptp","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/xkcrc7p86k5775yxp9yyy2q0a91sfygn-z3-tptp-4.15.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3-tptp","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/1bmfd7mvklq8disqxh4m1ya01y399977-z3-tptp-4.15.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3-tptp","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/hxy6ymylwk9pg86n8i0cny2jhif2vxcs-z3-tptp-4.15.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.15.2","last_updated":"2025-07-28T17:09:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3-tptp","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/8q3gq397xanfqpmcyfzzx1p56akgf5pp-z3-tptp-4.15.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3-tptp","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/lham59gy4lbk9qfsc4npk7kxv4wxs449-z3-tptp-4.15.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3-tptp","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/dr9zkldwdi8kmzxn4wd316rz91b15b1k-z3-tptp-4.15.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3-tptp","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/yca0y4s6bn7bq6a0gaasafkj3wpg9msq-z3-tptp-4.15.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.15.1","last_updated":"2025-07-13T22:45:35Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3-tptp","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/pyx6x8hbl9cj9jpg5v2yp4wa9wl1gq1q-z3-tptp-4.15.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3-tptp","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/0hrkrwlns4qv811y2z6wn1xk6nd67clp-z3-tptp-4.15.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3-tptp","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/v1i89qj5k3qd4x2jnnzvi6hpcldgssni-z3-tptp-4.15.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3-tptp","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/h897b7sbn9h4x6wak4hzmh284jn7rg3r-z3-tptp-4.15.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.15.0","last_updated":"2025-05-22T13:30:28Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3-tptp","commit_hash":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae","date":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/k3x77z0mp01fszrgm57j67ngf0y16f5z-z3-tptp-4.15.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3-tptp","commit_hash":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae","date":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/amb867gs2lpzc2zfd99lidkxhf2ifh4g-z3-tptp-4.15.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3-tptp","commit_hash":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae","date":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/54ymq33h15dfry527xpvxlf1pxfdb13h-z3-tptp-4.15.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3-tptp","commit_hash":"e314d5c6d3b3a0f40ec5bcbc007b0cbe412f48ae","date":"2025-05-22T13:30:28Z","outputs":[{"name":"out","path":"/nix/store/2rvk5bv42iqvmjk0mypsn52j4nwwij7v-z3-tptp-4.15.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.14.1","last_updated":"2025-05-16T20:19:48Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3-tptp","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/m67iz6hakcnw2qcpqvnv0f1xyk5a1qkz-z3-tptp-4.14.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3-tptp","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/7q5b7bqzvjdp71dnw61nc92i5bx97kvl-z3-tptp-4.14.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3-tptp","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/h1q633lhxyv4bj2gkvf8kixgnyzanmz7-z3-tptp-4.14.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3-tptp","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/2fqvjj8sh4zgl0qiva8wg3js2dax55bi-z3-tptp-4.14.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.13.4","last_updated":"2025-04-17T05:47:26Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3-tptp","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/rc97cphj8vba5b0n8qfw63gi0pqgdmgi-z3-tptp-4.13.4","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3-tptp","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/lai3i0jccws2r0fi1v2g44pials0q2p8-z3-tptp-4.13.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3-tptp","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/hlhnrkaz1kaglqrmll0d623j82y5k2qq-z3-tptp-4.13.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3-tptp","commit_hash":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c","date":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/nn6px577bq2hgbyp288cv7s680g0qijq-z3-tptp-4.13.4","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.8.17","last_updated":"2024-12-23T21:10:33Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3-tptp","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/3y2dvf20hhqgd1gfg2bkj60xhjbrl6y4-z3-tptp-4.8.17","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3-tptp","commit_hash":"de1864217bfa9b5845f465e771e0ecb48b30e02d","date":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/4lmslip60kxjvsfwa22rli1dr4jq7lvy-z3-tptp-4.8.17","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3-tptp","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/5n2ygkfn9bqd5ysgzrba5f5k4cd9srz0-z3-tptp-4.8.17","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3-tptp","commit_hash":"de1864217bfa9b5845f465e771e0ecb48b30e02d","date":"2024-12-23T21:10:33Z","outputs":[{"name":"out","path":"/nix/store/sak4lm4rd3gkkrylxv4wbyky33ndsszb-z3-tptp-4.8.17","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.8.15","last_updated":"2023-04-13T03:55:09Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3-tptp","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/471r05hlnaksrw9m1k05qz79h9026a2d-z3-tptp-4.8.15","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3-tptp","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/4pzqhkgkkk8b12l2dwx59z7ah506k3b6-z3-tptp-4.8.15","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3-tptp","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/yns0rq27rwd3j7vh59q2b0ll6vxlbgg0-z3-tptp-4.8.15","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3-tptp","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/l577d55bn80n3dxxjsv0wq60ivvyk7rn-z3-tptp-4.8.15","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.8.14","last_updated":"2022-03-21T18:25:50Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3-tptp","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/my2lvnb57jpiq2v6q0akpayvxxyzi43a-z3-tptp-4.8.14","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"z3-tptp","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/qyr1549zpi3fl8miv6fnb42ipjm1xsaw-z3-tptp-4.8.14","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3-tptp","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/30rf1xw5c5y2hzafpsbki667a4cdk5fy-z3-tptp-4.8.14","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3-tptp","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.8.12","last_updated":"2022-01-01T05:55:45Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3-tptp","commit_hash":"6f05cfdb1e78d36c0337516df674560e4b51c79b","date":"2022-01-01T05:55:45Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3-tptp","commit_hash":"6f05cfdb1e78d36c0337516df674560e4b51c79b","date":"2022-01-01T05:55:45Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3-tptp","commit_hash":"6f05cfdb1e78d36c0337516df674560e4b51c79b","date":"2022-01-01T05:55:45Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.8.10","last_updated":"2021-09-26T10:07:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"z3-tptp","commit_hash":"b5182c214fac1e6db9f28ed8a7cfc2d0c255c763","date":"2021-09-26T10:07:29Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"z3-tptp","commit_hash":"b5182c214fac1e6db9f28ed8a7cfc2d0c255c763","date":"2021-09-26T10:07:29Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3-tptp","commit_hash":"b5182c214fac1e6db9f28ed8a7cfc2d0c255c763","date":"2021-09-26T10:07:29Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.8.9","last_updated":"2021-01-31T03:57:17Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3-tptp","commit_hash":"b76d44b9612b0f2117cbce00a9e9508f068c752e","date":"2021-01-31T03:57:17Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.8.8","last_updated":"2020-09-09T10:48:30Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3-tptp","commit_hash":"51428e8d38271d14146211867984b8742d304ea4","date":"2020-09-09T10:48:30Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"4.8.7","last_updated":"2020-08-17T05:32:13Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"z3-tptp","commit_hash":"078b9f8aa68089253a10dc9dda8b4dbdf4eaddfc","date":"2020-08-17T05:32:13Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}