Processed: Re: Bug#791049: givaro: library transition may be needed when GCC 5 is the default

Debian Bug Tracking System owner at bugs.debian.org
Wed Aug 12 06:42:06 UTC 2015


Processing control commands:

> severity -1 serious
Bug #791049 [src:givaro] givaro: library transition may be needed when GCC 5 is the default
Severity set to 'serious' from 'important'
> tag -1 confirmed
Bug #791049 [src:givaro] givaro: library transition may be needed when GCC 5 is the default
Added tag(s) confirmed.

-- 
791049: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=791049
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems



More information about the debian-science-maintainers mailing list