{"name":"haskellPackages.logic-TPTP","version":"0.5.0.0","summary":"Import, export etc. for TPTP, a syntax for first-order logic","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a343533bccc62400e8a9560423486a3b6c11a23b"},"attr_path":"haskellPackages.logic-TPTP"},"last_updated":"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"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a343533bccc62400e8a9560423486a3b6c11a23b"},"attr_path":"haskellPackages.logic-TPTP"},"last_updated":"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"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a343533bccc62400e8a9560423486a3b6c11a23b"},"attr_path":"haskellPackages.logic-TPTP"},"last_updated":"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"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a343533bccc62400e8a9560423486a3b6c11a23b"},"attr_path":"haskellPackages.logic-TPTP"},"last_updated":"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"}]}}}