Hi,
In order to have all the debian packages that should be installed
for the new Savannah in addition to the woody, I'll create a repository in
/usr/local/debian on savannah.gnu.org. This repository will be available
at savannah.gnu.org/debian for inclusion in sources.list.
Please let me know if you think it's a bad idea for some reason.
Cheers,
--
Loic Dachary http://www.dachary.org/ [EMAIL PROTECTED]
12 bd Magenta http://www.senga.org/ [EMAIL PROTECTED]
75010 Paris T: 33 1 42 45 07 97 [EMAIL PROTECTED]
GPG Public Key: http://www.dachary.org/loic/gpg.txt