En 1837 fue creado el Departamento de Minas, llamado desde 1927 Departamento de Lavalleja en honor a Juan Antonio Lavalleja.