Here are a few relevant GitHub repositories where you can find (typically as .zip downloads):
There are several advantages to sourcing your simulation libraries from GitHub rather than generic file-hosting sites: proteus arduino library zip file download github
The downloaded zip file contains the essential components required for Proteus to recognize the Arduino board. Here are a few relevant GitHub repositories where