Control: tags -1 + confirmed

homebrewn GCC version detection, search with: fgrep -r GCC_MAJOR .

didn't check if these are all.

there is an upstream 6.02 release upstream, released June 2015. Maybe an update
is needed ...

-- 
debian-science-maintainers mailing list
[email protected]
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers

Reply via email to