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
|
Details
Description:
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.