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
