El Gobierno pagó unos 4.300 millones de dólares en vencimientos de deudaLa operación se concretó con fondos del Tesoro y crédito REPO aportados por bancos internacionales.