-
9b861b45
by Stephane Glondu
at 2019-08-20T01:46:00Z
New upstream version 8.9.1
-
f36a7348
by Stephane Glondu
at 2019-08-20T01:46:30Z
Update upstream source from tag 'upstream/8.9.1'
Update to upstream version '8.9.1'
with Debian dir ec937b4a5394ea683991a9e0a2d1886cfb5f9f50
-
a9b50513
by Stephane Glondu
at 2019-08-20T01:47:59Z
Update changelog
-
1eb5d111
by Stephane Glondu
at 2019-08-20T01:50:19Z
Refresh patches
-
a9c0e311
by Stephane Glondu
at 2019-08-20T01:55:37Z
Update debian/README.source
-
fd94a879
by Stephane Glondu
at 2019-08-20T01:56:18Z
Remove debian/source/local-options
-
aa2b976f
by Stephane Glondu
at 2019-08-20T02:24:54Z
Update COQ_VERSION in debian/rules
-
978e8789
by Stephane Glondu
at 2019-08-20T02:25:06Z
Remove trailing whitespace
-
2759093a
by Stephane Glondu
at 2019-08-20T03:08:30Z
Bump Standards-Version to 4.4.0
-
b02fc037
by Stephane Glondu
at 2019-08-20T03:08:54Z
Update changelog
-
ee559d60
by Stephane Glondu
at 2019-08-20T03:09:51Z
Prepare upload to unstable