{"name":"coqPackages.trakt","summary":"A generic goal preprocessing tool for proof automation tactics in Coq","description":"","homepage_url":"https://github.com/ecranceMERCE/trakt","license":"LGPL-3.0-or-later","attribute_paths":["coqPackages.trakt"],"releases":[{"version":"1.2","last_updated":"2024-01-07T11:22:52Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.trakt","commit_hash":"24fe8bb4f552ad3926274d29e083b79d84707da6","date":"2024-01-07T11:22:52Z","outputs":[{"name":"out","path":"/nix/store/zbqb5syzn5pvql6wsrxp6s4afllq8d1j-coq8.18-trakt-1.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.trakt","commit_hash":"24fe8bb4f552ad3926274d29e083b79d84707da6","date":"2024-01-07T11:22:52Z","outputs":[{"name":"out","path":"/nix/store/0icgsmznv074pg4irdgihrgiccp5xz64-coq8.18-trakt-1.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.trakt","commit_hash":"24fe8bb4f552ad3926274d29e083b79d84707da6","date":"2024-01-07T11:22:52Z","outputs":[{"name":"out","path":"/nix/store/g5jydy0r89apfg0f980qh7q1ai4lpyhc-coq8.18-trakt-1.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.trakt","commit_hash":"24fe8bb4f552ad3926274d29e083b79d84707da6","date":"2024-01-07T11:22:52Z","outputs":[{"name":"out","path":"/nix/store/if9bdbg6arngc3i4j65myf0z4vr45ib9-coq8.18-trakt-1.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.0","last_updated":"2023-07-26T13:29:16Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.trakt","commit_hash":"fb4debd73182c203a69060cb84e63c9e779c3a49","date":"2023-07-26T13:29:16Z","outputs":[{"name":"out","path":"/nix/store/f6bj7q0nxzykky7by0fv6lsz5vm776q9-coq8.17-trakt-1.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.trakt","commit_hash":"fb4debd73182c203a69060cb84e63c9e779c3a49","date":"2023-07-26T13:29:16Z","outputs":[{"name":"out","path":"/nix/store/c0zz58wpnkwzy819snbd89nbl89kyzy3-coq8.17-trakt-1.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.trakt","commit_hash":"fb4debd73182c203a69060cb84e63c9e779c3a49","date":"2023-07-26T13:29:16Z","outputs":[{"name":"out","path":"/nix/store/if1l0ihnl0m5bi87kyv5hxsjppi97ivs-coq8.17-trakt-1.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.trakt","commit_hash":"fb4debd73182c203a69060cb84e63c9e779c3a49","date":"2023-07-26T13:29:16Z","outputs":[{"name":"out","path":"/nix/store/ww0g1kyghf3j8xx3y3qi61w43fchyhz6-coq8.17-trakt-1.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}