Su vida la escribió Sulpicio Severo probablemente ese mismo año.