Mentions légales du service

Skip to content
deleted/r3892.2/mpfr-2-0-2-branch-tipdelete
default avatar
vincent@vinc17.net
36b7bbb6 · Ported bug fix / test in case a mpz_t == 0 (mpz_sizeinbase(0Z,2)==0 · 
Renamed branch mpfr-2-0-2-branch as 2.0.2.

[[Split portion of a mixed commit.]]

[From SVN r3892]