AdaCore distributes several unrelated Ada libraries in the
libgnatcoll-bindings package.

The python library is ready for python3, but it is packaged only in
order to support gnat-gps, which is not. So both packages are unfit
for release until AdaCore updates gnat-gps.

Meanwhile, in order to allow other libraries to migrate to testing,
the python component will be packaged separately.

Until the split:
* The 'libgnatcoll-bindings' source package builds all libraries.
  Packaging is tracked in the 'debian/master' branch.

During the split.

* The 'libgnatcoll-bindings' source package builds all libraries but python.
  Packaging is tracked in the 'debian/nopython' branch.

* The 'libgnatcoll-python' source package produces the python library.
  Packaging is tracked in the 'debian/python' branch.

Both use the same upstream archive, under two different names.

The 'debian/master' branch builds all libraries. It is not intended
for upload, but as a common ancestor avoiding duplicate work and
making the merge easyer in due time.


This documentation is shared by most Adacore packages.
Please replace PKG with gnatcoll-bindings.
The Debian source package is named libgnatcoll-bindings.

Upstream use three versioning schemes.
* Commercial releases are numbered YY.MINOR,
  where YY contains the two last digits of the year (since 2017).
* Builds between 17.2 and 12.3 are numbered 12.3w (as wavefront).
* Every year, a GPL release without the GCC Runtime Library Exception
  is numbered as gpl-20YY.
There is no ordering implied between gpl-20YY and any YY.MINOR.
Upstream history is visible at https://github.com/AdaCore/PKG/network.
The version number is always visible in first line of ./configure.in.

When packaging a new version for Debian:

Download GPL release pristine archive from the Homepage URL field in
the control file.  Tracking upstream releases automatically is of
little interest, and quite hard as the website is modified each year.

Create a symbolic link with the name expected by Debian tools.
# mk-origtargz --version=YY ../PKG-gpl-YYYY-src.tar.gz

 -- Nicolas Boulenguez <nicolas@debian.org>, Wed,  1 Apr 2020 00:16:52 +0200
