Here is the direct source for the Eagle files, as officially released by Arduino.