5|404|dev-python/symengine|symengine-9999|https://github.com/sympy/symengine.py|mschu.dev@gmail.com:sci-mathematics@gentoo.org|720760
5|000|sci-libs/lwpr|lwpr-1.2.5|http://www.ipab.inf.ed.ac.uk/slmc/software/lwpr/|sci-mathematics@gentoo.org|288032
5|000|sci-mathematics/acl2|acl2-7.1|http://www.cs.utexas.edu/users/moore/acl2/|dongxuli2011@gmail.com:sci-mathematics@gentoo.org|755368
5|308|sci-mathematics/alt-ergo|alt-ergo-0.95.2|http://alt-ergo.ocamlpro.com|sci-mathematics@gentoo.org|769332
5|000|sci-mathematics/axiom|axiom-201408|http://axiom.axiom-developer.org/|sci-mathematics@gentoo.org
5|000|sci-mathematics/netgen|netgen-4.9.13|http://www.hpfem.jku.at/netgen/|sci-mathematics@gentoo.org|670050:688120:155424:502962:756214
5|000|sci-mathematics/netgen|netgen-5.0.0|http://www.hpfem.jku.at/netgen/|sci-mathematics@gentoo.org|670050:688120:155424:502962:756214
6|000|sci-mathematics/netgen|netgen-5.3.1|http://www.hpfem.jku.at/netgen/|sci-mathematics@gentoo.org|670050:688120:155424:502962:756214
5|000|sci-mathematics/pff|pff-8.4|http://lipforge.ens-lyon.fr/www/pff/|sci-mathematics@gentoo.org|259479:755380