mirror is horribly out-of-date

The mirror has not synced in nearly 5 days. It is usually the fastest and most up-to-date United States mirror. I hope the maintainer of the mirror will see this and fix the issue.

1 Like

Sometimes I wonder if holidays can affect updates at *.edu mirrors.

The mirror is syncing normally again.