1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
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 <ballombe@debian.org> 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 <ballombe@debian.org> 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 <ballombe@debian.org> 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 <ballombe@debian.org> Thu, 27 Mar 2014 20:33:50 +0100
|
