It seems to be undocumented how an upgrade path can be provided when a package is split. Working on the Gnatcoll packages, we had to figure this out by taking hints from others' packages and bug reports, and experiment to determine how it works. I wrote it down to spare others the work.
It seems to be undocumented how an upgrade path can be provided when a package is split. Working on the Gnatcoll packages, we had to figure this out by taking hints from others' packages and bug reports, and experiment to determine how it works. I wrote it down to spare others the work.