MD5 (GiNaC-0.8.2.tar.bz2) = 51b8a7cdb2bcb15799427c200939ebb8