Processed: update status
Processing commands for control@bugs.debian.org:
> reassign 717014 gnat-7 7.3.0-25
Bug #717014 [gnat-7.3.0-25] on some archs, a library using Elementary_Functions needs -lm
Warning: Unknown package 'gnat-7.3.0-25'
Bug reassigned from package 'gnat-7.3.0-25' to 'gnat-7'.
Ignoring request to alter found versions of bug #717014 to the same values previously set
Ignoring request to alter fixed versions of bug #717014 to the same values previously set
Bug #717014 [gnat-7] on some archs, a library using Elementary_Functions needs -lm
Marked as found in versions gcc-7/7.3.0-25.
> reassign 760211 gnat-7 7.3.0-25
Bug #760211 [gnat-7.3.0-25] on some archs, a library using Task_Attributes needs -lpthread
Warning: Unknown package 'gnat-7.3.0-25'
Bug reassigned from package 'gnat-7.3.0-25' to 'gnat-7'.
Ignoring request to alter found versions of bug #760211 to the same values previously set
Ignoring request to alter fixed versions of bug #760211 to the same values previously set
Bug #760211 [gnat-7] on some archs, a library using Task_Attributes needs -lpthread
Marked as found in versions gcc-7/7.3.0-25.
>
End of message, stopping processing here.
Please contact me if you need assistance.
--
717014: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=717014
760211: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=760211
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: