Community Packages

Please read this before reporting a bug:

Do NOT report bugs when a package is just outdated, or it is in Unsupported. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!

FS#65489 - [agda] Fails to check a file

Attached to Project: Community Packages
Opened by Elkin (helq) - Thursday, 13 February 2020, 20:16 GMT
Last edited by freswa (frederik) - Thursday, 13 February 2020, 20:45 GMT
Task Type Bug Report
Category Packages
Status Assigned
Assigned To Felix Yan (felixonmars)
Architecture x86_64
Severity High
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 0%
Votes 1
Private No



Agda is failing to check any file.

Additional info:
* package version:

Steps to reproduce:

$ touch empty.agda
$ agda empty.agda
/usr/share/agda/lib/_build: createDirectory: permission denied
(Permission denied)
This task depends upon

Comment by Konstantin Nisht (knisht) - Saturday, 29 February 2020, 21:46 GMT
I have the same issue.

Here is the line that helped me:

$ sudo rm -rf /usr/share/agda/lib/_build

It followed by complete recheck of agda standard library, and then everything worked fine.