Hello, I just pushed a fix for #1017415 to the group repo and if somebody could upload it, the package (and therefore the whole agda system) would be installable again. I tested the agda-mode with a local clean rebuild and an agda hello world example, which worked fine. I'm including the original bug reporter to this mail, since they might be interested to see some progress here. Cheers, Marcel