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

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 YY (since 2018).

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

As you may guess from the Debian control file, packaging history is
available via a Monotone server. The first
time you contact this server, monotone will show its key. You should
check that it matches f8a11727e8983cf9083c08c6a2acaa27e439dd39.

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>, Tue,  8 May 2018 20:02:23 +0200
