[Agda] arch inux packaging error?

[Marko Schuetz-Schmuck]

Xuanrui Qi <xqi01 at cs.tufts.edu> writes:

>> 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.

I had done this some time before posting here.

Thanks,

Marko

> -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.
>> 
>

-- 
Prof. Dr. Marko Schütz-Schmuck
Department of Mathematical Sciences
University of Puerto Rico at Mayagüez
Mayagüez, PR 00681
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 194 bytes
Desc: not available
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190305/8b0c4788/attachment.sig>