Skip to content

agda: parameterize agda infrastructure by Agda executable name - #452961

Merged
ncfavier merged 11 commits into
NixOS:masterfrom
carlostome:parameterize-agda-executable-name
Oct 28, 2025
Merged

agda: parameterize agda infrastructure by Agda executable name#452961
ncfavier merged 11 commits into
NixOS:masterfrom
carlostome:parameterize-agda-executable-name

Conditionally create symlink to agda-mode if present

55ac814
Select commit
Loading
Failed to load commit list.
OfBorg / maintainers, maintainers.passthru.tests on aarch64-darwin Started 2025-10-28 17:33:11 ago
View more details on OfBorg