mathcomp-finmap abi-transition

[julien.puydt@gmail.com]

Hi,

the Coq-related packages have a habit of breaking their ABI with almost
each upload, and until recently that meant broken user configurations:
installed packages stopped working because somewhere down the line one
of them got a new dress.

A few weeks ago, I wrote dh-coq, which made it possible to add more
fine-grained Depends/Provides, so that user configurations wouldn't
break anymore. All Coq-related packages now to this, so users are safe.

Now comes the time of the first transition using this.

In testing+unstable we have src:mathcomp-finmap 1.5.1-9 providing
libcoq-mathcomp-finmap-urdf7, and I updated its salsa repo to 1.5.2-1,
now providing libcoq-mathcomp-finmap-vlib9. When I'll upload it, all
packages needing libcoq-mathcomp-finmap will be uninstallable.

I have a little script that tells me the following packages will need
to be rebuilt when that happens, in that order:

mathcomp-finmap
mathcomp-analysis mathcomp-multinomials
coqeal

(the lines are meaningful: same line means parallel build is possible)

I think the following ben script is correct:

Affected: .build-depends ~ /libcoq-mathcomp-finmap/
Good: .depends ~ /libcoq-mathcomp-finmap-vlib9/
Bad: .depends ~ /libcoq-mathcomp-finmap-urdf7/

It's only partially good because:
1) it only describes what happens from the first line above to the
second one, but not the third.
2) the urdf7 vs vlib9 is for amd64 only, so the only universally-good
information is the rebuild order.

Do you have enough information? If so, just tell me when to upload the
new src package version...

Cheers,

J.Puydt