ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-09-29 00:27:49 +03:00
Code Issues Projects Releases Wiki Activity
65c41e1067
nixpkgs/pkgs/build-support/agda
History
ibbem b9343ad4c6 agda: Don't be too picky about everythingFile 
The `-path` test of `find` does string comparison, not path comparison.
Hence, the format of `everythingFile` needed to be very specific. Now,
it can be denormalized (e.g. it can contain `/./`) and an error is
emitted if the everything file or its interface file can't be removed.
2024-03-18 23:11:20 +01:00
..
default.nix agda: Don't be too picky about everythingFile 2024-03-18 23:11:20 +01:00
lib.nix agda: Don't be too picky about everythingFile 2024-03-18 23:11:20 +01:00