tobias/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-11-09 16:18:34 +01:00
Code Issues Packages Projects Releases Wiki Activity
nixpkgs/pkgs/build-support/agda
History
Carlos Tomé Cortiñas 55ac814fa9 Conditionally create symlink to agda-mode if present
2025-10-28 18:21:23 +01:00
..
default.nix Conditionally create symlink to agda-mode if present 2025-10-28 18:21:23 +01:00
lib.nix agdaPackages: switch to --build-library 2025-07-16 12:21:39 +02:00