I wish I could offer some help - all I can do is second your question. It seems incongruous to me that they would sponsor a contest based upon the PIC32 microcontroller and then not have any libraries that include PIC32 devices.
I am specifically looking for a PIC32MX220F032D library component - this device contains a Charge Time Measurement Unit that I want to use to do some nanosecond-level edge timing. No such luck so far.
Like other users explained, it is easy to create new library components by reusing existing footprints. The library you see in DSPCB was created before the compatition started and we are not able to freely add items and make them appear on your machine. If we want to add new items, we must wait until another release of the software. Besides, you don't need this particular library component if you followed the scope of the competition. The microcontroller is on the development kit so you never need to use it in your design.