Newsgroups:  gmane.linux.debian.user
Date:        Fri, 29 Jul 2005 20:59:33 -0700 (PDT)

> http://debianplanet.com/node.php?id=880[]

Oh my. There might be some good advice there, but I sure didn't see any.

> How do you guys downgrade? Are there sleek tools out there that can handle
> this job better?

I've set /etc/apt/preferences to:

Package: *
Pin: release a=stable
Pin-Priority: 1001

and then did "apt-get dist-upgrade" to back out of a mess. Thought it worked rather well. Good luck!

James Vahn