<div dir="ltr">Agda from master(552987aa0119f2bca5eaf4dca7934e37209112f9) builds fine for me with <br><br>stack build --stack-yaml stack-8.8.3.yaml<br><br>I don't think stack init is necessary, unless some dependencies were changed. Is this from some other branch?<br><br>======<br>Georgi</div>