camlp5 (8.00.04-1) unstable; urgency=medium [ Stéphane Glondu ] * New upstream release [ Debian Janitor ] * Set upstream metadata fields -- Stéphane Glondu <email address hidden> Fri, 20 Jan 2023 12:45:20 +0100