[INFO] fetching crate smtlib-build-util 0.1.8...
[INFO] checking smtlib-build-util-0.1.8 against master#40daf23eeb711dadf140b2536e67e3ff4c999196 for pr-142287
[INFO] extracting crate smtlib-build-util 0.1.8 into /workspace/builds/worker-1-tc1/source


unable to download smtlib-build-util version 0.1.8

Caused by:
    unexpected end of file