Search for the SparkFun Electronics EAGLE Libraries on GitHub. 2. Community Repositories
Adafruit distributes their own version of the Pro Micro (often called "ItsyBitsy" or similar 32U4 boards). Their Eagle libraries are high quality. arduino+pro+micro+eagle+library