[INFO] fetching crate formal_spec 0.0.1...
[INFO] checking formal_spec-0.0.1 against try#a3dffdb3a32d0dedc198f9de7d43173f3eb6727b for pr-136303
[INFO] extracting crate formal_spec 0.0.1 into /workspace/builds/worker-6-tc2/source
[INFO] checking formal_spec-0.0.1 against try#a3dffdb3a32d0dedc198f9de7d43173f3eb6727b for pr-136303
[INFO] extracting crate formal_spec 0.0.1 into /workspace/builds/worker-6-tc2/source
[INFO] checking formal_spec-0.0.1 against try#a3dffdb3a32d0dedc198f9de7d43173f3eb6727b for pr-136303
[INFO] extracting crate formal_spec 0.0.1 into /workspace/builds/worker-6-tc2/source
[INFO] checking formal_spec-0.0.1 against try#a3dffdb3a32d0dedc198f9de7d43173f3eb6727b for pr-136303
[INFO] extracting crate formal_spec 0.0.1 into /workspace/builds/worker-6-tc2/source
[INFO] checking formal_spec-0.0.1 against try#a3dffdb3a32d0dedc198f9de7d43173f3eb6727b for pr-136303
[INFO] extracting crate formal_spec 0.0.1 into /workspace/builds/worker-6-tc2/source


unable to download formal_spec version 0.0.1

Caused by:
    unexpected end of file