[Agda] arch inux packaging error?

[Nils Anders Danielsson]

On 04/03/2019 14.22, Marko Schuetz-Schmuck wrote:
> I get errors
> 
>     /usr/share/agda/lib/stdlib/Data/Nat/Base.agda:9,1-29
>     /usr/share/agda/lib/stdlib/Level.agdai: removeLink: permission denied (Permission denied)

My guess is that Agda has been updated, but that the interface files for
the standard library have not been rebuilt using the new version of
Agda.

> Can someone point me to a(n easy) fix for this?

Install the standard library yourself instead of using the package
manager.

-- 
/NAD