8|sci-mathematics/coq|coq-8.19.0.ebuild|sci-mathematics@gentoo.org
8|sci-mathematics/coq|coq-8.19.1.ebuild|sci-mathematics@gentoo.org
8|sci-mathematics/flocq|flocq-4.1.0-r1.ebuild|sci-mathematics@gentoo.org
8|sci-mathematics/flocq|flocq-4.1.1.ebuild|sci-mathematics@gentoo.org
8|sci-mathematics/gappa|gappa-1.4.1.ebuild|sci-mathematics@gentoo.org
8|sci-mathematics/gappa|gappa-1.4.2.ebuild|sci-mathematics@gentoo.org
8|sci-mathematics/gappalib-coq|gappalib-coq-1.5.2-r1.ebuild|sci-mathematics@gentoo.org
8|sci-mathematics/gappalib-coq|gappalib-coq-1.5.3.ebuild|sci-mathematics@gentoo.org
8|sci-mathematics/giac|giac-1.9.0.29-r1.ebuild|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org
8|sci-mathematics/giac|giac-1.9.0.93.ebuild|mjo@gentoo.org:frp.bissey@gmail.com:proxy-maint@gentoo.org:sci-mathematics@gentoo.org