前日に引き続いて肌寒い一日。風も強い。
GMP 4.1.3 RC1がテストリリース。但し，MPFRのbugfixはユーザが自分でMPFR 2.0.3をインストールして直すしかないようである。ま，つなぎリリースなんだろう。