Upstream version control system at https://github.com/AdaCore/gps
provides traditional MAJOR.MINOR versions as git tags and tarballs.
The permissive license visible there is intended for commercial use.

Debian redistributes the GPL-3+ releases, available
* either as tarballs at https://libre.adacore.com
  The watch file uses this URL, via a Debian redirector to circumvent
  the dynamic HTML rendering.
* or as git branches (not tags) named gpl-YEAR in the VCS.
  The content of a branch may evolve with time, and we want reproducible
  archives. Moreover, the source headers contain the wrong license.

Once the watch file has been used in the usual way, the archive is
manually renamed with version MAJOR.MINOR.YEAR so that comparison with
commercial versions makes sense.

According to the VCS, GPL-2017 seems somewhere after 17.0. You
may recreate it with
# uscan
# mv ../libaws_YEAR.orig.tar.xz ../libaws_MAJOR.MINOR.YEAR.orig.tar.xz

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.

Branches "com.adacore.gps" and "com.adacore.gps.debian" used to track
pristine and repackaged upstream tarballs, but are not needed anymore.

 -- Nicolas Boulenguez <nicolas@debian.org>, Sun, 22 Oct 2017 19:21:54 +0200
