camlp5 (7.01-1) unstable; urgency=medium * New upstream release * Bump debhelper compat to 10 * Bump Standards-Version to 4.0.0 * Update Homepage and watch to github -- Stéphane Glondu <email address hidden> Thu, 13 Jul 2017 04:46:34 +0200