moved to release
gnat-gps (18-5ubuntu1) disco; urgency=low * Merge from Debian unstable. Remaining changes: - Build with -O2 on ppc64el (avoiding a FTBFS). - debian/control: gnat-gps: Recommend gdb | gdb-minimal. gnat-gps (18-5) unstable; urgency=medium * Disable 32 bits builds, affected by #913371. The problem was hidden by some 64 bits chroot. -- Gianfranco Costamagna <email address hidden> Tue, 11 Dec 2018 22:05:04 +0100