Topic: Another one stuck at "Step 1 of 3: Downloading source code history (Failed)"
It's the coq project this time.
Is it just me, or does your software just give up forever after a failed update? Would it not make sense to add the repository at the end of the queue of repositories to check for updates?