Package: gnat-5,gnat-6,gnat-7 Followup-For: Bug #856274 On gnat-7/7.1.0-7, the work-around has no effect. ARCH-gcc-7-7 is searched but not found.
- Bug#856274: removal of ada-gcc-name patch cause... Matthias Klose
- Bug#856274: removal of ada-gcc-name patch ... Svante Signell
- Bug#856274: removal of ada-gcc-name pa... Matthias Klose
- Processed: gnat-BV: gnatchop attempts to e... Debian Bug Tracking System
- Bug#856274: removal of ada-gcc-name patch ... Nicolas Boulenguez
- Bug#856274: removal of ada-gcc-name patch ... Nicolas Boulenguez
- Bug#856274: removal of ada-gcc-name patch ... Nicolas Boulenguez
- Bug#856274: removal of ada-gcc-name pa... Matthias Klose
- Bug#856274: removal of ada-gcc-nam... Nicolas Boulenguez
- Bug#856274: removal of ada-gcc... Matthias Klose