[INFO] fetching crate prusti-contracts-proc-macros 0.2.0...
[INFO] checking prusti-contracts-proc-macros-0.2.0 against master#fd17deacce374a4185c882795be162e17b557050 for pr-138001
[INFO] extracting crate prusti-contracts-proc-macros 0.2.0 into /workspace/builds/worker-7-tc1/source


unable to download prusti-contracts-proc-macros version 0.2.0

Caused by:
    unexpected end of file