Hi, On Fri, Jul 14, 2017 at 04:21:57PM +0200, Pino Toscano wrote: > On Friday, 14 July 2017 16:04:37 CEST Guido Günther wrote: > > Hi, > > On Fri, Jul 14, 2017 at 02:30:28PM +0200, Pino Toscano wrote: > > > Point to the latest release of Debian 7. > > > --- > > > data/os/debian.org/debian-7.xml.in | 4 ++-- > > > 1 file changed, 2 insertions(+), 2 deletions(-) > > > > > > diff --git a/data/os/debian.org/debian-7.xml.in b/data/os/debian.org/debian-7.xml.in > > > index 0afe388..8c2d4ca 100644 > > > --- a/data/os/debian.org/debian-7.xml.in > > > +++ b/data/os/debian.org/debian-7.xml.in > > > @@ -39,7 +39,7 @@ > > > </resources> > > > > > > <media arch="i686"> > > > - <url>http://cdimage.debian.org/mirror/cdimage/archive/7.9.0/i386/iso-dvd/debian-7.9.0-i386-DVD-1.iso</url> > > > + <url>http://cdimage.debian.org/mirror/cdimage/archive/7.11.0/i386/iso-dvd/debian-7.11.0-i386-DVD-1.iso</url> > > > <iso> > > > <volume-id>Debian 7.\d.\d i386 1</volume-id> > > > </iso> > > > @@ -47,7 +47,7 @@ > > > <initrd>install.386/initrd.gz</initrd> > > > </media> > > > <media arch="x86_64"> > > > - <url>http://cdimage.debian.org/mirror/cdimage/archive/7.9.0/amd64/iso-dvd/debian-7.9.0-amd64-DVD-1.iso</url> > > > + <url>http://cdimage.debian.org/mirror/cdimage/archive/7.11.0/amd64/iso-dvd/debian-7.11.0-amd64-DVD-1.iso</url> > > > <iso> > > > <volume-id>Debian 7.\d.\d amd64 1</volume-id> > > > </iso> > > > > While the old links are still valid it's nicer to use the last point > > release. ACK. > > Actually, the old links are not valid -- only the latest version of a > stable series has media available. For oldstable (Debian 8) the point releases have media back to 8.4 so there seems to be more than one version around. Weird. I've just pushed this patch. -- Guido _______________________________________________ Libosinfo mailing list Libosinfo@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/libosinfo