MD5 (GiNaC-1.0.12.tar.bz2) = f74defe07b9e029c4dd0d6a64abd2b0c