Discussion:
infradead.org seems to be down
Johannes Kliemann
2017-04-11 07:53:23 UTC
Permalink
Hi,

while trying to build Genode with dde_linux I noticed that the
connection to infradead.org timed out, so I'm not able to retrieve
https://www.infradead.org/~tgr/libnl/files/libnl-3.2.25.tar.gz

Is there any other source for this file?

JK
Boris Mulder
2017-04-11 07:57:26 UTC
Permalink
I temporarily got mine from https://github.com/thom311/libnl/. It seemed
to work, and I believe the hashes were the same, although I recommend
you verify that yourself too.

Maybe this can be changed in the makefile eventually.

Boris
Post by Johannes Kliemann
Hi,
while trying to build Genode with dde_linux I noticed that the
connection to infradead.org timed out, so I'm not able to retrieve
https://www.infradead.org/~tgr/libnl/files/libnl-3.2.25.tar.gz
Is there any other source for this file?
JK
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main
--
Met vriendelijke groet / kind regards,

Boris Mulder

Cyber Security Labs B.V. | Gooimeer 6-31 | 1411 DD Naarden | The Netherlands
+31 35 631 3253 (office)
Johannes Kliemann
2017-04-11 08:04:08 UTC
Permalink
Thanks, that also worked for me.
Post by Boris Mulder
I temporarily got mine from https://github.com/thom311/libnl/. It seemed
to work, and I believe the hashes were the same, although I recommend
you verify that yourself too.
Maybe this can be changed in the makefile eventually.
Boris
Post by Johannes Kliemann
Hi,
while trying to build Genode with dde_linux I noticed that the
connection to infradead.org timed out, so I'm not able to retrieve
https://www.infradead.org/~tgr/libnl/files/libnl-3.2.25.tar.gz
Is there any other source for this file?
JK
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main
Stefan Kalkowski
2017-04-11 08:16:11 UTC
Permalink
Hi,
Post by Boris Mulder
I temporarily got mine from https://github.com/thom311/libnl/. It seemed
to work, and I believe the hashes were the same, although I recommend
you verify that yourself too.
Maybe this can be changed in the makefile eventually.
we check the port-sources every night to detect dead links. Tonight the
dde-linux port check did not fail. Do you experienced the connection
problem just this morning or already for a longer time?
If it is a temporary problem only, I wouldn't change the port file yet.

Regards
Stefan
Post by Boris Mulder
Boris
Post by Johannes Kliemann
Hi,
while trying to build Genode with dde_linux I noticed that the
connection to infradead.org timed out, so I'm not able to retrieve
https://www.infradead.org/~tgr/libnl/files/libnl-3.2.25.tar.gz
Is there any other source for this file?
JK
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main
--
Stefan Kalkowski
Genode Labs

https://github.com/skalk · http://genode.org/
Boris Mulder
2017-04-11 08:19:55 UTC
Permalink
It could be that this is the case for an older version of Genode, I just
recalled that I had the same issue some time ago. Johannes, does this
occur with a newer version too?

And I didn't know you checked the links that often, so in that case I
would take back my statement.
Post by Stefan Kalkowski
Hi,
Post by Boris Mulder
I temporarily got mine from https://github.com/thom311/libnl/. It seemed
to work, and I believe the hashes were the same, although I recommend
you verify that yourself too.
Maybe this can be changed in the makefile eventually.
we check the port-sources every night to detect dead links. Tonight the
dde-linux port check did not fail. Do you experienced the connection
problem just this morning or already for a longer time?
If it is a temporary problem only, I wouldn't change the port file yet.
Regards
Stefan
Post by Boris Mulder
Boris
Post by Johannes Kliemann
Hi,
while trying to build Genode with dde_linux I noticed that the
connection to infradead.org timed out, so I'm not able to retrieve
https://www.infradead.org/~tgr/libnl/files/libnl-3.2.25.tar.gz
Is there any other source for this file?
JK
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main
--
Met vriendelijke groet / kind regards,

Boris Mulder

Cyber Security Labs B.V. | Gooimeer 6-31 | 1411 DD Naarden | The Netherlands
+31 35 631 3253 (office)
Johannes Kliemann
2017-04-11 08:42:09 UTC
Permalink
I just tried it with the current master which uses the same file and got
the same result.
Post by Boris Mulder
It could be that this is the case for an older version of Genode, I just
recalled that I had the same issue some time ago. Johannes, does this
occur with a newer version too?
And I didn't know you checked the links that often, so in that case I
would take back my statement.
Post by Stefan Kalkowski
Hi,
Post by Boris Mulder
I temporarily got mine from https://github.com/thom311/libnl/. It seemed
to work, and I believe the hashes were the same, although I recommend
you verify that yourself too.
Maybe this can be changed in the makefile eventually.
we check the port-sources every night to detect dead links. Tonight the
dde-linux port check did not fail. Do you experienced the connection
problem just this morning or already for a longer time?
If it is a temporary problem only, I wouldn't change the port file yet.
Regards
Stefan
Post by Boris Mulder
Boris
Post by Johannes Kliemann
Hi,
while trying to build Genode with dde_linux I noticed that the
connection to infradead.org timed out, so I'm not able to retrieve
https://www.infradead.org/~tgr/libnl/files/libnl-3.2.25.tar.gz
Is there any other source for this file?
JK
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main
Johannes Kliemann
2017-04-11 08:21:14 UTC
Permalink
Hi,

I tried it first ca. at 8:00. I also tried different connections to
eliminate other causes.

JK
Post by Stefan Kalkowski
Hi,
Post by Boris Mulder
I temporarily got mine from https://github.com/thom311/libnl/. It seemed
to work, and I believe the hashes were the same, although I recommend
you verify that yourself too.
Maybe this can be changed in the makefile eventually.
we check the port-sources every night to detect dead links. Tonight the
dde-linux port check did not fail. Do you experienced the connection
problem just this morning or already for a longer time?
If it is a temporary problem only, I wouldn't change the port file yet.
Regards
Stefan
Post by Boris Mulder
Boris
Post by Johannes Kliemann
Hi,
while trying to build Genode with dde_linux I noticed that the
connection to infradead.org timed out, so I'm not able to retrieve
https://www.infradead.org/~tgr/libnl/files/libnl-3.2.25.tar.gz
Is there any other source for this file?
JK
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main
Christian Helmuth
2017-04-11 09:04:33 UTC
Permalink
Hi,

I can acknowledge the Problem because

./tool/ports/check_port_source dde_linux VERBOSE=
...
curl -f -L -k -r -2 --max-time 15 --retry 2 https://www.infradead.org/~tgr/libnl/files/libnl-3.2.25.tar.gz > /dev/null 2>&1 || (sleep 1; curl -f -L -k -r -2 --max-time 15 --retry 2 https://www.infradead.org/~tgr/libnl/files/libnl-3.2.25.tar.gz > /dev/null 2>&1)

does not finish. I'd give infradead some time as this may be a
temporary issue. If it persists we'll fix it. For the meantime I
uploaded the file to

https://genode.org/files/libnl-3.2.25.tar.gz

Greets
--
Christian Helmuth
Genode Labs

https://www.genode-labs.com/ · https://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
Loading...