Package: ppl Followup-For: Bug #670025 CREDITS.gz should not vary anymore with gzip >= 1.4-5, http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=647522 for the whole story.