debian/2010.06.06-1

rbrito@ime.usp.br

6777d4ce · Imported Debian patch 2010.06.06-1 · Jun 18, 2011

Debian release 2010.06.06-1