Re: [racket-users] bad response from server

2020-03-03 Thread Hendrik Boom
On Mon, Mar 02, 2020 at 12:54:41PM -0700, Matthew Flatt wrote: > A snapshot catalog only lasts for a limited time, and v7.4.0.1 was a > very long time ago in snapshot terms. I see. That's what I suspected. > > So, the short answer is to upgrade to a new snapshot --- or switch to a > release, whi

Re: [racket-users] bad response from server

2020-03-02 Thread Matthew Flatt
A snapshot catalog only lasts for a limited time, and v7.4.0.1 was a very long time ago in snapshot terms. So, the short answer is to upgrade to a new snapshot --- or switch to a release, which doesn't time out. At Mon, 2 Mar 2020 14:46:25 -0500, Hendrik Boom wrote: > When trying to u[dat catalog