Исправление grem, 18.05.23 22:38 (текущая версия) :
Бинарники лучше в distfiles складывать и копировать/распаковывать оттуда.
Исходная версия grem, 18.05.23 22:38:
Бигарники лучше в distfiles складывать и копировать/распаковывать оттуда.