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 Buggy McBugFace (bugbot) - Saturday, 25 November 2023, 20:00 GMT
Opened by Marko Schütz-Schmuck (okram) - Sunday, 03 March 2019, 14:51 GMT
Last edited by Buggy McBugFace (bugbot) - Saturday, 25 November 2023, 20:00 GMT
|
Details
Description:
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
Closed by Buggy McBugFace (bugbot)
Saturday, 25 November 2023, 20:00 GMT
Reason for closing: Moved
Additional comments about closing: https://gitlab.archlinux.org/archlinux/p ackaging/packages/agda/issues/1
Saturday, 25 November 2023, 20:00 GMT
Reason for closing: Moved
Additional comments about closing: https://gitlab.archlinux.org/archlinux/p ackaging/packages/agda/issues/1
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