Command "board details -b" does not show discovery and monitor tools

[PaulStoffregen]

Describe the problem

For boards like Teensy which require Pluggable Discovery and Pluggable Monitor tools, the "board details -b" command shows "Required tool" for only the regular tools. No mention is made of the required Pluggable Discovery and Pluggable Monitor tools.

To reproduce

With Teensy package file installed ( https://www.pjrc.com/teensy/package_teensy_index.json ) run this command:

./arduino-cli board details -b teensy:avr:teensy41 | grep tool

The output is:

Required tool: teensy:teensy-compile                 11.3.1
Required tool: teensy:teensy-tools                   1.58.0

Expected behavior

The output should probably look like:

Required tool: teensy:teensy-compile                 11.3.1
Required tool: teensy:teensy-tools                   1.58.0
Required tool: teensy:teensy-discovery               1.58.0
Required tool: teensy:teensy-monitor                 1.58.0

Arduino CLI version

Version: nightly-20230409 Commit: ea066cc Date: 2023-04-09T01:32:31Z

Operating system

Linux

Operating system version

Ubuntu 20.04.5

Additional context

No response

Issue checklist

• [X] I searched for previous reports in the issue tracker
• [X] I verified the problem still occurs when using the nightly build
• [X] My report contains all necessary details

[PaulStoffregen]

Perhaps "board details" is parsing the package index JSON, but only looking for toolsDependencies and ignoring discoveryDependencies or monitorDependencies from the Package Index Specification?

[PaulStoffregen]

Issue was first mentioned on this forum thread https://forum.pjrc.com/threads/53548-Arduino-CLI-And-IDE-now-Released-Teensy-Supported!?p=323915&viewfull=1#post323915