Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
FS#61904 - [agda] errors on loading the simplest agda source files
Attached to Project:
Community Packages
Opened by Marko Schütz-Schmuck (okram) - Sunday, 03 March 2019, 14:51 GMT
Last edited by Balló György (City-busz) - Monday, 18 March 2019, 08:05 GMT
Opened by Marko Schütz-Schmuck (okram) - Sunday, 03 March 2019, 14:51 GMT
Last edited by Balló György (City-busz) - Monday, 18 March 2019, 08:05 GMT
|
DetailsDescription:
After a recent upgrade of agda and agda-stdlib, I am now getting errors on loading the simplest agda source files. Additional info: * versions: agda 2.5.99.20190207-5 agda-stdlib 0.17-1 Steps to reproduce: - enter a file in emacs with module ex01 where open import Data.Nat in it. - save as ex01.agda - try to load it into agda with C-c C-l - an error occurs /usr/share/agda/lib/stdlib/Data/Nat/Base.agda:9,1-29 /usr/share/agda/lib/stdlib/Level.agdai: removeLink: permission denied (Permission denied) |
This task depends upon
agda >= 2.6.1-68
agda-stdlib >= 1.3-2
Note that according to agda-stdlib's library management system you'll need the following configurations:
$ cat .agda/libraries
/usr/share/agda/lib/standard-library.agda-lib
$ cat .agda/defaults
standard-library