Las divisas destinadas a los servicios de la Deuda Externa serán suministradas al tipo de cambio oficial que rija en el Banco de la República para la compra de letras de exportación.