Pagas extra en finiquito.

Me voy a jubilar a finales de este mes de Febrero. En mi convenio sobre la paga extra de verano dice: se devengará del 1 de Julio al 30 de Junio. En la de Navidad dice: Se devengará del 1 de Enero al 31 de Diciembre.

Mi pregunta es que parte proporcional, en meses,de cada paga me tienen que pagar en el finiquito. Espero su respuesta, muchas gracias.