Package: src:gnat-gps Version: 19.2-3 Tags: patch Please build again for 32bit archs, maybe limited to those where it can be built with 64bit kernels in Debian. Seems to build fine on armhf.
Plus add some minor patches - Don't insist on gdb-minimal - limit the parallel build on 32bit archs Patch at https://patches.ubuntu.com/g/gnat-gps/gnat-gps_19.2-3ubuntu2.patch