Question about Blackmagic Pocket Cinema Camera 6K Pro

Hello, the DaVinci software is supplied with the normal 6K model (activation key). Is this also the case with the 6K pro? It's not mentioned in the text or the specifications.