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#67348 - [agda] Elisp files don't get compiled
Attached to Project:
Community Packages
Opened by Felix E. Klee (feklee) - Tuesday, 21 July 2020, 15:52 GMT
Last edited by Buggy McBugFace (bugbot) - Saturday, 25 November 2023, 20:01 GMT
Opened by Felix E. Klee (feklee) - Tuesday, 21 July 2020, 15:52 GMT
Last edited by Buggy McBugFace (bugbot) - Saturday, 25 November 2023, 20:01 GMT
|
DetailsDescription:
The Elisp files don't get compiled, potentially leading to low performance. Additional info: * 2.6.1-67 Steps to reproduce: Install the package. Apparently, "agda-mode compile" is not run during installation. It should be run: https://agda.readthedocs.io/en/v2.6.1/getting-started/installation.html |
This task depends upon
Closed by Buggy McBugFace (bugbot)
Saturday, 25 November 2023, 20:01 GMT
Reason for closing: Moved
Additional comments about closing: https://gitlab.archlinux.org/archlinux/p ackaging/packages/agda/issues/3
Saturday, 25 November 2023, 20:01 GMT
Reason for closing: Moved
Additional comments about closing: https://gitlab.archlinux.org/archlinux/p ackaging/packages/agda/issues/3
Comment by Buggy McBugFace (bugbot) -
Tuesday, 08 August 2023, 19:11 GMT
This is an automated comment as this bug is open for more then 2 years. Please reply if you still experience this bug otherwise this issue will be closed after 1 month.