mathcomp-finmap abi-transition
From
julien.puydt@gmail.com@21:1/5 to
All on Tue Jul 19 18:00:01 2022
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
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)