Thanks for reporting. It has been fixed, but the rebuild of the web
pages is still needed. It will happen in a few hours.
>>>>> On Thu, 23 May 2024 09:08:41 +0200, Stefano Pigozzi <m...@steffo.eu> said:
> This page seems to be listing an invalid download link for the 32-bit PC
DVD-1 iso.
> This link:
>
https://cdimage.debian.org/debian-cd/current/i386/iso-cd/debian-12.5.0-i386-DVD-1.iso
> Should instead be:
>
https://cdimage.debian.org/debian-cd/current/i386/iso-dvd/debian-12.5.0-i386-DVD-1.iso
--
best regards Thomas
