8|dev-python/cysignals|cysignals-1.11.4.ebuild|LGPL-3+|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/gappalib-coq|gappalib-coq-1.5.2-r1.ebuild|LGPL-3+|sci-mathematics@gentoo.org
8|sci-mathematics/gappalib-coq|gappalib-coq-1.5.3.ebuild|LGPL-3+|sci-mathematics@gentoo.org
8|sci-mathematics/libpoly|libpoly-0.1.11.ebuild|LGPL-3+|sci-mathematics@gentoo.org