On 11.02.20 10:02, Roman Haefeli wrote:
On Tue, 2020-02-11 at 00:18 -0800, Alexandre Torres Porres wrote:
that's it, can't download from deken and stuff xheers
I don't know how you came up with the bogus domain name, but indeed the website https://puredata.info/ is currently unreachable (503 Service unavailable).
indeed. yesterday the VM that runs puredata.info was hibernated for a reboot of the hosting server, and the VM did not wake up again.
fixed now. thanks for reporting.
fgmasdr IOhannes
PS: i'm also hanging around on #freenode, sometimes i might be answering things faster over there (sometimes not; but if you are desparate you can try more channels to reach out; this is esp. true if e.g. the mailinglist goes down along with the community portal...)