Any insulation in the attic cavity that got wet during the roof leak should be removed, dried and replaced. You might find water on top of the plastic vapour barrier that will require mopping up. Allow the attic cavity to dry out before replacing the insulation. When the ceiling drywall has dried, repaint it with Shell Busey’s ceiling paint manufactured by CGC Synko (it does not require a primer). or check with your local Cloverdale or Northern Paint Dealer for their problem (stain) solving ceiling paint.