archives/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-03-08 01:04:06 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 2
nixpkgs/pkgs/build-support/agda
History
Exact
Rasheeq Azad 1edff9d8ae build-support/agda: Keep passthru in mkDerivation
2025-11-27 09:00:28 -05:00
..
default.nix build-support/agda: Keep passthru in mkDerivation 2025-11-27 09:00:28 -05:00
lib.nix agdaPackages: switch to --build-library 2025-07-16 12:21:39 +02:00