Directory listing for /.codesphere-internal/nix-home/.nix-defexpr/channels/nixpkgs/nixos/tests/agda/

• base.nix
• default.nix
• files/
• override-with-backend.nix