[Agda] arch inux packaging error?

Xuanrui Qi xqi01 at cs.tufts.edu
Mon Mar 4 20:48:03 CET 2019


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

Also, definitely report the issue to Arch. They are usually pretty
quick to fix things.

-Ray

-- 
Xuanrui (Ray) Qi

xqi01 at cs.tufts.edu
me at xuanruiqi.com
https://www.xuanruiqi.com

On Mon, 2019-03-04 at 16:06 +0100, Nils Anders Danielsson wrote:
> 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.
> 



More information about the Agda mailing list