El S4 mini recibió oficialmente Android 5.0 Lollipop (versión 5.0.1/5.0.2) en 2015.
Android 6.0 Marshmallow no llegó oficialmente a esta variante de Verizon; se quedó en 5.0. Algunas ROMs custom (LineageOS, Resurrection Remix) llevan 6.0/7.1/8.1/9/10/11, pero requieren root, TWRP y desbloquear bootloader (pierdes garantía, KNOX 0x1).
Para comprobar OTA: Ajustes > Acerca del dispositivo > Actualizaciones de software > Descargar manualmente.