Hello Dominic.
Unfortunately, the server has been accidentally wiped and is no longer available. We are working on a replacement using bintray.com, but it can take some time until it is available.
Kind regards, Johannes Morgenroth
Am 23.11.2016 um 04:27 schrieb Dominic Solpico:
Hi. Is there something wrong with the repository right now?
When I execute wget -O - http://jenkins.ibr.cs.tu-bs.de/download/repository.gpg.key | sudo apt-key add - , I get the following message:
--2016-11-23 11:23:42-- http://jenkins.ibr.cs.tu-bs.de/download/repository.gpg.key Resolving jenkins.ibr.cs.tu-bs.de http://jenkins.ibr.cs.tu-bs.de (jenkins.ibr.cs.tu-bs.de http://jenkins.ibr.cs.tu-bs.de)... 134.169.35.161 Connecting to jenkins.ibr.cs.tu-bs.de http://jenkins.ibr.cs.tu-bs.de (jenkins.ibr.cs.tu-bs.de http://jenkins.ibr.cs.tu-bs.de)|134.169.35.161|:80... connected. HTTP request sent, awaiting response... 403 Forbidden 2016-11-23 11:23:43 ERROR 403: Forbidden.
How to fix this? I cannot reinstall IBRDTN in my Raspberry Pi.
Thank you.