On Thu, Feb 4, 2016, at 10:48 AM, Patrick R McDonald wrote: > * known bug in recent Debian packaging: > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=811392 I alerted the Debian maintainer for foolscap on this bug two days ago and he uploaded a fixed package yesterday. -- Ramakrishnan