gb gnat-gps_5.0-11 . armhf

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

Hello,

Following instructions at [1] I hereby request that gnat-gps be
rebuilt on armhf.  The buildd killed the build midway because it
was taking too long for its taste.  This is a big package, taking
between 9 and 10 hours to build, but is OK otherwise.  Therefore,
if possible, please choose a buildd machine with several cores,
lots of physical memory and no hardcoded time limit on builds.

This will allow the package to migrate to testing tomorrow if all
goes well.

 gb gnat-gps_5.0-11 . armhf

Thanks.

[1] http://release.debian.org/wanna-build.txt

--
Ludovic Brenta.