I recently got Eagle light, and although I found a contributed microchip
library on their website, it doesn't include the 16F84. Has anybody got a
library in Eagle format that does?

Lazily,

Dave Johnson