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