Что то часто стали возникать темы про не рабочие репы. Где то есть тема, про альтернативный способ скачивания, там не так сервера грузились бы. Надо бы ее вам найти и почитать. Кстати вариант "Взять из windows" самый приемлемый, тем более если поискать в google, то можно без проблем найти паки win-шрифтов под linux.