Community Packages

Please read this before reporting a bug:
http://wiki.archlinux.org/index.php/Reporting_Bug_Guidelines

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!
Tasklist

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 0
Private No

Details

Description:

Agda is failing to check any file.

Additional info:
* package version: 2.6.0.1.20191219-9

Steps to reproduce:

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

Loading...