Re: [racket-users] Package Server Update Status

2020-08-18 Thread Matthew Flatt
Something was wrong. The pkg-builder service stopped working a week ago due to network trouble. I rebooted it. Meanwhile, I now realize that I haven't been getting the service-status email that would have alerted me, because my department's SMTP configuration changed a week ago. That's now fixed,

Re: [racket-users] Package Server Update Status

2020-08-18 Thread Jens Axel Søgaard
Den tir. 18. aug. 2020 kl. 16.57 skrev Deren Dohoda : > Hi team, > > I notice on the very nice about page, > https://pkg-build.racket-lang.org/about.html, it does not give an > indication of when packages are rebuilt. I had a package that had doc > problems and conflicts that I resolved (the ol' m

[racket-users] Package Server Update Status

2020-08-18 Thread Deren Dohoda
Hi team, I notice on the very nice about page, https://pkg-build.racket-lang.org/about.html, it does not give an indication of when packages are rebuilt. I had a package that had doc problems and conflicts that I resolved (the ol' manual.scrbl curse). It appeared from me browsing information o