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 debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
