According to Supported devices - Google Play Help - Google Support
Retail Branding Marketing Name Device Model Samsung Galaxy S4 Mini serrano3g GT-I9190 Samsung Galaxy S4 Mini serranods GT-I9192 Samsung Galaxy S4 Mini serranolte GT-I9195 Samsung Galaxy S4 Mini serranolte GT-I9195L Samsung Galaxy S4 Mini serranolte GT-I9195T Samsung Galaxy S4 Mini serranolte GT-I9195X Samsung Galaxy S4 Mini serranolte GT-I9197 Samsung Galaxy S4 Mini serranoltebmc SGH-I257M Samsung Galaxy S4 Mini serranoltektt SHV-E370K Samsung Galaxy S4 Mini serranoltekx SHV-E370D Samsung Galaxy S4 Mini serranoltelra SCH-I435L Samsung Galaxy S4 Mini serranoltespr SPH-L520 Samsung Galaxy S4 Mini serranolteusc SCH-R890 Samsung Galaxy S4 Mini serranoltevzw SCH-I435 Samsung Galaxy S4 Mini serranove3g GT-I9192I Samsung Galaxy S4 Mini serranovelte GT-I9195I Samsung Galaxy S4 Mini serranovolteatt SAMSUNG-SGH-I257
. . .
Available a11 based /e/OS Ultimate Mini Custom Builds codename :
(serrano3gxx) = serrano3g
(serranodsdd) = serranods + serranodsub
(serranoltexx) = serranolte + serranoltebmc + serranoltektt
(serranovelte) = serranovelte