[INFO] fetching crate smtlib-build-util 0.1.8...
[INFO] checking smtlib-build-util-0.1.8 against master#f21fbac535ab2c3bc50db20547f4d48477357103 for pr-143193
[INFO] extracting crate smtlib-build-util 0.1.8 into /workspace/builds/worker-6-tc1/source


unable to download smtlib-build-util version 0.1.8

Caused by:
    unexpected end of file