The Driver Pack dialog for the MDK-ARM tool shows the Keil::STM32F4XX_DFP driver pack, among others, is not currently installed. An install button to the right of the identifier, as well as a description, assists the user in knowing which is the correct driver pack to download.