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

[racket-users] bad response from server

2020-03-02 Thread Hendrik Boom
When trying to u[dat catalog I get a message get-all-pkg-details-from-catalogs: bad response from server url: https://www.cs.utah.edu/plt/snapshots/20190720-93f4c9226b/catalog/pkgs-all?version=7.4.0.1 response: #f (for-loop . #(struct:srcloc # 299 2 11021 1759)) (for-loop . #(struct:sr