=> Bootstrap dependency digest>=20010302: found digest-20111104
=> Checksum SHA1 OK for frama-c-Nitrogen-20111001.tar.gz
=> Checksum RMD160 OK for frama-c-Nitrogen-20111001.tar.gz