commit/gnu/packages/agda.scm?id=cdc82b2f6e89ee2817419fa6d46ece6d2e424919'>gnu: agda-cubical: Add source file-name....

Age	Commit message (Expand)	Author
2024-03-12	daemon: Address shortcoming in previous security fix for CVE-2024-27297....	Ludovic Courtès
2024-03-11	daemon: Protect against FD escape when building fixed-output derivations (CVE......	Ludovic Courtès
2023-12-17	daemon: Fix my own whitespace errors....	Tobias Geerinckx-Rice
2023-12-10	daemon: Sacrifice builders on OOM....	Tobias Geerinckx-Rice
2023-12-04	daemon: Simplify “empty status” substitute error message....	Ludovic Courtès
Efraim Flashner