b000604618
while github backed out the major change that broke distfile fetching, they appear to not allow fetches from random junk filenames any more, they do need a matching file/tag name, so with previous the distfile couldn't be fetched.
5 lines
240 B
Plaintext
5 lines
240 B
Plaintext
SHA256 (cbmc-cbmc-5.5.tar.gz) = WpCpr4tTU4rAmDE32eN24uPDjYFYGieJAG8iNYsOnF4=
|
|
SHA256 (minisat2_2.2.1.orig.tar.gz) = 5Ur6PBksF1O8gHXAx+Em1cSV2QZuP5CiWICRFJrJykA=
|
|
SIZE (cbmc-cbmc-5.5.tar.gz) = 5274872
|
|
SIZE (minisat2_2.2.1.orig.tar.gz) = 44229
|