#1412 Document one-to-many replacement.
Merged by james. Opened by rombobeorn.
rombobeorn/packaging-committee master  into  master

Download 1412.patch

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.

rebased onto 8193c85b4e9d0912d303223a39bc6fbd0b65999f

Pull-Request has been merged by james

Metadata