=> Bootstrap dependency digest>=20010302: found digest-20190127 => Checksum SHA1 OK for frama-c-Phosphorus-20170501.tar.gz => Checksum RMD160 OK for frama-c-Phosphorus-20170501.tar.gz => Checksum SHA512 OK for frama-c-Phosphorus-20170501.tar.gz