Run of fresh-releases for alt-ergo

Try this locally (using silver-platter):

debian-svp new-upstream alt-ergo 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
Opening branch at https://salsa.debian.org/ocaml-team/alt-ergo.git/,branch=master
Using cached branch https://janitor.debian.net/git/alt-ergo/,branch=master
Total 12 (delta 7), reused 0 (delta 0), pack-reused 0
archive/debian/2.0.0-7 does not point to a valid object
All changes applied successfully.
Using upstream branch https://github.com/OCamlPro/alt-ergo.git (from configuration)
Total 6147 (delta 22), reused 23 (delta 9), pack-reused 6094
Using version string 2.3.3.
No upstream upstream-revision format specified, trying tag:2.0.0
Not including upstream history, since previous upstream version (2.0.0) is not present in packaging branch history.
Using uscan to look for the upstream tarball.
Imported alt-ergo_2.3.3.orig.tar.gz with pristine-tar.
Text conflict in sources/doc/gtk-lang
Text conflict in sources/doc
Text conflict in sources/examples/invalid
Text conflict in sources/examples/valid
4 conflicts encountered.
Worker failed (upstream-merged-conflicts): Merging upstream version 2.3.3 resulted in conflicts.
Elapsed time: 0:01:54.479885

Summary

Upstream version: 2.3.3.

Full worker log