[INFO] fetching crate formal_spec 0.0.1...
[INFO] testing formal_spec-0.0.1 against beta-2025-09-21 for beta-1.91-2
[INFO] extracting crate formal_spec 0.0.1 into /workspace/builds/worker-6-tc2/source
[INFO] testing formal_spec-0.0.1 against beta-2025-09-21 for beta-1.91-2
[INFO] extracting crate formal_spec 0.0.1 into /workspace/builds/worker-6-tc2/source
[INFO] testing formal_spec-0.0.1 against beta-2025-09-21 for beta-1.91-2
[INFO] extracting crate formal_spec 0.0.1 into /workspace/builds/worker-6-tc2/source
[INFO] testing formal_spec-0.0.1 against beta-2025-09-21 for beta-1.91-2
[INFO] extracting crate formal_spec 0.0.1 into /workspace/builds/worker-6-tc2/source
[INFO] testing formal_spec-0.0.1 against beta-2025-09-21 for beta-1.91-2
[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