How to use the rpki.net Debian APT repository

How to use this APT repository:

Add the PGP public key for this repository (optional, but APT will whine unless you do this):
```
  wget -q -O - https://download.rpki.net/APTng/apt-gpg-key.asc | sudo apt-key add -
```

Configure APT to use this repository.

For Debian 8 ("Jessie"):

  sudo wget -q -O /etc/apt/sources.list.d/rpki.list https://download.rpki.net/APTng/rpki.jessie.list

For Debian 9 ("Stretch"):

  sudo wget -q -O /etc/apt/sources.list.d/rpki.list https://download.rpki.net/APTng/rpki.stretch.list

Update available packages:
```
  sudo apt-get update
```
Install the software:
```
  sudo apt-get install rpki-rp rpki-ca
```

These packages are regenerated automatically by a cron job running a pbuilder environment. Please report any problems.

Name                    Last modified      Size  Description
Parent Directory                             -   
dists/                  2018-06-17 18:29    -   
apt-gpg-key.gpg         2017-04-18 23:36  1.5K  
pool/                   2016-05-08 17:15    -   
rpki.jessie.list        2016-05-08 17:05  112   
apt-gpg-key.asc         2013-03-09 19:53  2.1K

Apache/2.4.62 (FreeBSD) OpenSSL/3.0.15 SVN/1.14.4 Server at download.rpki.net Port 443