debian/20130622-1

rbrito@ime.usp.br

894a65ef · debian/changelog: Prepare for release. · Jul 07, 2013

parallel Debian release 20130622-1