• 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)