This Debian server was mentioned earlier today (Thursday, local time) on the list. Is this the same as what the Ubuntu PPA would do, provide already compiled packages, ready to install on a Debian system? Thanks in advance.