5|sci-mathematics/cipi|cipi-1.0.ebuild|http://github.com/tom111/cipi|https://github.com/tom111/cipi|tom111@gmx.de:sci-mathematics@gentoo.org
5|sci-mathematics/frama-c|frama-c-20140301.ebuild|http://frama-c.com|https://frama-c.com|sci-mathematics@gentoo.org
5|sci-mathematics/gap|gap-4.4.12.ebuild|http://www.gap-system.org/|https://www.gap-system.org/|A.G.Grozin@inp.nsk.su:sci-mathematics@gentoo.org
5|sci-mathematics/ufc|ufc-1.4.2.ebuild|http://launchpad.net/ufc|https://launchpad.net/ufc|sci-mathematics@gentoo.org