{"name":"haskellPackages.logic-TPTP","summary":"Import, export etc. for TPTP, a syntax for first-order logic","description":"","homepage_url":"https://hackage.haskell.org/package/logic-TPTP","license":"GPL","attribute_paths":["haskellPackages.logic-TPTP"],"releases":[{"version":"0.6.0.0","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.logic-TPTP","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/liai0l506czxhaax2cv6b8yj49kv7fy2-logic-TPTP-0.6.0.0","default":true},{"name":"doc","path":"/nix/store/i60nnhdy9vasa299jy4w3hgf6lamyiw9-logic-TPTP-0.6.0.0-doc"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.logic-TPTP","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/h0s9xhljvhnvbvw7asgzfc1ssligdlm9-logic-TPTP-0.6.0.0","default":true},{"name":"doc","path":"/nix/store/7jp2fxp6qxl6drd0ihic90dnha3xn78s-logic-TPTP-0.6.0.0-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.logic-TPTP","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/fb7g8ybjyrp4f7pwvm1f6m03fv3s3mla-logic-TPTP-0.6.0.0","default":true},{"name":"doc","path":"/nix/store/adxzkaw60fpxh9031jqid9658g9myscx-logic-TPTP-0.6.0.0-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.logic-TPTP","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/ssgvih0n07my27nj0m3lsv1vr1m0y3dx-logic-TPTP-0.6.0.0","default":true},{"name":"doc","path":"/nix/store/dcp254niwmlf7y0li9rfg3b071d05zpn-logic-TPTP-0.6.0.0-doc"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false},{"version":"0.5.0.0","last_updated":"2024-03-08T13:51:52Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.logic-TPTP","commit_hash":"a343533bccc62400e8a9560423486a3b6c11a23b","date":"2024-03-08T13:51:52Z","outputs":[{"name":"out","path":"/nix/store/9dgrnb8mv0p6wvygimmfmmjr1wg7kpc0-logic-TPTP-0.5.0.0","default":true},{"name":"doc","path":"/nix/store/xh3a8j81wrd33cplpbginyjk67vy7m0q-logic-TPTP-0.5.0.0-doc"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.logic-TPTP","commit_hash":"a343533bccc62400e8a9560423486a3b6c11a23b","date":"2024-03-08T13:51:52Z","outputs":[{"name":"out","path":"/nix/store/r520fa50jwkak3rsx8bzmz8zx0l3ygqj-logic-TPTP-0.5.0.0","default":true},{"name":"doc","path":"/nix/store/gyqskndwlnf2lvrd850q3sz521iij0gi-logic-TPTP-0.5.0.0-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.logic-TPTP","commit_hash":"a343533bccc62400e8a9560423486a3b6c11a23b","date":"2024-03-08T13:51:52Z","outputs":[{"name":"out","path":"/nix/store/aqxc0cqvzpkaa3phshcyyh944293hjq5-logic-TPTP-0.5.0.0","default":true},{"name":"doc","path":"/nix/store/njhx4q4x84w8119bld1i3sxls0q29aim-logic-TPTP-0.5.0.0-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.logic-TPTP","commit_hash":"a343533bccc62400e8a9560423486a3b6c11a23b","date":"2024-03-08T13:51:52Z","outputs":[{"name":"out","path":"/nix/store/kdgcij6w4lvzfrsr76zh1mkghn45jn1l-logic-TPTP-0.5.0.0","default":true},{"name":"doc","path":"/nix/store/pmwy0fzqz5yjy78h3bqi5f6c93xjb62w-logic-TPTP-0.5.0.0-doc"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false}]}