gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
ac82a954e9cb13410b2fc8a8d4088e4dd32fae18
nixpkgs/nixos/tests/agda/override-with-backend.nix
Carlos Tomé Cortiñas 55ac814fa9 Conditionally create symlink to agda-mode if present
2025-10-28 18:21:23 +01:00

1.6 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink