-
8f80f3f2
by Stephane Glondu
at 2021-11-23T10:21:35+01:00
Update debian/watch
-
f5f1014f
by Stephane Glondu
at 2021-11-23T10:21:58+01:00
New upstream version 1.4.0
-
0fe61915
by Stephane Glondu
at 2021-11-23T10:22:17+01:00
Update upstream source from tag 'upstream/1.4.0'
Update to upstream version '1.4.0'
with Debian dir b3a5e7b817a6ed2aa12e3d7ea98b75e76e3018e3
-
0d2cfdc8
by Stephane Glondu
at 2021-11-23T10:22:23+01:00
New upstream release
-
3f88d14b
by Stephane Glondu
at 2021-11-23T10:26:46+01:00
Refresh patches
-
af473a65
by Stephane Glondu
at 2021-11-23T14:24:36+01:00
Add support for Coq 8.14
-
19f67cc2
by Stephane Glondu
at 2021-11-23T14:25:11+01:00
Update packaging
-
abfa9a14
by Stephane Glondu
at 2021-11-23T14:26:28+01:00
Update changelog and prepare upload to unstable
-
5893051b
by Stephane Glondu
at 2021-11-24T08:49:23+01:00
Fix autopkgtests
-
02238e23
by Stephane Glondu
at 2021-11-24T08:50:42+01:00
Update changelog and prepare upload to unstable