Formalização final de pacotes