quantenzitrone 4947d15dff nixosTests.agda.base: fix build ...

the binary adga-mode has been deprecated
one is supposed to use the main binary with --emacs-mode instead

2025-11-08 15:26:25 +01:00

..

files

Incorporate suggestions

2025-10-28 18:21:22 +01:00

base.nix

nixosTests.agda.base: fix build

2025-11-08 15:26:25 +01:00

default.nix

…

override-with-backend.nix

Conditionally create symlink to agda-mode if present

2025-10-28 18:21:23 +01:00