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