Processed: update status of some bugs
Processing commands for control@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 owner@bugs.debian.org with problems
Reply to: