{"name":"coqPackages.trakt","version":"1.0","summary":"A generic goal preprocessing tool for proof automation tactics in Coq","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fb4debd73182c203a69060cb84e63c9e779c3a49"},"attr_path":"coqPackages.trakt"},"last_updated":"2023-07-26T13:29:16Z","outputs":[{"name":"out","path":"/nix/store/f6bj7q0nxzykky7by0fv6lsz5vm776q9-coq8.17-trakt-1.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fb4debd73182c203a69060cb84e63c9e779c3a49"},"attr_path":"coqPackages.trakt"},"last_updated":"2023-07-26T13:29:16Z","outputs":[{"name":"out","path":"/nix/store/c0zz58wpnkwzy819snbd89nbl89kyzy3-coq8.17-trakt-1.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fb4debd73182c203a69060cb84e63c9e779c3a49"},"attr_path":"coqPackages.trakt"},"last_updated":"2023-07-26T13:29:16Z","outputs":[{"name":"out","path":"/nix/store/if1l0ihnl0m5bi87kyv5hxsjppi97ivs-coq8.17-trakt-1.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fb4debd73182c203a69060cb84e63c9e779c3a49"},"attr_path":"coqPackages.trakt"},"last_updated":"2023-07-26T13:29:16Z","outputs":[{"name":"out","path":"/nix/store/ww0g1kyghf3j8xx3y3qi61w43fchyhz6-coq8.17-trakt-1.0","default":true}]}}}