Processing commands for cont...@bugs.debian.org: > reassign 673772 gnat-8 Bug #673772 [gnat-5] asynchronous transfer of control with delay abort and syscalls not working Bug reassigned from package 'gnat-5' to 'gnat-8'. No longer marked as found in versions gcc-5/5.2.1-19. Ignoring request to alter fixed versions of bug #673772 to the same values previously set > retitle 806370 [fixed in gnat-6] gnat fails to build on mips64 Bug #806370 [src:gcc-5] [5/6 Regression] gnat fails to build on mips64 Changed Bug title to '[fixed in gnat-6] gnat fails to build on mips64' from '[5/6 Regression] gnat fails to build on mips64'. > # Fixed in gnat-6 according to https://gcc.gnu.org/PR65337. > reassign 717014 gnat-7.3.0-25 Bug #717014 [gnat-6] on some archs, a library using Elementary_Functions needs -lm Bug reassigned from package 'gnat-6' to 'gnat-7.3.0-25'. Warning: Unknown package 'gnat-7.3.0-25' Warning: Unknown package 'gnat-7.3.0-25' No longer marked as found in versions gcc-6/6.1.1-10. Warning: Unknown package 'gnat-7.3.0-25' Warning: Unknown package 'gnat-7.3.0-25' Ignoring request to alter fixed versions of bug #717014 to the same values previously set Warning: Unknown package 'gnat-7.3.0-25' > reassign 760211 gnat-7.3.0-25 Bug #760211 [gnat-6] on some archs, a library using Task_Attributes needs -lpthread Bug reassigned from package 'gnat-6' to 'gnat-7.3.0-25'. Warning: Unknown package 'gnat-7.3.0-25' Warning: Unknown package 'gnat-7.3.0-25' No longer marked as found in versions gcc-6/6.1.1-10. Warning: Unknown package 'gnat-7.3.0-25' Warning: Unknown package 'gnat-7.3.0-25' Ignoring request to alter fixed versions of bug #760211 to the same values previously set Warning: Unknown package 'gnat-7.3.0-25' > # Both reproductible on armel. > End of message, stopping processing here.
Please contact me if you need assistance. -- 673772: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=673772 717014: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=717014 760211: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=760211 806370: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=806370 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems