agda-language-server icon indicating copy to clipboard operation
agda-language-server copied to clipboard

Published 20 hours ago • verified publisher icon agda

Use recent text-icu to allow build on Mac M1

Open FranklinChen opened this issue 2 years ago • 0 comments

Recent text-icu version allows build on Mac M1 by accounting for new Homebrew paths.

FranklinChen avatar May 13 '22 21:05 FranklinChen