Please replace PKG with xmlada as this documentation is shared by most
Adacore packages.

Three versioning schemes are involved.
* Commercial non GPL releases are numbered MAJOR.MINOR on Adacore
  website.
* Development builds between MAJOR.MINOR and NEXTMAJOR.NEXTMINOR
  releases are numbered NEXTMAJOR.NEXTMINORw (w as wavefront).
* Every year, a tarball is distributed on http://libre.adacore.com
  with the current year as version number, and every header stripped
  from the paragraph granting the GCC Runtime Library Exception.
* Each Debian package is based on a GPL release, but numbered
  MAJOR.MINOR.YEAR in order to ease comparison with other versions.

Upstream history is visible on GitHub at https://github.com/AdaCore/PKG.
The version number is always visible in first line of ./configure.in.
Each commercial release is tagged PKG-MAJOR.MINOR.
Each GPL release is prepared in a branch named gpl-$YEAR.

When packaging a new version for Debian:

Download GPL release pristine archive.
# uscan --no-symlink
Repackage it without generated files and name it after the GitHub history.
# mk-origtargz --repack --compression=xz --version=MAJOR.MINOR.YEAR ../PKG-gpl-YEAR-src.tar.gz

The monotone repository at www.ada-france.org once used to track GPL
versions from the public part of the upstream CVS repository in a
branch named com.adacore.PKG, and the repackaged sources in a
branch named com.adacore.PKG.debian, but this seems redundant with
the public git repository now.

 -- Nicolas Boulenguez <nicolas@debian.org>, Sun, 19 Feb 2017 13:34:31 +0100
