Processed: reassign bugs from gnat-6 to gnat-7

Processing commands for cont...@bugs.debian.org: > reassign 244936 gnat-7 7.1.0-7 Bug #244936 [gnat-6] Legal program rejected, RM 8.2(22) Bug reassigned from package 'gnat-6' to 'gnat-7'. No longer marked as found in versions gcc-6/6.1.1-10. Ignoring request to alter fixed versions of bug #244936

Processed: fixed in gnat-7

Processing control commands: > retitle -1 [fixed in gnat-7] gnat-5 tools linked statically when built with > DEB_BUILD_OPTIONS=parallel=1 Bug #806760 [gnat-5] gnat-5 tools linked statically when built with DEB_BUILD_OPTIONS=parallel=1 Changed Bug title to '[fixed in gnat-7] gnat-5 tools linked s

Bug#806760: fixed in gnat-7

Package: gnat-5 Followup-For: Bug #806760 Control: retitle -1 [fixed in gnat-7] gnat-5 tools linked statically when built with DEB_BUILD_OPTIONS=parallel=1 Hello. The build process for gnat tools has changed a lot in gnat-7. The logs show that they now link dynamically (except the gcc driver, but

Bug#866029: gnat-7: support for SOURCE_DATE_EPOCH triggers unneeded recompilations

Package: gnat-7 Severity: minor Hello. The fix for #856042 lets gnat write a fake time stamp into the .ali file when an Ada source is more recent than SOURCE_DATE_EPOCH. If another source depending on this one is later compiled with gnatmake, gnatmake will (sensibly) conclude that the dependency

Results for 6.3.0 20170618 (Debian 6.3.0-19) testsuite on arm-unknown-linux-gnueabi

LAST_UPDATED: Sun Jun 18 14:12:34 UTC 2017 (revision 249347) Native configuration is arm-unknown-linux-gnueabi === boehm-gc tests === Running target unix === boehm-gc Summary === # of expected passes12 # of unsupported tests 1

Bug#856274: removal of ada-gcc-name patch causes build failures for non default gnat builds

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.