{"name":"coqPackages.trakt","version":"1.2","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":"24fe8bb4f552ad3926274d29e083b79d84707da6"},"attr_path":"coqPackages.trakt"},"last_updated":"2024-01-07T11:22:52Z","outputs":[{"name":"out","path":"/nix/store/zbqb5syzn5pvql6wsrxp6s4afllq8d1j-coq8.18-trakt-1.2","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"24fe8bb4f552ad3926274d29e083b79d84707da6"},"attr_path":"coqPackages.trakt"},"last_updated":"2024-01-07T11:22:52Z","outputs":[{"name":"out","path":"/nix/store/0icgsmznv074pg4irdgihrgiccp5xz64-coq8.18-trakt-1.2","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"24fe8bb4f552ad3926274d29e083b79d84707da6"},"attr_path":"coqPackages.trakt"},"last_updated":"2024-01-07T11:22:52Z","outputs":[{"name":"out","path":"/nix/store/g5jydy0r89apfg0f980qh7q1ai4lpyhc-coq8.18-trakt-1.2","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"24fe8bb4f552ad3926274d29e083b79d84707da6"},"attr_path":"coqPackages.trakt"},"last_updated":"2024-01-07T11:22:52Z","outputs":[{"name":"out","path":"/nix/store/if9bdbg6arngc3i4j65myf0z4vr45ib9-coq8.18-trakt-1.2","default":true}]}}}