HI,
I am using Keil version 5.29 and Pack installer 1.3.91.0. I Couldn't able to locate ST25RU3993-EVAL board in Pack installer but could find the MCU of that board, which comes with another evaluation board.
This target is not supported by MDK.
Supported targets are listed at:
http://www.keil.com/dd2/