RFSOC board dimension

Hi, where I can find PCB dimension or design files of this product. Thank you OpenSourceSDRLab RFSOC development board equipped with USB 3.0 socket