[nongnu] elpa/idris-mode updated (ccf32ed0b50 -> da5c22f4362)

[ELPA Syncer]

elpasync pushed a change to branch elpa/idris-mode.

      from  ccf32ed0b50 Merge pull request #639 from ska80/fixes1
       new  f54e7282f54 Add missing lexical binding directives
       new  4734d40ee66 Remove unused variable
       new  039dec8fc27 Simplify idris-simple-indent-newline-same-col
       new  da5c22f4362 Merge pull request #640 from 
keram/fix-latest-compile-errors-08-2025


Summary of changes:
 idris-simple-indent.el | 26 ++++++++++++--------------
 1 file changed, 12 insertions(+), 14 deletions(-)