| name: devtools_tool | |
| description: A repo management tool for DevTools. | |
| publish_to: none | |
| environment: | |
| sdk: ">=3.0.0 <4.0.0" | |
| executables: | |
| devtools_tool: devtools_tool | |
| dependencies: | |
| args: ^2.1.0 | |
| cli_util: ^0.3.3 | |
| devtools_shared: ^6.0.1 | |
| http: ^0.13.3 | |
| io: ^1.0.4 | |
| lints: any | |
| path: ^1.8.0 | |
| dependency_overrides: | |
| devtools_shared: | |
| path: ../packages/devtools_shared |