Hola Nostradamux y bienvenido al foro.
Si ya tienes instalada la librería de microchip verás que solo aparecen ciertos modelos, y ninguno de ellos son con memoria flash son casi todos "otp", por lo que no encontrarás el 16f877.
Si te fijas bien, seguro que salen modelos que aunque no sean el que tu buscas, si es compatible pin a pin con éste. Puedes usarlos tranquilamente ya que lo único que te interesa es que sean compatibles pin a pin y tengan el mismo footprint, por lo tanto busca uno compatible y cambiale el nombre en las propiedades a 16f877 y ya lo tendrás. De todas formas si te sientes con fuerzas y no eres tan vaguete como yo, siempre puedes hacer el componente, es realmente fácil, así lo incluyes en tu librería personalizada para futuros proyectos.
Si tienes dudas sobre como hacer los componentes, postealo por aquí que intentaré ayudarte.
Un saludo.