gap-congruence (1.2.5-2) unstable; urgency=medium * Aligned with gap2deb output * Improved test failure detection -- Joachim Zobel <email address hidden> Wed, 01 Nov 2023 13:33:51 +0100