Directory listing for /.codesphere-internal/nix-home/.nix-defexpr/channels/nixpkgs/pkgs/development/libraries/agda/agda2hs-base/

• default.nix