updated sympa manifest