arduino eagle modules?

On the Products page, all the Arduinos are listed. There are Eagle files for all of them.