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

991 B
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink