SHA256 (cbmc-cbmc-6.7.1.tar.gz) = SGnCfCIbY0eLSpfV11vjHjw1R5emcPQioEBhNZe8mCA=
SHA256 (minisat2_2.2.1.orig.tar.gz) = 5Ur6PBksF1O8gHXAx+Em1cSV2QZuP5CiWICRFJrJykA=
SIZE (cbmc-cbmc-6.7.1.tar.gz) = 9155507
SIZE (minisat2_2.2.1.orig.tar.gz) = 44229
