MD5 (GiNaC-1.0.10.tar.bz2) = 0efa24484c612705bc33e98d9595dea2