I've tried searching online for this but it has been noted that we need to get in contact with an AE (I've been trying for the past week to get in contact with my local rep):
Altium Design Files for picoZed Carrier Card | Zedboard
To clarify, I'm referring to this board: