This documentation is shared by most Adacore packages.
Please replace PKG with gprbuild.

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.

Debian packages are based on GPL releases.
The (upstream part of) the source version is 20YY (for historical reasons).
ALI and SO binary package versions as described in the Debian Ada
policy are consecutive integers (since 2018).
They are almost unrelated with upstream releases.

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.

Repackage it without generated files.
# mk-origtargz --repack --compression=xz --version=YY ../PKG-gpl-YYYY-src.tar.gz

 -- Nicolas Boulenguez <nicolas@debian.org>, Mon,  7 May 2018 17:52:58 +0200
