7|dev-util/herdtools7|herdtools7-7.51.ebuild|CeCILL-B|chutzpah@gentoo.org
8|sci-libs/givaro|givaro-4.1.1-r3.ebuild|CeCILL-B|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org
8|sci-libs/givaro|givaro-4.2.0.ebuild|CeCILL-B|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org
8|sci-mathematics/coq-mathcomp|coq-mathcomp-1.19.0.ebuild|CeCILL-B|sci-mathematics@gentoo.org