[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