Hey, I've tried to install the debian key using wget as instructed on [1] but it doesn't find the pgp key. Is there anything wrong?
[1] http://www.pengutronix.com/software/debian/index_en.html Kind regards, wim vinckier. -- ptxdist mailing list [email protected]
