mjo@gentoo.org frp.bissey@gmail.com François Bissey proxy-maint@gentoo.org Proxy Maintainers linbox-team/givaro