zug (0.1.0-0build1~ubuntu22.04) jammy; urgency=medium * Upload to unstable. * update-catch2.diff: mention https://github.com/arximboldi/zug/pull/36 that will fix the issue in the long term. -- pandajim (key for lives deb) <email address hidden> Sun, 06 Aug 2023 22:04:48 +0200