packages.debian.org seems to be down

[Harald Dunkel]

Hi folks,

is it just me, or is https://packages.debian.org/ down? I had a
similar problem yesterday morning.

Regards

Harri