camlp5 (6.11+dfsg-3) unstable; urgency=medium * Repackage upstream tarball to remove non-free W3C icons (Closes: #735341) -- Stéphane Glondu <email address hidden> Sat, 18 Jan 2014 11:46:03 +0100