catch2 (3.4.0-1.1~fenics1~jammy1) jammy; urgency=medium * Non-maintainer upload. * provide catch2 v3 for FEniCS PPA -- Drew Parsons <email address hidden> Thu, 02 Nov 2023 20:30:14 +0100