Package: ftp.debian.org Severity: normal gnat-gps (18-5) unstable; urgency=medium
* Disable 32 bits builds, affected by #913371.
The problem was hidden by some 64 bits chroot.
-- Nicolas Boulenguez <nico...@debian.org> Tue, 11 Dec 2018 14:43:22 +0100
