gap-autpgrp (1.10.2-2) unstable; urgency=medium * patch fix-makedoc: let relative reference to doc/ref to avoid undefined references. (Fix by Joachim Zobel). * debian/control: set Multi-Arch: foreign -- Bill Allombert Wed, 30 Sep 2020 13:12:50 +0200 gap-autpgrp (1.10.2-1) unstable; urgency=medium * New upstream release * patch doc-makefile: - set manual date to January 2020 - install manual.lab * debian/watch: - Move from https://www.gap-system.org/pub/gap to https://files.gap-system.org * debian/doc-base: use paths relative to /usr/share/doc * debian/control: - Bump Standards-Version to 4.5.0 - Build-Depends: debhelper-compat (= 12) * debian/compat: removed -- Bill Allombert Wed, 08 Apr 2020 19:08:11 +0200 gap-autpgrp (1.10-1) unstable; urgency=medium * New upstream release * patch doc-makefile: - set manual date to July 2018 * debian/control: - Bump Standards-Version to 4.2.1. * debian/rules, debian/control: - run the test suite - add Build-Depends on gap-pkg-smallgrp * debian/copyright: updated -- Bill Allombert Mon, 05 Nov 2018 20:58:40 +0100 gap-autpgrp (1.8-1) unstable; urgency=medium * New upstream release * patch doc-makefile: - install HTML doc correctly. - set manual date to 25/11/2016 * debian/rules: - use FORCE_SOURCE_DATE. Closes: #891050. * debian/copyright, debian/watch: - update URL from ftp to https. * doc/Makefile: fix HTML installation * debian/control: - Move to debhelper v9 - Bump Standards-Version to 4.1.3. -- Bill Allombert Fri, 23 Feb 2018 15:51:17 +0100 gap-autpgrp (1.5-2) unstable; urgency=low * doc/Makefile: - convert.pl: Set GAP_CONVERT_DATE - Use gzip --no-name * debian/watch: use option passive * debian/control: - Update Description. - Bump Standards-Version to 3.9.7. -- Bill Allombert Sun, 17 Apr 2016 15:50:33 +0200 gap-autpgrp (1.5-1) unstable; urgency=low * Initial Release. * This is part of the GAP system. -- Bill Allombert Thu, 27 Mar 2014 20:33:50 +0100