Use recent text-icu to allow build on Mac M1

agda / agda-language-server

Language Server for Agda

MIT License

99 stars 17 forks source link

Closed FranklinChen closed 9 months ago

FranklinChen commented 2 years ago

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

banacorn commented 9 months ago

Thank you for this PR!