<div dir="ltr">Great! Thanks a lot!</div><div class="gmail_extra"><br><div class="gmail_quote">2018-03-09 19:15 GMT+02:00 Ben Gamari <span dir="ltr"><<a href="mailto:ben@well-typed.com" target="_blank">ben@well-typed.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">Vassil Ognyanov Keremidchiev <<a href="mailto:varosi@gmail.com">varosi@gmail.com</a>> writes:<br>
<br>
> I saw there is ARM Aarch64 build, which is pretty cool! But will there be a<br>
> ARMv7 (32bit build) as well?<br>
><br>
</span>I do hope so. There have been a number of false-starts but hopefully the<br>
build that is currently running will finish. Unfortunately getting a<br>
working ARMv7 build is rather tricky due to a number of linker bugs that<br>
bite under various circumstances.<br>
<br>
Cheers,<br>
<br>
- Ben<br>
<br>
</blockquote></div><br></div>