SHA256 (cbmc-5.5.tar.gz) = dI29/jf7kbJ1X96qYdIKoLOhjfGE1r5uwoPn8kklN9k=
SHA256 (minisat2_2.2.1.orig.tar.gz) = 5Ur6PBksF1O8gHXAx+Em1cSV2QZuP5CiWICRFJrJykA=
SIZE (cbmc-5.5.tar.gz) = 5274814
SIZE (minisat2_2.2.1.orig.tar.gz) = 44229