Run of fresh-snapshots for mathcomp-finmap

Merge these changes:

git pull https://janitor.debian.net/git/mathcomp-finmap fresh-snapshots/main
git pull https://janitor.debian.net/git/mathcomp-finmap fresh-snapshots/pristine-tar
git pull https://janitor.debian.net/git/mathcomp-finmap fresh-snapshots/upstream

Summary

Merged new upstream version: 1.5.1+git20220419.1.17da86b (was: 1.5.1).

Diff

Branch: main

Diff is too long (more than 200 lines). Download the raw diff.

Branch: pristine-tar

diff --git a/mathcomp-finmap_1.5.1+git20220419.1.17da86b.orig.tar.gz.delta b/mathcomp-finmap_1.5.1+git20220419.1.17da86b.orig.tar.gz.delta
new file mode 100644
index 0000000..912ecbf
Binary files /dev/null and b/mathcomp-finmap_1.5.1+git20220419.1.17da86b.orig.tar.gz.delta differ
diff --git a/mathcomp-finmap_1.5.1+git20220419.1.17da86b.orig.tar.gz.id b/mathcomp-finmap_1.5.1+git20220419.1.17da86b.orig.tar.gz.id
new file mode 100644
index 0000000..7a51465
--- /dev/null
+++ b/mathcomp-finmap_1.5.1+git20220419.1.17da86b.orig.tar.gz.id
@@ -0,0 +1 @@
+0afba672328ddfdbbdf89591dcb48018d3d20166

Branch: upstream

Tag: upstream/1.5.1+git20220419.1.17da86b

Diff is too long (more than 200 lines). Download the raw diff.

Publish Blockers

  • ☑ run was successful
  • ☑ package has not been removed from the archive
  • ☑ command has not changed
  • ☒ not yet reviewed, but review needed
  • ☑ 0 publish attempts so far.not currently attempting to back off
  • ☒ merge proposals for the package maintainer are currently being rate-limited (open: 158, max open: 150)
  • ☑ change set 3e119aec-6ea8-48ed-9ccf-f427a4c3c072 is ready

Resulting package

The resulting binary packages can be installed (if you have the apt repository enabled) by running one of:

apt install -t fresh-snapshots libcoq-mathcomp-finmap

Lintian Result

Full worker log Full build log