gap-congruence (1.2.4-1) unstable; urgency=medium * New upstream release * Removed patch makedoc-fix adapted by upstream -- Joachim Zobel Sun, 19 Jun 2022 16:19:17 +0200 gap-congruence (1.2.3-2) unstable; urgency=medium * Source-only upload to unstable -- Joachim Zobel Sat, 02 Oct 2021 11:44:12 +0200 gap-congruence (1.2.3-1) experimental; urgency=low * Initial release (Closes: #988410). * Created with gap2deb * Adapted doc/Makefile -- Joachim Zobel Mon, 14 Jun 2021 21:49:35 +0200