I am trying to download TDE for both Debian and Ubuntu and I keep getting an error that the files arent found. Is it down again?