Directory listing for /.codesphere-internal/nix-home/.nix-defexpr/channels/nixpkgs/pkgs/by-name/te/tetex/

• clang.patch
• environment.patch
• extramembot.patch
• getline.patch
• package.nix
• setup-hook.sh