Directory listing for /.codesphere-internal/nix/store/4fsaxffbala42sz17sj31rn87f96770y-nixpkgs/nixpkgs/nixos/tests/agda/

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