app-emacs/pariemacs|HttpsUrlAvailable|sci-mathematics@gentoo.org
media-fonts/jsmath-extra-dark|DeadUrl:HttpsUrlAvailable|sci-mathematics@gentoo.org
media-fonts/jsmath|HttpsUrlAvailable|sci-mathematics@gentoo.org
sci-libs/mpfi|DeadUrl:HttpsUrlAvailable|sci-mathematics@gentoo.org
sci-mathematics/frobby|HttpsUrlAvailable|sci-mathematics@gentoo.org
sci-mathematics/bertini|HttpsUrlAvailable|sci-mathematics@gentoo.org
sci-mathematics/cadical|HttpsUrlAvailable|sci-mathematics@gentoo.org
sci-mathematics/coq|HttpsUrlAvailable|sci-mathematics@gentoo.org
sci-mathematics/flocq|HttpsUrlAvailable|sci-mathematics@gentoo.org
sci-mathematics/ginac|HttpsUrlAvailable|grozin@gentoo.org:sci-mathematics@gentoo.org
sci-mathematics/metamath-databases|HttpsUrlAvailable|sci-mathematics@gentoo.org
sci-mathematics/kissat|HttpsUrlAvailable|sci-mathematics@gentoo.org
sci-mathematics/maxima|DeadUrl:HttpsUrlAvailable|grozin@gentoo.org:sci-mathematics@gentoo.org
sci-mathematics/geomview|DeadUrl:HttpsUrlAvailable:UnusedInherits:VariableOrderWrong|sci-mathematics@gentoo.org
sci-mathematics/opensmt|HttpsUrlAvailable|sci-mathematics@gentoo.org
sci-mathematics/euler|DeadUrl:HttpsUrlAvailable|sci-mathematics@gentoo.org
sci-mathematics/picosat|HttpsUrlAvailable|sci-mathematics@gentoo.org
sci-mathematics/fann|DeadUrl:EmptyGlobalAssignment:HttpsUrlAvailable:VariableOrderWrong|sci-mathematics@gentoo.org
sci-mathematics/smtinterpol|HttpsUrlAvailable|sci-mathematics@gentoo.org
sci-mathematics/nestedsums|HttpsUrlAvailable|grozin@gentoo.org:sci-mathematics@gentoo.org
sci-mathematics/metamath|HttpsUrlAvailable|sci-mathematics@gentoo.org
sci-mathematics/num-utils|DeadUrl:HttpsUrlAvailable|sci-mathematics@gentoo.org
sci-mathematics/prng|HttpsUrlAvailable|sci-mathematics@gentoo.org