gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
34874a6c79581d74910588bf6050caa9dd3ce424
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