> Just a quick note of thanks to you, Brent, for getting these into > Debian. > It would be really good to see PLT generating the Debian packages, but > the > other post looks like we're not going to see that :( If someone wants to build nightly binaries for us that we can snarf via http or ftp, I'm happy to put them up on the download server. -- Paul