The original student (on Windows 10) has confirmed they were able to install with raco on the shell, which further lends credence to the likelihood that the PM and raco are doing something differently.
(I have some other issues w/ the caching and how clearing out the trash doesn't seem to affect the cache, but I'll put that off for another day. <-;) On Thu, Sep 10, 2020 at 10:06 AM Philip McGrath <phi...@philipmcgrath.com> wrote: > Also, this is happening over encrypted HTTPS: no one is sniffing the > User-Agent header. > > My initial attempt to reproduce in the GUI package manager was foiled > because I’d first tried installing at the command line, and the package > manager used a cached copy of the repository. From Shriram’s update > last night, it sounds like the GUI package manager and “raco pkg” are doing > something differently. > > > -- > -Philip > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAJUf2yQTO5dN7yKjvGu_mR13cD2BdkAHLGj2DU7Xdyeo5Ww-RQ%40mail.gmail.com.
