-
6ed34c8e
by Stephane Glondu
at 2021-11-18T13:01:16+01:00
Update debian/watch
-
c60e7ab1
by Stephane Glondu
at 2021-11-18T13:01:34+01:00
New upstream version 1.2.1
-
0cbe9f7b
by Stephane Glondu
at 2021-11-18T13:01:34+01:00
Update upstream source from tag 'upstream/1.2.1'
Update to upstream version '1.2.1'
with Debian dir a79c8063ca29967b19d91a2bc93c966cb8823a50
-
dc88d6ba
by Stephane Glondu
at 2021-11-18T13:15:44+01:00
New upstream release
-
0456d32c
by Stephane Glondu
at 2021-11-18T13:26:00+01:00
Update packaging
-
ed27833e
by Stephane Glondu
at 2021-11-18T13:26:00+01:00
Use dune 2.7
-
f341af09
by Stephane Glondu
at 2021-11-18T13:26:00+01:00
Update changelog and prepare upload to unstable
-
08c67574
by Stephane Glondu
at 2021-11-18T13:30:44+01:00
Remove debian/source/local-options